148 Hits in 6.0 sec

Notes on Model Driven Engineering [article]

Marco Craveiro
2021 Zenodo  
discipline: the software development process itself, and the modeling of variability within a software product.  ...  MDE (Model Driven Engineering) is an established approach for the engineering of software systems.  ...  In addition, it was designed as a strict metamodeling framework.  ... 
doi:10.5281/zenodo.5789846 fatcat:ul3edvng3vanpbh65np3oaac5y

An ontological metamodel for cyber-physical system safety, security, and resilience coengineering

Georgios Bakirtzis, Tim Sherburne, Stephen Adams, Barry M. Horowitz, Peter A. Beling, Cody H. Fleming
2021 Journal of Software and Systems Modeling  
We support our proposed metamodel with a detailed demonstration using an oil and gas pipeline model.  ...  This increased complexity is impacting the management of models necessary for designing cyber-physical systems that are able to take into account a number of "-ilities", such that they are safe and secure  ...  SERC is a federally funded University affiliated research center managed by Stevens Institute of Technology.  ... 
doi:10.1007/s10270-021-00892-z fatcat:uqcdis26hnafxdsjgklz3d2yru

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  ...  QVT requires that source and target models conform to MOF metamodels.  ... 
doi:10.1007/978-3-540-45221-8_29 fatcat:4kbxt72bmfc2xmndywxopmarjq

Hierarchical Activity-Based Models for Control Flows in Parallel Discrete Event System Specification Simulation Models

Abdurrahman Alshareef, Hessam S. Sarjoughian
2021 IEEE Access  
The Model-Driven Architecture (MDA) design approach provides flexible yet rigorous layered metamodels for the UML activity diagrams.  ...  The syntax and semantics for the artifacts conform to the parallel DEVS model specification and execution protocol.  ...  CONFORMANCE TO THE MDA LAYERS In this perspective, we confine all models and metamodels to MDA.  ... 
doi:10.1109/access.2021.3084940 fatcat:mdsyok3ajfbvnoiudqhfyjrj5y

Evaluation of an interactive learning environment: Theory and practice

MR De Villiers
2010 South African Journal of Higher Education  
The Five C model has subsequently been extended to incorporate a sixth C, collaborative learning, and has thus become the Hexa-C Metamodel.  ...  , constructivism, component-based instruction, customization and creativity.  ...  The Five C model has subsequently been revised and expanded to incorporate a sixth C, collaborative learning, and has become the Hexa-C Metamodel (De Villiers 1999a) .  ... 
doi:10.4314/sajhe.v14i3.50175 fatcat:ppaiz676njduth2sjvtlvpxtl4

Dual deep modeling: multi-level modeling with dual potencies and its formalization in F-Logic

Bernd Neumayr, Christoph G. Schuetz, Manfred A. Jeusfeld, Michael Schrefl
2016 Journal of Software and Systems Modeling  
Multi-level models transcend the traditional separation of class and object with clabjects as the central modeling primitive, which allows for a more flexible and natural representation of many real-world  ...  Examples are presented using a UML-style notation for DDM together with UML class and object diagrams for the representation of two-level user views derived from the multi-level model.  ...  , and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.  ... 
doi:10.1007/s10270-016-0519-z pmid:29449797 pmcid:PMC5807479 fatcat:iaqkwrcepngz5opsklmuj3l5pe

An Introduction to Model Versioning [chapter]

Petra Brosch, Gerti Kappel, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer
2012 Lecture Notes in Computer Science  
This compelling challenge induced a very active research community, who yielded remarkable methods and techniques ranging from model differencing to merging of models.  ...  In this tutorial, we give an introduction to the foundations of model versioning, the underlying technologies for processing models and their evolution, as well as the state of the art in model versioning  ...  The generic framework offers versioning support for all modeling languages conforming to a common meta-metamodel out of the box and enables users to enhance the quality of the versioning capabilities by  ... 
doi:10.1007/978-3-642-30982-3_10 fatcat:zqoem7stoja7fd32frq6s6hhca

Model-Driven Design of Distributed Applications [chapter]

João Paulo A. Almeida
2004 Lecture Notes in Computer Science  
Conformance for the realization step In the scope of the design framework presented in chapter 5, the use of a uniform set of concepts in different levels of models facilitates the establishment of conformance  ...  In addition, it would be interesting to investigate both conformance and transformation within the same transformation framework, possibly using the same techniques and tools for model transformation and  ...  We define criteria for abstract platform definition and propose a design framework for abstract platforms and platformindependent application models.  ... 
doi:10.1007/978-3-540-30470-8_99 fatcat:7a3pvw7onrh75dye3egb5s7oem

A comprehensive view of process engineering [chapter]

Colette Rolland
1998 Lecture Notes in Computer Science  
The paper proposes a faceted framework to understand and classify issues in system development process engineering. The framework identifies four different but complementary view-points.  ...  The paper uses the framework to raise questions, problems and research issues in the field.  ...  The prescriptive purpose lies in a range from strict enforcement to flexible guidance.  ... 
doi:10.1007/bfb0054216 fatcat:qqauefihyrfgzgdms5njbqe5km

Managing Design-Time Uncertainty

Michalis Famelis, Marsha Chechik
2017 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)  
The resulting partial model management framework utilizes novel abstraction and automation approaches and enables a principled and systematic approach to managing design-time uncertainty in the software  ...  Also, over the years I received critical feedback which greatly helped me, for which I want to specifically thank: Reviewer #2 of the TOSEM manuscript Towards Modeling and Reasoning with Design-Time Uncertainty  ...  Flexible modelling approaches focus on this creative aspect of modelling used for software design and aim to create collaborative tools that emulate whiteboard modelling, thus facilitating the creative  ... 
doi:10.1109/models.2017.24 dblp:conf/models/FamelisC17 fatcat:udwcpfnjhvambbv6ixpbrckiku

Stress Fractures of the Tibia after Jogging

Steller EP Unlu C
2014 Journal of Trauma and Treatment  
and standards for database and network communication.  ...  Finally, the diversity and commonality of these initiatives suggest a comprehensive, unified language.  ...  SyncML is a language for synchronizing devices and applications over a network.  ... 
doi:10.4172/2167-1222.s2-006 fatcat:73kmefkhtreindbb5grlmjlj4i

Adaptive Object-Modelling: Patterns, Tools and Applications

Hugo Sereno Ferreira, Ademar Aguiar, João Pascoal Faria
2009 2009 Fourth International Conference on Software Engineering Advances  
XSLT Acronym for eXtensible Stylesheet Language Transformations. A declarative, XML-based language used for the transformation of XML documents into other XML (or textual) documents.  ...  A model is said to conform to its metamodel in the way that a particular computer program conforms to the grammar of the programming language in which it is written.  ...  It bases itself on the Meta Object Facility () [OMGa] , which main purpose is to define a strict, closed metamodeling architecture for -based systems and  itself.  ... 
doi:10.1109/icsea.2009.83 dblp:conf/icsea/FerreiraAF09 fatcat:4drpbzjovrdovfubo5do5cxjda

Mixed-semantics composition of statecharts for the component-based design of reactive systems

Bence Graics, Vince Molnár, András Vörös, István Majzik, Dániel Varró
2020 Journal of Software and Systems Modeling  
for formal verification and model-based test case generation.  ...  In our Gamma Statechart Composition Framework, we designed and implemented a composition language for the synchronous, cascade synchronous and asynchronous composition of statechartbased reactive components  ...  as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made.  ... 
doi:10.1007/s10270-020-00806-5 fatcat:cvsn7ay6yzgohm74dq5zsoedse

A Software Ecosystem Reshaped by a Paradigm Shift: the CSI-Piemonte Case [article]

Federico Tomassetti, Marco Torchiano, Mauro Antonaci, Paolo Arvati, Maurizio Morisio
2018 arXiv   pre-print
In particular we examine the evolution of an MDD solution and the changing roles of the company promoting it, the public administrations and the sub-contractors.  ...  Conclusion: The motifs represent a set of key process areas for the evolution of a software ecosystem. They are potentially generalizable to other similar ecosystems.  ...  In particular Claudio Parodi and Marco Boz offered important insights which helped to complete and clarify our report.  ... 
arXiv:1812.07440v1 fatcat:ubqire64ife2rlmtxszwvbuyla

Unified Framework and Survey for Model Verification, Validation and Uncertainty Quantification

Stefan Riedmaier, Benedikt Danquah, Bernhard Schick, Frank Diermeyer
2020 Archives of Computational Methods in Engineering  
This paper contains a comprehensive survey of over 200 literature sources from many application areas and embeds them into the unified framework.  ...  Finally, this paper presents a procedure to select a suitable method from the framework for the desired application.  ...  Additionally, the authors want to thank Thomas Ponn and Jakob Schneider for proofreading the article and for enhancing the content due to their critical remarks.  ... 
doi:10.1007/s11831-020-09473-7 fatcat:je6wl7dm3zgvdewzzio7lcellq
« Previous Showing results 1 — 15 out of 148 results