Article

Proved Metamodels as Backbone for Software Adaptation

Authors:

Franck Barbier,

Cyril BallagnyAuthors Info & Claims

HASE '10: Proceedings of the 2010 IEEE 12th International Symposium on High-Assurance Systems Engineering

Pages 114 - 121

https://doi.org/10.1109/HASE.2010.12

Published: 03 November 2010 Publication History

Publisher Site

Abstract

In this paper we demonstrate the error-prone status of the UML 2.3 metamodel relating to state machines. We consequently provide a corrected version based on formal proofs written and processed with the help of the Coq system prover. The purpose of the proposed research is to support dynamical adaptation by means of models at runtime. Software components are internally endowed with complex state machines (models) realizing their behavior. Adaptation amounts to dynamically changing the state machines’ structure (for instance, adding a new state). This occurs via SimUML, a state machine execution engine that is constructed on the top of a metamodel resulting from correctness proofs.

Cited By

View all

Szvetits MZdun U(2018)Systematic literature review of the objectives, techniques, kinds, and architectures of models at runtimeSoftware and Systems Modeling (SoSyM)10.1007/s10270-013-0394-915:1(31-69)Online publication date: 21-Dec-2018
https://dl.acm.org/doi/10.1007/s10270-013-0394-9
Blech JSchätz B(2012)Towards a formal foundation of behavioral types for UML state-machinesACM SIGSOFT Software Engineering Notes10.1145/2237796.223781437:4(1-8)Online publication date: 16-Jul-2012
https://dl.acm.org/doi/10.1145/2237796.2237814

Recommendations

Testing Metamodels
ECMDA-FA '08: Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications

In this paper, we deal with errors in metamodels. Metamodels define the abstract syntax of modeling languages. They play a central role in the Model-Driven Architecture. Other artifacts like models or tools are based on them and have to be changed if ...
Towards a comparative analysis of meta-metamodels
SPLASH '11 Workshops: Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE! 2011, AOOPES'11, NEAT'11, & VMIL'11

A cornerstone in Domain-Specific Modeling is the definition of modeling languages. A widely used method to formalize domain-specific languages is the metamodeling approach. There are a huge number of metamodeling languages. The choice of a suitable ...
Semi-automatic generation of metamodels from model sketches
ASE '13: Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering

Traditionally, metamodeling is an upfront activity performed by experts for defining modeling languages. Modeling tools then typically restrict modelers to using only constructs defined in the metamodel. This is inappropriate when users want to sketch ...

Comments

Information & Contributors

Information

Published In

HASE '10: Proceedings of the 2010 IEEE 12th International Symposium on High-Assurance Systems Engineering

November 2010

171 pages

ISBN:9780769542928

Publisher

IEEE Computer Society

United States

Publication History

Published: 03 November 2010

Author Tag

software adaptation, model driven development, component-based development

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 27 Jul 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Szvetits MZdun U(2018)Systematic literature review of the objectives, techniques, kinds, and architectures of models at runtimeSoftware and Systems Modeling (SoSyM)10.1007/s10270-013-0394-915:1(31-69)Online publication date: 21-Dec-2018
https://dl.acm.org/doi/10.1007/s10270-013-0394-9
Blech JSchätz B(2012)Towards a formal foundation of behavioral types for UML state-machinesACM SIGSOFT Software Engineering Notes10.1145/2237796.223781437:4(1-8)Online publication date: 16-Jul-2012
https://dl.acm.org/doi/10.1145/2237796.2237814

Abstract

Cited By

Recommendations

Testing Metamodels

Towards a comparative analysis of meta-metamodels

Semi-automatic generation of metamodels from model sketches

Comments

Information

Published In

Publisher

Publication History

Author Tag

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations