Transformation of UML Specification to XTG

Roubtsova, Ella; Katwijk, J. van; Rooij, R.C.M. de; Toetenel, Hans

doi:10.1007/3-540-45575-2_25

Cited by 5 publications

(4 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Note that our definition is different from generation of a single product machine. Our understanding of hierarchy, concurrency and flattening is rather similar to that of [1,3,12,6] and substantially different than that of [10,11]. Also note that trace inclusion is a rather strong conformance requirement for input-enabled deterministic systems.…”

Section: Flatteningmentioning

confidence: 88%

On Succinctness of Hierarchical State Diagrams in Absence of Message Passing

Wąsowski

2005

Electronic Notes in Theoretical Computer Science

View full text Add to dashboard Cite

show abstract

Section: Flatteningmentioning

confidence: 88%

On Succinctness of Hierarchical State Diagrams in Absence of Message Passing

Wąsowski

2005

Electronic Notes in Theoretical Computer Science

View full text Add to dashboard Cite

show abstract

“…Other kinds of generated code are dedicated to the synthesis of embedded systems [9,39,43] or are instances of general purpose languages like JAVA [2]. Model checking uses are related to consistency management [18,38,41,46] or IP telephony [10]. Model checking exploits the fact that flattening is also a way to provide a formal semantics to hierarchical state machines [3,21,31,44].…”

Section: Research Focus (Rq3)mentioning

confidence: 99%

State machine flattening, a mapping study and tools assessment

Devroey

Perrouin

Cordy

et al. 2015

2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

View full text Add to dashboard Cite

International audienceState machine formalisms equipped with hierarchy and parallelism allow to compactly model complex system behaviours. Such models can then be transformed into executable code or inputs for model-based testing and verification techniques. Generated artifacts are mostly flat descriptions of system behaviour. Flattening is thus an essential step of these transformations. To assess the importance of flattening, we have defined and applied a systematic mapping process and 30 publications were finally selected. However, it appeared that flattening is rarely the sole focus of the publications and that care devoted to the description and validation of flattening techniques varies greatly. Preliminary assessment of associated tool support indicated limited tool availability and scalability on challenging models. We see this initial investigation as a first step towards generic flattening techniques and scal-able tool support, cornerstones of reliable model-based behavioural development

show abstract

“…In order to understand and explain the semantics of UML BSMs a transformation was proposed in Refs. [31][32][33]. The hierarchical states are flattered using the CCS composition.…”

Section: Uml Behavior State Machinesmentioning

confidence: 99%

Advances in Behavior Modeling

Roubtsova¹

2015

Advances in Computers

View full text Add to dashboard Cite

Transformation of UML Specification to XTG

Cited by 5 publications

References 4 publications

On Succinctness of Hierarchical State Diagrams in Absence of Message Passing

On Succinctness of Hierarchical State Diagrams in Absence of Message Passing

State machine flattening, a mapping study and tools assessment

Advances in Behavior Modeling

Contact Info

Product

Resources

About