QVT Based Model Transformation from Sequence Diagram to CSP

Li, Dan

doi:10.1109/iceccs.2010.47

Cited by 9 publications

(4 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Our approach naturally shows some overlap in technical aspects with the CSP-based modeling approaches sketched in [10] and [37]; f.e., we also model individual method calls as CSP events. Contrary to all existing formal modeling work for sequence diagrams, we do not aim at providing a spec that reflects a given sequence diagram as faithfully as possible.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

On Detecting Concurrency Defects Automatically at the Design Level

Padberg

Carril

Denninger

et al. 2013

2013 20th Asia-Pacific Software Engineering Conference (APSEC)

View full text Add to dashboard Cite

Abstract-We describe an automated approach for detecting concurrency defects from design diagrams of a software, in particular, sequence diagrams. From a given sequence diagram, we automatically infer a formal, parallel specification that generalizes the communication behavior that is designed informally and incompletely in the diagram. We model-check the parallel specification against generic concurrency defect patterns. No additional specification of the software is needed. We present several case-studies to evaluate our approach. The results show that our approach is technically feasible, and effective in detecting nasty concurrency defects at the design level.

show abstract

Section: Related Workmentioning

confidence: 99%

“…[28] use algebraic semantics to capture different variants of sequence diagrams. [37] transform sequence diagrams into CSP to precisely capture their semantics; they use UML metamodels for sequence diagrams and CSP, and specify the transformation rules with QVT/XSLT.…”

Section: Related Workmentioning

confidence: 99%

On Detecting Concurrency Defects Automatically at the Design Level

Padberg

Carril

Denninger

et al. 2013

2013 20th Asia-Pacific Software Engineering Conference (APSEC)

View full text Add to dashboard Cite

show abstract

“…But, in this paper, the transformation is not described in detail, and also the results of the analysis are not discussed. There also exist works 15,16 using XSLT transformation techniques for mapping UML models into formal models. UML models annotated with profiles have been used in some of the earlier works of Bernardi et al 17 and Brugali 18 and propose an automated approach to demonstrate that MARTE can be extended by new features for different real-time domain applications.…”

Section: Literature Surveymentioning

confidence: 99%

Transformation of sequence diagram to timed Petri net using Atlas Transformation Language metamodel approach

Shailesh

Nayak

Prasad

2021

J Software Evolu Process

View full text Add to dashboard Cite

Real-time systems are complex and composed of time-bounded events that must satisfy the real-time constraints for their proper functioning. To cope with the complexity of real-time systems, model-driven approaches such as model-driven architecture (MDA) can be followed, which uses the conceptual models for system representation. This paper presents an MDA-based automated approach for an early stage performance evaluation and verification of a real-time system using the Unified Modeling Language (UML)/Modeling and Analysis of Real-Time and Embedded systems (MARTE) sequence diagram. A metamodel-based model-to-model transformation technique is used for mapping the UML/MARTE sequence diagram into the generalized Petri Net Markup Language (PNML) representation of the timed Petri net model using Atlas Transformation Language (ATL). The derived PNML representation has the advantage to support the interoperability between different Petri nettools when compared over the existing methods that produce tool-specific representation. The proposed approach enables the system designers to create and evaluate alternate system designs and predict their behavior, contributing to improving the system quality. The contribution of the proposed technique for identifying the optimal system design is analyzed using a real-time embedded sensor application. The proposed transformation approach is also validated using a real-time system from the manufacturing domain.

show abstract

“…Mappings onto formal process specification languages have been performed for UML sequence diagrams (Dan, 2010), activity diagrams (Elmansouri et al, 2011) and state charts (Ng and Butler, 2003;Delmas, R. et al, 2013). The formal process specifications are then verified by a model checker to confirm the absence of a set of process design flaws.…”

Section: Related Workmentioning

confidence: 99%

Constraints-based URDAD Model Verification

Solms

Hammond

Marshall

2016

Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering

View full text Add to dashboard Cite

In Model-Driven Engineering the primary artifact is a technology and architecture neutral model called a Platform Independent Model (PIM). The Use-Case, Responsibility Driven Analysis and Design (URDAD) is a service-oriented method which is used to construct a PIM commonly specified in the URDAD Domain-Specific Language (DSL). In this paper we show that model quality can be verified by specifying a set of quality constraints at metamodel level which are used to verify certain consistency, completeness, traceability and simplicity qualities of URDAD models. The set of constraints has been mapped onto the Object Constraint Language (OCL) and a tool used to verify these constraints has been developed. The set of constraints is also used by an URDAD model editor to verify aspects of model quality as it is being developed.

show abstract

QVT Based Model Transformation from Sequence Diagram to CSP

Cited by 9 publications

References 9 publications

On Detecting Concurrency Defects Automatically at the Design Level

On Detecting Concurrency Defects Automatically at the Design Level

Transformation of sequence diagram to timed Petri net using Atlas Transformation Language metamodel approach

Constraints-based URDAD Model Verification

Contact Info

Product

Resources

About