Filters








1,409 Hits in 3.4 sec

A metamodeling language supporting subset and union properties

Marcus Alanen, Ivan Porres
2007 Journal of Software and Systems Modeling  
The Meta Object Facility (MOF) 2.0 and the Unified Modeling Language Infrastructure introduce new language features such as subsets, (derived) unions and redefinitions, but without a precise semantics.  ...  We give our understanding of these new language features by formalizing the structural constraints imposed by subsets and unions on metamodels and models using Liskov substitutability as the main criterion  ...  Marcus Alanen would like to acknowledge the financial support of the Nokia Foundation.  ... 
doi:10.1007/s10270-007-0049-9 fatcat:5ioa7x5al5gp3caztpxoi373uq

Endogenous Metamodeling Semantics for Structural UML 2 Concepts [chapter]

Lars Hamann, Martin Gogolla
2013 Lecture Notes in Computer Science  
However, we believe that certain central concepts, like the ones used in the UML standard and in particular property features as subsets, union and derived, need to be explicitly modeled to enforce a common  ...  A lot of work has been done in order to put the Unified Modeling Language (UML) on a formal basis by translating concepts into various formal languages, e.g., set theory or graph transformation.  ...  Examples of these annotations are the subsets relations between properties and tagging a property as a derived union.  ... 
doi:10.1007/978-3-642-41533-3_30 fatcat:pbh2xkq3tjg4hk63l56lwzsl3e

Validation of UML Artifacts in Model Driven Engineering using Description Logics based Ontology Reasoners

Ali Hanzala, Naeem Abbas
2017 International Journal of Computer Applications  
Furthermore, the viability of the approach is demonstrated by validating 303 models and metamodels available in an online repository and the results show that half of the models and metamodels found erroneous  ...  This validation approach may be used at both model and metamodel layer of Model Driven Architecture.  ...  A UML example of property subsetting is shown in Figure 6 . The OWL 2 axiom SubObjectPropertyOf is used to subset a property: SubObjectPropertyOf(P2 P1).  ... 
doi:10.5120/ijca2017915003 fatcat:uasaqtdzandxxjd6raltjh4coy

Toward an Ontology-Driven Unifying Metamodel for UML Class Diagrams, EER, and ORM2 [chapter]

C. Maria Keet, Pablo Rubén Fillottrani
2013 Lecture Notes in Computer Science  
Aiming toward filling this gap, we designed a common, ontology-driven, metamodel of the static, structural, components of ER, EER, UML v2.4.1, ORM, and ORM2, such that each is a fragment of the encompassing  ...  Software compatibility and application integration can be achieved using their respective conceptual data models. However, each model may be represented in a different language.  ...  Acknowledgements This work is based upon research supported by the National Research Foundation of South Africa (Project UID: 80584) and the Argentinian Ministry of Science and Technology.  ... 
doi:10.1007/978-3-642-41924-9_26 fatcat:2xryjgddvrfldkkgrilqjxmegm

Heavyweight extensions to the UML metamodel to describe the C3 architectural style

Jorge Enrique Pérez-Martínez
2003 Software engineering notes  
In this work we propose an extension to the UML metamodel that is able to represent the syntactics and semantics of the C3 architectural style. This style is derived from C2.  ...  of the metamodel.  ...  We have underlined the inability of the language to represent all the aspects of a software architecture and hence concluded the need to extend the metamodel.  ... 
doi:10.1145/773126.773140 fatcat:3qxrk57pjbg27llzidlv5ko3bq

A C++ Implementation of UML Subsets and Unions for MDE

Francesco Bedini, Ralph Maschotta, Alexander Wichmann, Armin Zimmermann
2018 Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development  
This paper shows and discusses the realization of advanced data structures used in the UML specification (namely subsets, unions, and subset-unions) for a C ++ execution engine.  ...  Thanks to those templates which allow to take as parameters a non-fixed number of elements in an elegant manner, it has been possible to automatically generate from the Ecore and UML ecore models type-safe  ...  ACKNOWLEDGEMENTS This work has been supported by the Federal Ministry of Economic Affairs and Energy of Germany under grant FKZ:20K1306D.  ... 
doi:10.5220/0006606404640471 dblp:conf/modelsward/BediniMWZ18 fatcat:2odki5qpgjbcdpyms3atgbhxei

Meta-models Combination for Reusing Verification Techniques

Hui Zhao, Ludovic Apvrille, Frédéric Mallet
2019 Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development  
Our language is generic enough to extract pertinent subsets of languages and combine them to build views for different experts. It also maintains a global consistency between the different views.  ...  Rather than trying to extend either Capella or AADL into always more expressive languages to add the missing features we rather extract a pertinent subset of both languages to build a view adequate for  ...  Conclusions and future work This paper describes a collaborative design approach between system engineering methodology Arcadia (based on SysML) and architectural design language AADL using transformation  ... 
doi:10.5220/0007261000390050 dblp:conf/modelsward/ZhaoAM19 fatcat:gjkm46sbindclb6l3vm5uxfsca

Model-based development

Robert France, Bernhard Rumpe
2007 Journal of Software and Systems Modeling  
Enterprise Java Bean (EJB) application design, quality of service requirements, and autonomic properties.  ...  The rules are presented as a graph-grammar inspired formalism, and they have also been implemented as Queries/Views/Transformations (QVT) transformation rules in a commercial tool.  ...  In the fourth paper "A Metamodeling Language Supporting Subset and Union Properties" the authors Marcus Alanen and Ivan Porres describe a metamodeling language using a set-theoretic formalization.  ... 
doi:10.1007/s10270-007-0071-y fatcat:xx53dw2ytzh75kvsjxx3ve3cei

An analysis of metamodeling practices for MOF and OCL

Juan José Cadavid, Benoit Combemale, Benoit Baudry
2015 Computer languages, systems & structures  
We observe that all metamodels tend to have a small, core subset of concepts, which are constrained by most of the rules, in general the rules are loosely coupled to the structure and we identify the set  ...  However, there are no guidelines to assist the conjunct usage of both paradigms, and few tools support it.  ...  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

Ontology Modeling Profile , an Extension for the Ontology UML Profile

Wafaa Alakwaa, Akram Salah
2010 International Journal of Computer Applications  
Our profile is based on the recent W3C effort -The Web Ontology Language (OWL). We have shown the role of individuals and slots in building OWL statements.  ...  The extended profile together with Ontology Definition Metamodel (ODM), enables the usage of Model Driven Architecture (MDA) standards in ontological engineering.  ...  In order for ODM to support well-known Semantic Web ontology languages, it has two separated metamodels, namely OWL and RDFS Metamodels.  ... 
doi:10.5120/1124-1473 fatcat:ilm7pelp6veklbemhyesst5pdi

Method for domain-specific mathematical modelling: theory and applications

Vitaliy Mezhuyev
2016 ScienceAsia  
The levels of the metamodelling architecture and the formal semantics of the DSMM metamodels are defined.  ...  A method of domain-specific mathematical modelling (DSMM) whose implementation aims to overcome the shortcomings of existing domain-specific modelling methods is proposed.  ...  In this case, to support the modelling-specific properties of domains the dialects (special profiles) of universal languages are developed.  ... 
doi:10.2306/scienceasia1513-1874.2016.42s.019 fatcat:wybndvvhuvba7lcvbgm4dbmezy

Handling behavioral semantics in persistent meta-modeling systems

Youness Bazhar
2012 2012 Sixth International Conference on Research Challenges in Information Science (RCIS)  
Je suis honoré pour l'intérêt qu'ils ont porté à ce travail. Mickaël Baron pour son implication et son suivi des travaux menés dans le cadre de cette thèse.  ...  Je le remercie pour son encadrement, pour l'esprit scientifique qu'il m'a transmis, et pour le temps et les efforts considérables qu'il a consacrés pour l'accomplissement de ce travail.  ...  Supporting AADL and MARTE in PMMS Metamodels definition The metamodel part of the OntoDB model repository can be enriched to support new metamodels using the OntoQL language.  ... 
doi:10.1109/rcis.2012.6240459 dblp:conf/rcis/Bazhar12 fatcat:pr6uewtluraajn2fzs3higda2i

A Metamodel and UML Profile for Rule-Extended OWL DL Ontologies [chapter]

Saartje Brockmans, Peter Haase, Pascal Hitzler, Rudi Studer
2006 Lecture Notes in Computer Science  
In this paper we present a MOF compliant metamodel and UML profile for the Semantic Web Rule Language (SWRL) that integrates with our previous work on a metamodel and UML profile for OWL DL.  ...  Based on this metamodel and profile, UML tools can be used for visual modeling of rule-extended ontologies.  ...  To the best of our knowledge, our work presents the first MOF-based metamodel and UML profile for an ontology rule language. DL-safe rules [13] are a decidable subset of SWRL.  ... 
doi:10.1007/11762256_24 fatcat:i2uyotzhhjen3atknn2lkbydey

On the concurrent versioning of metamodels and models

Antonio Cicchetti, Federico Ciccozzi, Thomas Leveque, Alfonso Pierantonio
2011 Proceedings of the 2nd International Workshop on Model Comparison in Practice - IWMCP '11  
Because of the same reasons, also modelling languages (i.e. metamodels) are expected to be changed, even though at a different speed if compared to models.  ...  This paper illustrates the challenges arising in coping with concurrent metamodel and model versioning.  ...  In fact, as source code files are compatible only with a subset of corresponding language versions, a model is generally conforming to and compatible with a subset of metamodel versions.  ... 
doi:10.1145/2000410.2000414 fatcat:atf7fsgxsba2bjsthwzusrsu5q

A Formalisation of Constraint-Aware Model Transformations [chapter]

Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter
2010 Lecture Notes in Computer Science  
In particular, it uses non-deleting rules that are typed over the metamodel of a joined modelling language which is constructed from the source and target languages.  ...  Furthermore, the application of transformation rules is formalised as a pushout construction that creates a model which is typed over the metamodel of the joined modelling language.  ...  These constraints are usually specified by properties of classes in the metamodel of the modelling language.  ... 
doi:10.1007/978-3-642-12029-9_2 fatcat:mjojwbb5orgvblnifmyguhloq4
« Previous Showing results 1 — 15 out of 1,409 results