Transformation of UML and OCL Models into Filmstrip Models

Hilken, Frank; Hamann, Lars; Gogolla, Martin

doi:10.1007/978-3-319-08789-4_13

Cited by 15 publications

(6 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A further development, using the previously mentioned plugin architecture in USE, is the filmstrip plug-in (Gogolla et al 2014;Hilken et al 2014). Based on a related approach in (Al-Lail et al 2013), the filmstrip plug-in transforms any UML model with operations defined by OCL pre-and postconditons into a version that explicitly contains operation call information.…”

Section: The Evolution Of Usementioning

confidence: 99%

“…The support of a rich feature set of the UML and OCL language also allows for the construction of verification tasks in these languages directly rather than using the lower level languages of the proving engines. Examples are Filmstripping (Hilken et al 2014) and Classifying Terms (Hilken et al 2018) which are defined completely in UML/OCL.…”

Section: Model Checkingmentioning

confidence: 99%

“…Example system state of a scheduler filmstrip model(Hilken et al 2014). Bold elements constitute the original model, other elements comprise the operation call information added by the filmstrip transformation.…”

mentioning

confidence: 99%

See 2 more Smart Citations

History of the USE Tool 20 Years of UML/OCL Modeling Made in Germany.

Hilken¹,

Hamann²

2020

JOT

Self Cite

View full text Add to dashboard Cite

The UML-based Specification Environment (USE) originated as a modeling tool for validating UML and OCL models but has grown much larger over the years. The first version of USE was released in 1998. Since then, USE has been applied in several projects and had lots of contributors developing it, benefiting from a university environment and open source code basis. Its strong OCL evaluator allows for using it as a platform for other modeling projects but also applications in research projects and teaching have made USE a significant entry in the world of UML/OCL modeling tools. Countless case studies have been performed on the basis of USE. This contribution shows the evolution of USE by summarizing important extensions over the years. Furthermore, noteworthy applications of USE in teaching, research and industry are presented.

show abstract

Section: The Evolution Of Usementioning

confidence: 99%

Section: Model Checkingmentioning

confidence: 99%

See 1 more Smart Citation

History of the USE Tool 20 Years of UML/OCL Modeling Made in Germany.

Hilken¹,

Hamann²

2020

JOT

Self Cite

View full text Add to dashboard Cite

show abstract

“…This also replaces the ASSL idea. Furthermore, the authors of USE have also published an approach how behavioural aspects of models can be verified [19, 20]. For this purpose, the source model (called application model in their work) is transformed into a filmstrip model.…”

Section: Model Verificationmentioning

confidence: 99%

Verifying the structure and behavior in UML/OCL models using satisfiability solvers

Przigoda

Soeken

Wille

et al. 2016

IET cyber-phys. syst.

View full text Add to dashboard Cite

Due to the ever increasing complexity of embedded and cyber-physical systems, corresponding design solutions relying on modelling languages such as Unified Modelling Language (UML)/Object Constraint Language (OCL) find increasing attention. Due to the recent success of formal verification techniques, UML/OCL models also allow to verify and/or check certain properties of a given model in early stages of the design phase. To this end, different approaches for verification and validation have been proposed. In this work, the authors motivate, define, and describe different verification tasks for structural, as well as behavioural UML/OCL models that can be solved using solvers for Boolean satisfiability. They describe how these verification tasks can be translated into a symbolic formulation which is passed to off-the-shelf solvers afterwards. The obtained results enable designers to draw conclusions about the correctness of the considered model.

show abstract

“…Similarly, Gogolla et al [8] generate filmstrip models from UML class diagrams. Such filmstrip models match what we call domain-specific trace metamodels, and provide some navigation paths among objects states.…”

Section: Domain-specific Execution Traces In Mdementioning

confidence: 99%

Supporting efficient and advanced omniscient debugging for xDSMLs

Bousse

Corley

Combemale

et al. 2015

Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering

View full text Add to dashboard Cite

Omniscient debugging is a promising technique that relies on execution traces to enable free traversal of the states reached by a system during an execution. While some General-Purpose Languages (GPLs) already have support for omniscient debugging, developing such a complex tool for any executable Domain-Specific Modeling Language (xDSML) remains a challenging and error prone task. A solution to this problem is to define a generic omniscient debugger for all xDSMLs. However, generically supporting any xDSML both compromises the efficiency and the usability of such an approach. Our contribution relies on a partly generic omniscient debugger supported by generated domain-specific trace management facilities. Being domain-specific, these facilities are tuned to the considered xDSML for better efficiency. Usability is strengthened by providing multidimensional omniscient debugging. Results show that our approach is on average 3.0 times more efficient in memory and 5.03 more efficient in time when compared to a generic solution that copies the model at each step.

show abstract

Transformation of UML and OCL Models into Filmstrip Models

Cited by 15 publications

References 12 publications

History of the USE Tool 20 Years of UML/OCL Modeling Made in Germany.

History of the USE Tool 20 Years of UML/OCL Modeling Made in Germany.

Verifying the structure and behavior in UML/OCL models using satisfiability solvers

Supporting efficient and advanced omniscient debugging for xDSMLs

Contact Info

Product

Resources

About