Filters








38 Hits in 2.8 sec

CMOF-Model Semantics and Language Mapping for MOF 2.0 Implementations

M. Scheidgen
Fourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MBD-MOMPES'06)  
In this paper we extend existing implementation strategies and language mappings to realize these new features in a MOF 2.0 implementation.  ...  We proposes a Java language mapping for the CMOF-model, based on method overwriting with changing return types and generic collection types that allow reasonable static type safety.  ...  Conclusions and Future Work In this paper the language mapping and semantics needed for a MOF 2.0 implementation based on the CMOF model were presented.  ... 
doi:10.1109/mbd-mompes.2006.4 dblp:conf/mompes/Scheidgen06 fatcat:qtr3muera5clnf2dzjmq5z2rta

Customizing grgen.net for model transformation

Tom Gelhausen, Bugra Derre, Rubino Geiß
2008 Proceedings of the third international workshop on Graph and model transformations - GRaMoT '08  
New features like dynamic patterns in the upcoming 2.0 release of GrGen.NET will even extend the lead. All these aspects render GrGen.NET a more than adequate basis for model transformation.  ...  We exemplify our approach by means of our implementation. competitive among other GRS and thus surpasses QVT [17] -currently the most prominent model transformation approach -with respect to its pattern  ...  We are particularly grateful for the help of the students who implemented GrGen.NET: Moritz Kroll, Sebastian Buchwald, Edgar Jakumeit, and others.  ... 
doi:10.1145/1402947.1402951 fatcat:jkox5sknonbazmkesl7wthjyxy

16 Development of Tool Extensions with MOFLON [chapter]

Ingo Weisemöller, Felix Klar, Andy Schürr
2010 Lecture Notes in Computer Science  
It also supports story driven modeling as a means of describing on-model transformations as well as a combination of MOF QVT and triple graph grammars for model-tomodel transformations and integration.  ...  In this chapter, we present MOFLON, a metamodeling tool primarily focused on tool extension and integration. It adopts several standards such as MOF 2.0 and JMI.  ...  Acknowledgments We would like to thank Tobias Rötschke, Alexander Königs and Carsten Amelunxen, who have initiated the MOFLON project and contributed a lot to it.  ... 
doi:10.1007/978-3-642-16277-0_16 fatcat:qpw27yoc2ramzas6vgfeqif2se

Specifications, not meta-models

James Skene, Wolfgang Emmerich
2006 Proceedings of the 2006 international workshop on Global integrated model management - GaMMa '06  
strong requirements for semantic accessibility.  ...  Standards such as XMI and JMI permit the meta-model of an artifact to be accessed. However, such meta-models primarily define the syntax of a language.  ...  Also, the style is used to define an 'abstract semantics' for CMOF in the MOF 2 specification.  ... 
doi:10.1145/1138304.1138315 fatcat:rvzh7ak3frffnju7arhx5f5mqm

Metamodelling: State of the Art and Research Challenges [article]

Jonathan Sprinkle, Bernhard Rumpe, Hans Vangheluwe, Gabor Karsai
2014 arXiv   pre-print
play at run-time and how semantics can be assigned to metamodels and the domain specific modeling languages they could define.  ...  This chapter discusses the current state of the art, and emerging research challenges, for metamodelling.  ...  Meta Object Facility (MOF) Central to the design and implementation of the UML 2.0 infrastructure and superstructure is the concept of model transformations between varying layers of abstraction.  ... 
arXiv:1409.2359v1 fatcat:43cucaxv6zcd7ng3f2bcwp4g4i

An analysis of metamodeling practices for MOF and OCL

Juan José Cadavid, Benoit Combemale, Benoit Baudry
2015 Computer languages, systems & structures  
A major obstacle for domain experts who want to build a metamodel is that they must master two radically different languages: an object-oriented, MOF-compliant, modeling language to capture the domain  ...  structure and first order logic (the Object Constraint Language) for the definition of well-formedness rules.  ...  We also thank James Hill, Bran Selic, Juha-Pekka Tolvanen and Fabian Buttner for their support about this study.  ... 
doi:10.1016/j.cl.2015.02.002 fatcat:ffh253gv4vdvzbxbc6y64yabga

Weaving Executability into Object-Oriented Meta-languages [chapter]

Pierre-Alain Muller, Franck Fleurey, Jean-Marc Jézéquel
2005 Lecture Notes in Computer Science  
However, these meta-languages focus on structural specifications and have no built-in support for specifications of operational semantics.  ...  Nowadays, object-oriented meta-languages such as MOF (Meta-Object Facility) are increasingly used to specify domain-specific languages in the model-driven engineering community.  ...  We have presented the benefits of defining the operational semantics of metamodels (using a statically-typed meta-language) for testing and simulation purposes.  ... 
doi:10.1007/11557432_19 fatcat:boh3oofy2zhhvm7u5bm7agxhe4

Model Driven Engineering: An Emerging Technical Space [chapter]

Jean Bézivin
2006 Lecture Notes in Computer Science  
The two main objectives are to present first the basic MDE principles and second how these principles may be mapped onto modern platform support.  ...  As an emerging solution to the handling of complex and evolving software systems, Model Driven Engineering (MDE) is still very much in evolution.  ...  Acknowledgements I would like to thank Freddy Allilaire, Marcos Didonet del Fabro, Frédéric Jouault, Ivan Kurtev, David Touzet, Patrick Valduriez and all the members of the AMMA group for their numerous  ... 
doi:10.1007/11877028_2 fatcat:uckb3nqyvnbtfetrxzbst7a7qi

Domain-Specific Model Verification with QVT [chapter]

Maged Elaasar, Lionel Briand, Yvan Labiche
2011 Lecture Notes in Computer Science  
The approach uses a standard formalism, applies generically to any MOF-based modeling language and has well-defined detection semantics.  ...  Metamodel constraints are often specified using the Object Constraint Language (OCL) [ 4] that is based on first-order predicate logic and set semantics.  ...  Acknowledgements The authors would like to thank the following individuals for helping review the case study: Steve Cook (Microsoft), Nicolas Rouquette (JPL) and Pete Rivett (Adaptive).  ... 
doi:10.1007/978-3-642-21470-7_20 fatcat:rwqdbkowanfgnkywm3fq3ykqwe

Model transformation in the large

Felix Klar, Alexander Königs, Andy Schürr
2007 Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - ESEC-FSE '07  
In this paper we discuss how to transfer means for structuring huge metamodels and models as provided by common modeling languages to the world of model transformation languages.  ...  As a result large scale model transformation specifications are hard to understand and to maintain.  ...  The generator maps TGG packages to MOF packages. Import and merge relationships between TGG packages are mapped to import and merge relationships between MOF packages.  ... 
doi:10.1145/1287624.1287664 dblp:conf/sigsoft/KlarKS07 fatcat:akv6pwpfnngqdi4urjfcuathbi

An Executable Semantics of the SystemC UML Profile [chapter]

Elvinia Riccobene, Patrizia Scandurra
2010 Lecture Notes in Computer Science  
Its graphical syntax and static semantics were defined following the "profile" extension mechanism of the UML metamodel, while its behavioral semantics was given in natural language.  ...  This paper provides a precise and executable semantics of the SystemC Process State Machines that are an extension of the UML state machines and are part of the SystemC UML profile to model the reactive  ...  The comparison in [10] between the ASM model for the UML state machines in [1] and the ASM model for the SCPs described here shows that SCPs are effectively a conservative extension.  ... 
doi:10.1007/978-3-642-11811-1_7 fatcat:wwgnsfs5zvfmpguda77gtgfnxy

Model Driven Engineering with Ontology Technologies [chapter]

Steffen Staab, Tobias Walter, Gerd Gröner, Fernando Silva Parreiras
2010 Lecture Notes in Computer Science  
Software models capture relevant characteristics of a software artifact to be developed, yet, most often these software models have no formal semantics, or the underlying (often graphical) software language  ...  Ontologies constitute formal models of some aspect of the world that may be used for drawing interesting logical conclusions even for large models.  ...  The version 2.0 of MOF provides two metametamodels, namely Essential MOF (EMOF) and Complete MOF (CMOF). EMOF prefers simplicity of implementation before expressiveness.  ... 
doi:10.1007/978-3-642-15543-7_3 fatcat:t5efbe4l6jdu5ixmdkl7hnyl2i

État de l'art sur le développement logiciel basé sur les transformations de modèles

Samba Diaw, Redouane Lbath, Bernard coulette
2010 Techniques et sciences informatiques  
Thus, it is necessary to provide some flexible and reliable tools for automatic management of models and some specific languages for their transformations in order to live up to users' expectations.  ...  However, models management may be tedious and costly.  ...  Dans sa version 2.0 le métamodèle MOF est constitué de deux parties : EMOF (Essential MOF), pour l'élaboration des métamodèles sans association, et CMOF (Complete MOF) pour les métamodèles avec associations  ... 
doi:10.3166/tsi.29.505-536 fatcat:t3fhp7hec5htbebv7kliahhzdm

An Ontological Analysis of Business Process Modeling and Execution [article]

Robert Singer
2019 arXiv   pre-print
This work presents a fully elaborated ontology, defined via the Ontology Web Language (OWL), of the Business Process Model and Notation (BPMN) standard to define business process models, and we demonstrate  ...  Another result is that an ontology is a productive way to define a modeling notation as it can be used as knowledge base, it is a formal conceptualization of the underlying notions, and can be semantically  ...  The top-level class is owl:Thing and contains the two child classes ClassDiagramStructure and CMOF. The ClassDia-gramStructure contains the core packages of the BPMN 2.0 specification.  ... 
arXiv:1905.00499v1 fatcat:o5r5dsub5bda7emzdes73qcjw4

Extracting reusable design decisions for UML-based domain-specific languages: A multi-method study

Stefan Sobernig, Bernhard Hoisl, Mark Strembeck
2016 Journal of Systems and Software  
When developing domain-specific modeling languages (DSMLs), software engineers have to make a number of important design decisions on the DSML itself, or on the software-development process that is applied  ...  To support this decision-making process, the model-driven development community has started to collect established design practices in terms of patterns, guidelines, story-telling, and procedural models  ...  Centers for Excellent Technologies (COMET K1) initiative and the FIT-IT program.  ... 
doi:10.1016/j.jss.2015.11.037 fatcat:vcd5oqvy6zd7tepcjogev3nxiu
« Previous Showing results 1 — 15 out of 38 results