A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Filters
A metamodeling language supporting subset and union properties
2007
Journal of Software and Systems Modeling
Preserved Fulltext
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]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2017
International Journal of Computer Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
2003
Software engineering notes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2018
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2019
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2007
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2015
Computer languages, systems & structures
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2010
International Journal of Computer Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2016
ScienceAsia
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2012
2012 Sixth International Conference on Research Challenges in Information Science (RCIS)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2011
Proceedings of the 2nd International Workshop on Model Comparison in Practice - IWMCP '11
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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