Filters








38 Hits in 2.5 sec

Metamodel-based model conformance and multiview consistency checking

Richard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff
2007 ACM Transactions on Software Engineering and Methodology  
J., and Ostroff, J. S. 2007. Metamodel-based model conformance and multiview consistency checking.  ...  Two formal specifications of the metamodel for an object-oriented modeling language are presented, and it is shown how to use these specifications for model conformance and multiview consistency checking  ...  Our aim is to provide pragmatic advice to users and developers of modeling languages on useful ways in which to carry out metamodeling and metamodel-based conformance and multiview consistency checking  ... 
doi:10.1145/1243987.1243989 fatcat:y6itbzr4c5dyjpmp3wlncrcq3q

A Rule-Driven Approach for composing Viewpoint-oriented Models

Adil Anwar, Sophie Ebersold, Bernard Coulette, Mahmoud Nassar, Abdelaziz Kriouile
2010 Journal of Object Technology  
For a given modeling language (e.g. source models conform to UML and target model conform to VUML), we specialize the generic framework by (i) specializing correspondence relationships, (ii) defining transformation  ...  The framework comprises a generic relationship metamodel, a generic transformation rules metamodel and a transformation strategies metamodel.  ...  It is based on ATL to implement the checking rules. An ATL rule is defined for each constraint to check.  ... 
doi:10.5381/jot.2010.9.2.a1 fatcat:2c5ytxbe25dpxhnqz7n4jbesnu

A Generative Approach to Change-Driven Consistency in Multi-View Modeling

Max E. Kramer
2015 Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures - QoSA '15  
and domains.  ...  We will evaluate our approach with two case studies of component-based engineering.  ...  Werle for their fruitful comments and great ideas.  ... 
doi:10.1145/2737182.2737194 dblp:conf/qosa/Kramer15 fatcat:4nkrj7hwgbcflojywdyjrht55y

Using Macromodels to Manage Collections of Related Models [chapter]

Rick Salay, John Mylopoulos, Steve Easterbrook
2009 Lecture Notes in Computer Science  
Macromodels can be used to support the development, comprehension, consistency management and evolution of sets of related models.  ...  We propose a framework in which different types of model relationships --such as submodelOf and refinementOf --can be formally defined and used with a new type of model, called a macromodel, to express  ...  model management activities such as consistency checking and model synthesis.  ... 
doi:10.1007/978-3-642-02144-2_15 fatcat:rt536sfzzzgjvdragyvf3az4fm

Managing Related Models in Vehicle Control Software Development [chapter]

Rick Salay, Shige Wang, Vivien Suen
2012 Lecture Notes in Computer Science  
Model management is critical for large software-intensive system development as it ensures the consistency and correctness of the models that are separately developed but interrelated.  ...  and close collaboration through traditional approaches based  ...  Relevance to consistency checking: The focus of the model management in this research is consistency checking and repair. As such, the selected relationships should be relevant to this objective.  ... 
doi:10.1007/978-3-642-33666-9_25 fatcat:34jc2flr7faxvjrpls467pubtq

A Model Repository Description Language - MRDL [chapter]

Brahim Hamid
2016 Lecture Notes in Computer Science  
In particular, we have designed a flexible and extensible modeling language, by means of an OMG style metamodel, to specify model repositories for modeling artifacts, and we have defined an operational  ...  In particular, we show the feasibility of our own approach by reporting some preliminary prototype providing a model-based repository of security and dependability (S&D) pattern models.  ...  The repository is model-based, and its main content consists of models and their related -SARM Model Content.  ... 
doi:10.1007/978-3-319-35122-3_23 fatcat:ekppyshx3zg4lefrhhnli6rm3e

Multi-view approaches for software and system modelling: a systematic literature review

Antonio Cicchetti, Federico Ciccozzi, Alfonso Pierantonio
2019 Journal of Software and Systems Modeling  
(iii) there is a lack of support for semantic consistency management and the community does not appear to consider this as a priority.  ...  This modelling branch, so-called multi-view software and system modelling, praises a differentiated and complex scientific body of knowledge.  ...  Rules conforming to the standard for QVT-R [38] for defining explicit relations between viewpoints are instances of this type; • metamodel-based a specific metamodel is defined to represent the correspondences  ... 
doi:10.1007/s10270-018-00713-w fatcat:3mtwrqfbmzh77pdryf3bpw4bxm

Intra- and interdiagram consistency checking of behavioral multiview models

Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl
2015 Computer languages, systems & structures  
., we present a solution for an intradiagram consistency checking problem. We then extend this approach to solve an interdiagram consistency checking problem.  ...  Multiview modeling languages like UML are a very powerful tool to deal with the ever increasing complexity of modern software systems.  ...  -N23, and the German Research Foundation (DFG) under grant ER 738/2-1.  ... 
doi:10.1016/j.cl.2015.08.003 fatcat:f734ouajzfdwfnikjbsgcbswxu

A systematic review of UML model consistency management

Francisco J. Lucas, Fernando Molina, Ambrosio Toval
2009 Information and Software Technology  
current model consistency conceptions, proposals, problems and solutions provided.  ...  To do this, a total of 907 papers related to UML model consistency published in literature and extracted from the most relevant scientific sources (IEEE Computer Society, ACM Digital Library, Google Scholar  ...  This kind of consistency should guarantee that a model conforms to its abstract syntax (specified by its metamodel) [13] . -Semantic consistency problems.  ... 
doi:10.1016/j.infsof.2009.04.009 fatcat:hcu77f5dsneehpxhtbplpkat3a

Using Architectural Patterns to Define Architectural Decisions

Minh Tu Ton That, Salah Sadou, Flavio Oquendo
2012 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture  
finally automate the architectural decision conformance checking.  ...  The approach consists of a way to describe architectural patterns that hold the architectural decision definition, show how to integrate architectural decisions (patterns) into an architectural model and  ...  well as conformance verification between AD view models and AD view meta-models during AD checking.  ... 
doi:10.1109/wicsa-ecsa.212.28 dblp:conf/wicsa/ThatSO12 fatcat:y6hs2jnghjh2jdnbxsrt2q652i

A Structural and Generative Approach to Multilayered Software Architectures

Georges Edouard Kouamou, Willy Kengne Kungne
2017 Journal of Software Engineering and Applications  
the support tools and the multiview development.  ...  Finally, rules are available for checking inter-view consistency, from refinement to code generation.  ...  This approach is based on the use of UML metamodels through the Model Driven Architecture (MDA) approach advocated by the OMG.  ... 
doi:10.4236/jsea.2017.108037 fatcat:ymy6akjr55e55eu5u5nodcatoq

Bridging the Gap from a Multi-View Modelling Method to the Design of a Multi-View Modelling Tool

Domenik Bork, Elmar J. Sinz
2015 Enterprise Modelling and Information Systems Architectures - An International Journal  
The approach presented here comprises three steps: Starting with (1) a modelling scenario, which centres the human modeller, (2) a multi-view modelling principle and use cases of the tool are derived and  ...  However, there is a significant semantic gap between a multi-view modelling method and the design of a corresponding modelling tool.  ...  The authors distinguish between multiview consistency checking and model conformance.  ... 
doi:10.18417/emisa.8.2.2 dblp:journals/emisaij/BorkS13 fatcat:mgaaxyj5xja7hkxwkfrwzzpx3e

Bridging the Gap from a Multi-View Modelling Method to the Design of a Multi-View Modelling Tool

Domenik Bork, Elmar J. Sinz
2013 Enterprise Modelling and Information Systems Architectures - An International Journal  
The approach presented here comprises three steps: Starting with (1) a modelling scenario, which centres the human modeller, (2) a multi-view modelling principle and use cases of the tool are derived and  ...  However, there is a significant semantic gap between a multi-view modelling method and the design of a corresponding modelling tool.  ...  The authors distinguish between multiview consistency checking and model conformance.  ... 
doi:10.1007/s40786-013-0003-y fatcat:fr6zt3u4vram5jgtguuieffo2q

Model-Driven Engineering Infrastructure and Tool Support for Petrochemical Industry Automation

Thaise Poerschke Damo, Leandro Buss Becker, Fabio Paulo Basso
2019 Advances in Science, Technology and Engineering Systems  
This paper presents a solution for such issues named M4PIA, which consists in a Model-Driven Engineering (MDE) tool support developed mainly for petrochemical industry automation.  ...  M4PIA allows representing industrial plants by means of different and interchangeable object-oriented models, providing means to perform automatic code generation from a plant specification for different  ...  Feature 7: Correctness: From [33] , accounts for model validation in order to check consistency with its metamodel.  ... 
doi:10.25046/aj040422 fatcat:k5gaoo5fn5anjeq7mzgoqyno7i

A Multiview Framework Driven by Use Cases to Support the Design of Service Components

E. Renaux, G. Vanwormhoudt, C. Tombelle
2013 2013 IEEE Seventh International Symposium on Service-Oriented System Engineering  
The framework is grounded on the notion of Logical Service Block which represents a service from Use case to assembly model and acts as a pivot between views ensuring the consistency and the traceability  ...  bridge the gap between requirements and service component models.  ...  They can be checked at any time during the design to test the model consistency and its conformity with our abstract model.  ... 
doi:10.1109/sose.2013.47 dblp:conf/sose/RenauxVT13 fatcat:aofbvp53rzbvjnxdzou5a4joqq
« Previous Showing results 1 — 15 out of 38 results