68 Hits in 3.3 sec

The Train Benchmark: cross-technology performance evaluation of continuous model queries

Gábor Szárnyas, Benedek Izsó, István Ráth, Dániel Varró
2017 Journal of Software and Systems Modeling  
The benchmark defines well-formedness validation scenarios in the railway domain: a metamodel, an instance model generator and a set of wellformedness constraints captured by queries, fault injection and  ...  This paper presents a benchmark for systematically assessing the scalability of validating and revalidating well-formedness constraints over large graph models.  ...  A challenging and critical subproblem in many design tools is the validation of well-formedness constraints and design rules of the domain. Industrial standard languages (e.g.  ... 
doi:10.1007/s10270-016-0571-8 pmid:30220905 pmcid:PMC6132656 fatcat:7rrvuvl75bblnnr5lcrojpvwsm

Workshop on OCL and textual modeling

Mira Balaban, Jordi Cabot, Martin Gogolla, Claas Wilke
2012 Proceedings of the 12th Workshop on OCL and Textual Modelling - OCL '12  
The lack of precision that characterizes most visual modeling languages does not go along with the emerging Model Driven Engineerin (MDE) approach, which puts models at the center of the software development  ...  Being based on successive model transformations, MDE requires well defined, formally specified modeling languages, at a level of precision visual notations lack.  ...  Ontology Driven Design of EMF Metamodels and Well-formedness Constraints by Benedek Izsó, Zoltán Szatmári, Gábor Bergmann, Akos Horváth, István Ráth and Dániel Varró: This paper proposes a combined use  ... 
doi:10.1145/2428516.2428517 dblp:conf/models/BalabanCGW12 fatcat:vo77shddkjhuxeogvrnqck3w4m

Interconnected Linguistic Architecture

Johannes Härtel, Lukas Härtel, Ralf Lämmel, Andrei Varanovich, Marcel Heinz
2017 The Art, Science, and Engineering of Programming  
The corresponding models may also be referred to as 'megamodels' while adopting this term from the technological space of modeling/model-driven engineering.  ...  The importance of this work lies in providing more formal (ontologically rich, navigable, verifiable) documentation of software technologies helping developers to better understand how to use technologies  ...  Semantic annotations and ontologies in the sense of the Semantic Web also finds other applications in model-driven and software language engineering.  ... 
doi:10.22152/ fatcat:2i4w7te2szexnhqnfculiiww5e

A Model-Driven Tool Chain for OCCI [chapter]

Faiez Zalila, Stéphanie Challita, Philippe Merle
2017 Lecture Notes in Computer Science  
However, no model-driven tooling exists to assist OCCI users in designing, editing, validating, generating, and managing OCCI artifacts (i.e., extensions that represent specific application domains and  ...  This tool chain is based on a metamodel defining the static semantics for the OCCI standard in Ecore and OCL.  ...  well-formedness of the OCCI artifacts.  ... 
doi:10.1007/978-3-319-69462-7_26 fatcat:mgtzsidzwranfm5sdlilkmadve

Model-based tool support for Tactical Data Links: an experience report from the defence domain

Suraj Ajit, Chris Holmes, Julian Johnson, Dimitrios S. Kolovos, Richard F. Paige
2015 Journal of Software and Systems Modeling  
The model-centric approach makes use of the Epsilon technology stack and provides a significant improvement to both the level of abstraction and rigour of the network design.  ...  It is checkable by a machine and, by virtue of an MDA-like approach to the separation of domains and model transformation between domains, is open to integration with other models to support more complex  ...  Once populated, our metamodels may be validated against our defined constraints to confirm well-formedness, e.g. confirming that no bits of a J-Word are undefined.  ... 
doi:10.1007/s10270-015-0480-2 fatcat:bomwyp4zm5bzbjrjtthqapw7s4

CIM-CSS: A Formal Modeling Approach to Context Identification and Management for Intelligent Context-Sensitive Systems

Ali Mahmoud Baddour, Jun Sang, Haibo Hu, Muhammad Azeem Akbar, Hassan Loulou, Ahmad Ali, Kanza Gulzar
2019 IEEE Access  
We then describe a four-layered framework for metamodeling the identification and management of context. First, the framework presents a formal metamodel of context.  ...  ., smart spaces and the Internet of Things), in which the relevance of context is shaped dynamically by the changing needs of users.  ...  Well-formedness rules are integrity constraints that the modeler should apply to the classes.  ... 
doi:10.1109/access.2019.2931001 fatcat:ejbzrvn62jf37ntk6asdeibrr4

DropsBox: the Dresden Open Software Toolbox

Uwe Aßmann, Andreas Bartho, Christoff Bürger, Sebastian Cech, Birgit Demuth, Florian Heidenreich, Jendrik Johannes, Sven Karol, Jan Polowinski, Jan Reimann, Julia Schroeter, Mirko Seifert (+3 others)
2012 Journal of Software and Systems Modeling  
Supports language implementation by enabling the specification and evaluation of well-formedness constraints for metamodels.  ...  DEFT Documentation of arbitrary models and metamodels.  ...  project #080949335 and the European Social Fund and Federal State of Saxony within the projects #080951806 (ZESSY), #80937064 and #080937065.  ... 
doi:10.1007/s10270-012-0284-6 fatcat:iuvisp4nwnghpekd26qifioyia

An Ontology-Based and Model-Driven Approach for Designing IT Service Management Systems

María-Cruz Valiente, Cristina Vicente-Chicote, Daniel Rodríguez
2011 International Journal of Service Science Management Engineering and Technology  
Currently, few projects applying a Model-Driven Engineering (MDE) approach start from high-level requirements models defined exclusively in terms of domain knowledge and business logic.  ...  Ontology Engineering (OE) aims to formalize and make explicit the knowledge related to a particular domain.  ...  That is, the abstract syntax consist of "a definition of the concepts, the relationships that exist between concepts and well-formedness rules that state how the concepts may be legally combined" (Clark  ... 
doi:10.4018/jssmet.2011040104 fatcat:dwpgztbefzfw3bsjr6y3tbanqa

A recommender for conflict resolution support in optimistic model versioning

Petra Brosch, Martina Seidl, Gerti Kappel
2010 Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '10  
The usage of optimistic version control systems comes along with cumbersome and time-consuming conflict resolution in the case that the modifications of two developers are contradicting.  ...  The lookup algorithm is based on a similarity-aware graph matching approach incorporating information from the metamodel of the used modeling language.  ...  At the moment, we distinguish between two kinds of constraints: a MetaModelConstraint expresses a well-formedness rule of the applied modeling language.  ... 
doi:10.1145/1869542.1869549 dblp:conf/oopsla/BroschSK10 fatcat:vwtqlpsmpjfsdow6hcs5lr2iou

Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211)

Diego Calvanese, Sven Hartmann, Ernest Teniente, Marc Herbstritt
2013 Dagstuhl Reports  
and without textual integrity constraints?  ...  The high expressivity of conceptual schemas requires to adopt automated reasoning techniques to support the designer in this important task.  ...  We also point to extensions of DCDSs with a semantic level, allowing one to capture properties at a higher level of abstraction, and taking into account semantic constraints during verification.  ... 
doi:10.4230/dagrep.3.5.43 dblp:journals/dagstuhl-reports/CalvaneseHT13 fatcat:72r64rrndvf43imr5jxoyqs3kq

Model transformations to bridge concrete and abstract syntax of web rule languages

Milan Milanovic, Dragan Gasevic, Adrian Giurca, Gerd Wagner, Sergey Lukichev, Vladan Devedzic
2009 Computer Science and Information Systems  
In this study, we use the REWERSE I1 Rule Markup Language (R2ML), SWRL, and Object Constraint Language (OCL), whose abstract syntax is defined by using metamodeling, while their textual concrete syntax  ...  This transformation allowed us to discover a number of issues in both web rule language metamodels and their corresponding concrete syntax, and thus make them fully compatible.  ...  The research of the Brandenburg University of Technology at Cottbus has partially been funded by the European Commission and by the Swiss State Secretariat for Education and Research within the 6th Framework  ... 
doi:10.2298/csis0902047m fatcat:olfgvc6jivdjbbrr3d7qs6763m

Structural model subtyping with OCL constraints

Artur Boronat
2017 Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2017  
Our approach has been validated with a tool that extracts model types from (EMF) metamodels, paired with their OCL constraints, automatically and that exploits the extended subtyping relation to reuse  ...  In model-driven engineering (MDE), models abstract the relevant features of software artefacts and model management operations, including model transformations, act on them automating large tasks of the  ...  Acknowledgments The author thanks the anonymous reviewers for their insightful and helpful feedback. This work was partially supported by InnovateUK KTP 10567.  ... 
doi:10.1145/3136014.3136026 dblp:conf/sle/Boronat17 fatcat:kvbixi4utngzdgwopdddykcwlm

Modeling and Testing Legacy Data Consistency Requirements [chapter]

Jan Pettersen Nytun, Christian S. Jensen
2003 Lecture Notes in Computer Science  
Acknowledgements I would like to express my gratitude to the University of Agder for funding my PhD study and the University of Oslo for accepting me as a PhD student.  ...  Thanks goes to my colleagues at the University of Agder, for all the support given through the years. A special thanks goes to co-authors Terje  ...  The well-formedness rules of the UML metamodel is given as OCL [OMG03d] constraints related to the abstract syntax.  ... 
doi:10.1007/978-3-540-45221-8_29 fatcat:4kbxt72bmfc2xmndywxopmarjq

Conflict Visualization for Evolving UML Models

Petra Brosch, Martina Seidl, Manuel Wimmer, Gerti Kappel
2012 Journal of Object Technology  
State-of-the-art model versioning approaches primarily focus on detecting changes and conflicts between concurrently evolved versions of a model.  ...  For this purpose, we present an approach to tentatively merge concurrently evolved versions of one model featuring all performed changes, yet keeping conformance to the UML metamodel.  ...  of the Vienna University of Technology and the Austrian Federal Ministry of Science and Research.  ... 
doi:10.5381/jot.2012.11.3.a2 fatcat:klw23jjcz5fsdlau6lq3cjbrgu

Model-Driven Software Engineering in Practice: Second Edition

Marco Brambilla, Jordi Cabot, Manuel Wimmer
2017 Synthesis Lectures on Software Engineering  
is is known as Model-Driven Software Engineering (MDSE) or, simply, Model-Driven Engineering (MDE).  ...  e Synthesis Lectures on Software Engineering series publishes short books (75-125 pages) on conceiving, specifying, architecting, designing, implementing, managing, measuring, analyzing, validating, and  ...  us, OCL is employed to define additional constraints as so-called well-formedness rules.  ... 
doi:10.2200/s00751ed2v01y201701swe004 fatcat:u5mnfbdrkrhw5lrerbbewxbc7e
« Previous Showing results 1 — 15 out of 68 results