research-article

A runtime model for fUML

Authors:

Tanja Mayerhofer,

Philip Langer,

Gerti KappelAuthors Info & Claims

MRT '12: Proceedings of the 7th Workshop on [email protected]

Pages 53 - 58

https://doi.org/10.1145/2422518.2422527

Published: 01 October 2012 Publication History

Get Access

Abstract

With the introduction of fUML, an OMG standard defining the operational semantics of a subset of UML and the conforming virtual machine, UML models can be used not only for informal design sketching but also for completely building executable systems. Although this has been an important step for UML, the full potential of having executable UML models, such as enabling runtime analysis and adaptation, cannot be realized using the standardized virtual machine due to the lack of the adequate means for accessing important runtime information and controlling the execution of UML models. In this paper, we aim at establishing the necessary basis to overcome this limitation. Therefore, we introduce extensions of the standardized fUML virtual machine in terms of a dedicated trace model, an event model, and a command API. We provide an open-source implementation of the proposed extensions, as well as a model debugger for UML models based on this implementation to demonstrate the feasibility of the presented concepts.

References

[1]

G. S. Blair, N. Bencomo, and R. B. France. [email protected]. IEEE Computer, 42(10):22--27, 2009.

Digital Library

Google Scholar

[2]

M. Broy, M. V. Cengarle, H. Grönniger, and B. Rumpe. Definition of the system model. In UML 2 Semantics and Applications, pages 61--93. Wiley, 2009.

Google Scholar

[3]

B. R. Bryant, J. Gray, M. Mernik, P. J. Clarke, R. B. France, and G. Karsai. Challenges and directions in formalizing the semantics of modeling languages. Computer Science and Information Systems, 8(2):225--253, 2011.

Crossref

Google Scholar

[4]

C. Ghezzi, A. Mocci, and M. Sangiorgio. Runtime monitoring of functional component changes with behavior models. In Proc. of MODELS'11, pages 152--166, 2012.

Digital Library

Google Scholar

[5]

A. Hamou-Lhadj and T. C. Lethbridge. A metamodel for the compact but lossless exchange of execution traces. Softw. Syst. Model., 11(1):77--98, 2012.

Digital Library

Google Scholar

[6]

J. Hutchinson, J. Whittle, M. Rouncefield, and S. Kristoffersen. Empirical assessment of MDE in industry. In Proc. of ICSE '11, pages 471--480, 2011.

Digital Library

Google Scholar

[7]

S. Maoz. Model-based traces. In Proc. of MODELS'08, pages 109--119, 2009.

Digital Library

Google Scholar

[8]

S. J. Mellor and M. J. Balcer. Executable UML: A foundation for model-driven architecture. Addison Wesley, 2002.

Digital Library

Google Scholar

[9]

B. Selic. The less well known UML. In Formal Methods for MDE, volume 7320 of LNCS, pages 1--20. Springer Berlin / Heidelberg, 2012.

Digital Library

Google Scholar

[10]

T. Vogel, S. Neumann, S. Hildebrandt, H. Giese, and B. Becker. Incremental model synchronization for efficient run-time monitoring. In Proc. of MODELS'09, pages 124--139, 2010.

Digital Library

Google Scholar

Cited By

View all

Ivo ARibeiro SMattiello-Francisco FBondavalli A(2023)Toward Conceptual Analysis of Cyber-Physical Systems Projects Focusing on the Composition of Legacy SystemsIEEE Access10.1109/ACCESS.2023.328403911(58136-58158)Online publication date: 2023
https://doi.org/10.1109/ACCESS.2023.3284039
Elekes MMolnár VMicskei Z(2023)Assessing the specification of modelling language semantics: a study on UML PSSMSoftware Quality Journal10.1007/s11219-023-09617-531:2(575-617)Online publication date: 1-Mar-2023
https://doi.org/10.1007/s11219-023-09617-5
Hojaji FZamani BHamou-Lhadj AMayerhofer TBousse E(2019)Lossless compaction of model execution tracesSoftware & Systems Modeling10.1007/s10270-019-00737-wOnline publication date: 8-Jun-2019
https://doi.org/10.1007/s10270-019-00737-w
Show More Cited By

Index Terms

A runtime model for fUML
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
        Software design techniques
    2. Software development process management

Recommendations

Combining fUML and profiles for non-functional analysis based on model execution traces
QoSA '13: Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures

For developing software systems it is crucial to consider non-functional properties already in an early development stage to guarantee that the system will satisfy its non-functional requirements. Following the model-based engineering paradigm ...
Exhaustive Simulation and Test Generation Using fUML Activity Diagrams
Advanced Information Systems Engineering
Abstract
The quality of the specifications used for test generation plays an important role in the quality of the generated tests. One approach to improve the quality of the UML specification is the use of executable models specified using the Foundational ...
Activity diagrams between devs-based modeling & simulation and fuml-based model execution
SummerSim '20: Proceedings of the 2020 Summer Simulation Conference

Activity Diagrams are prominently used for modeling for both system and software engineering. Their metamodel in the Unified Modeling Language (UML), and the System Modeling Language (SysML), is used to standardize specifying behavioral models in a flow-...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

MRT '12: Proceedings of the 7th Workshop on [email protected]

October 2012

66 pages

ISBN:9781450318020

DOI:10.1145/2422518

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article

Conference

MODELS '12

Sponsor:

SIGSOFT

MODELS '12: ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems

October 1 - 5, 2012

Innsbruck, Austria

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

26
Total Citations
View Citations
192
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 02 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Ivo ARibeiro SMattiello-Francisco FBondavalli A(2023)Toward Conceptual Analysis of Cyber-Physical Systems Projects Focusing on the Composition of Legacy SystemsIEEE Access10.1109/ACCESS.2023.328403911(58136-58158)Online publication date: 2023
https://doi.org/10.1109/ACCESS.2023.3284039
Elekes MMolnár VMicskei Z(2023)Assessing the specification of modelling language semantics: a study on UML PSSMSoftware Quality Journal10.1007/s11219-023-09617-531:2(575-617)Online publication date: 1-Mar-2023
https://doi.org/10.1007/s11219-023-09617-5
Hojaji FZamani BHamou-Lhadj AMayerhofer TBousse E(2019)Lossless compaction of model execution tracesSoftware & Systems Modeling10.1007/s10270-019-00737-wOnline publication date: 8-Jun-2019
https://doi.org/10.1007/s10270-019-00737-w
Hojaji FMayerhofer TZamani BHamou-Lhadj ABousse E(2019)Model execution tracing: a systematic mapping studySoftware & Systems Modeling10.1007/s10270-019-00724-1Online publication date: 18-Feb-2019
https://doi.org/10.1007/s10270-019-00724-1
Bousse EMayerhofer TCombemale BBaudry B(2019)Advanced and efficient execution trace management for executable domain-specific modeling languagesSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0598-518:1(385-421)Online publication date: 1-Feb-2019
https://dl.acm.org/doi/10.1007/s10270-017-0598-5
Kluge RStein MVarró GSchürr AHollick MMühlhäuser M(2019)A systematic approach to constructing families of incremental topology control algorithms using graph transformationSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0587-818:1(279-319)Online publication date: 1-Feb-2019
https://dl.acm.org/doi/10.1007/s10270-017-0587-8
Szvetits MZdun U(2018)A Pattern Language for Manual Analysis of Runtime Events Using Design ModelsProceedings of the 23rd European Conference on Pattern Languages of Programs10.1145/3282308.3282324(1-24)Online publication date: 4-Jul-2018
https://dl.acm.org/doi/10.1145/3282308.3282324
Tikhonova UStoel Jvan der Storm TDegueule TPearce DMayerhofer TSteimann F(2018)Constraint-based run-time state migration for live modelingProceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering10.1145/3276604.3276611(108-120)Online publication date: 24-Oct-2018
https://dl.acm.org/doi/10.1145/3276604.3276611
Cavarlé GPlantec ACostiou SRibaud V(2018)A feature-oriented model-driven engineering approach for the early validation of feature-based applicationsScience of Computer Programming10.1016/j.scico.2018.01.001161:C(18-33)Online publication date: 1-Sep-2018
https://dl.acm.org/doi/10.1016/j.scico.2018.01.001
Bergmayr AGrossniklaus MWimmer MKappel G(2018)Leveraging annotation-based modeling with JumpSoftware and Systems Modeling (SoSyM)10.1007/s10270-016-0528-y17:1(65-89)Online publication date: 1-Feb-2018
https://dl.acm.org/doi/10.1007/s10270-016-0528-y
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Combining fUML and profiles for non-functional analysis based on model execution traces

Exhaustive Simulation and Test Generation Using fUML Activity Diagrams

Activity diagrams between devs-based modeling & simulation and fuml-based model execution