Contract-Aware Slicing of UML Class Models

Sun, Wuliang; Ray, Indrakshi

doi:10.1007/978-3-642-41533-3_44

Cited by 6 publications

(7 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Sun et al [24] describes a slicing technique for UML class models that includes OCL invariants and operation specifications. Their technique automatically generates slicing criteria consisting of a subset of invariants and operation specifications, and uses the criteria to extract model fragments, where each model fragment can be analyzed separately.…”

Section: Related Workmentioning

confidence: 99%

Analyzing Behavioral Aspects of UML Design Class Models against Temporal Properties

Al-Lail

Sun

2014

2014 14th International Conference on Quality Software

Self Cite

View full text Add to dashboard Cite

Class models play central roles in model-driven development (MDD). Automated analysis of class models is crucial to uncover design problems. In previous work, we described a rigorous lightweight approach to analyzing operation specifications in UML design class models against temporal properties. However, the approach lacks a mechanism to handle the analysis of large class models. This paper presents a slicing algorithm that can be used to scale the analysis to large class models. We performed a preliminary evaluation using the Steam Boiler Control System. The results are presented in this paper.

show abstract

Section: Related Workmentioning

confidence: 99%

Analyzing Behavioral Aspects of UML Design Class Models against Temporal Properties

Al-Lail

Sun

2014

2014 14th International Conference on Quality Software

Self Cite

View full text Add to dashboard Cite

show abstract

“…Similarly, Sun et al [20] proposed another slicing technique but they do not formally define which kind of semantics is preserved with the slicing procedure. I.e., they do not state which kind of reasoning (schema satisfiability, class liveliness, etc) is preserved with their method.…”

Section: Model Slicing and Simplificationmentioning

confidence: 99%

“…Moreover, since all our approach is based on a logic formalization of the UML/OCL schema, it can also be applied to any other conceptual modeling language that might be encoded in this formalization. It is worth saying that the idea of removing irrelevant elements from UML/OCL schemas to enhance reasoning execution times is already present, and informally developed, in several reasoning techniques [18,19,20,8]. However, as far as we know, we are the first ones to formalize the notions of simplification, bringing mathematical bases and proofs, and empirical evidence of its benefits.…”

Section: Introductionmentioning

confidence: 99%

Simplification of UML/OCL schemas for efficient reasoning

Oriol

Teniente

2017

Journal of Systems and Software

View full text Add to dashboard Cite

Ensuring the correctness of a conceptual schema is an essential task in order to avoid the propagation of errors during software development. The kind of reasoning required to perform such task is known to be exponential for UML class diagrams alone and even harder when considering OCL constraints. Motivated by this issue, we propose an innovative method aimed at removing constraints and other UML elements of the schema to obtain a simplified one that preserve the same reasoning outcomes. In this way, we can reason about the correctness of the initial artifact by reasoning on a simplified version of it. Thus, the efficiency of the reasoning process is significantly improved. In addition, since our method is independent from the reasoning engine used, any reasoning method may benefit from it.Peer ReviewedPostprint (author's final draft

show abstract

“…In our prior work, we proposed a slicing technique for metamodels that include OCL invariants and operation specifications [SFR13]. The slicing technique is used to improve the efficiency of a model analysis technique that involves checking a sequence of operation invocations to uncover violations in specified invariants [SFR11].…”

Section: Model Slicingmentioning

confidence: 99%

Using Slicing to Improve the Performance of Model Invariant Checking.

Sun¹,

Combemale²,

France³

et al. 2015

JOT

Self Cite

View full text Add to dashboard Cite

In Model Driven Development (MDD), it is important to ensure that a model conforms to the invariants defined in the metamodel. Such invariant checking can improve developers' understanding of modeled aspects of complex systems and uncover structural errors in design models. General-purpose rigorous analysis tools that check invariants are likely to perform the analysis over the entire metamodel and model. Since modern day software is exceedingly complex, the size of the model together with the metamodel can be very large. Consequently, invariant checking can take a very long time. For example, checking a model consisting of 5,000 elements can take up to several hours if the analysis completes. Moreover, sometimes the analysis process cannot be completed as the system resources get exhausted. To this end, we introduce model slicing within the invariant checking process, and use a slicing technique to reduce the size of the inputs in order to make invariant checking of large models feasible with existing tools. The evaluation we performed provides evidence that model slicing can significantly reduce the time to perform the invariant checking. In the experiments that we conducted, we achieved speedups ranging from 1.5 to 36.0 and we also demonstrate the correctness of the checking results.

show abstract

Contract-Aware Slicing of UML Class Models

Cited by 6 publications

References 16 publications

Analyzing Behavioral Aspects of UML Design Class Models against Temporal Properties

Analyzing Behavioral Aspects of UML Design Class Models against Temporal Properties

Simplification of UML/OCL schemas for efficient reasoning

Using Slicing to Improve the Performance of Model Invariant Checking.

Contact Info

Product

Resources

About