A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
Filters
Metamodel-based model conformance and multiview consistency checking
2007
ACM Transactions on Software Engineering and Methodology
Preserved Fulltext
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
2010
Journal of Object Technology
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.
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
2015
Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures - QoSA '15
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.
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]
2009
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 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2012
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.
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]
2016
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, 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
2019
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 2020; you can also visit the original URL.
The file type is application/pdf.
(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
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 2016; you can also visit the original URL.
The file type is application/pdf.
., 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
2009
Information and Software Technology
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.
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
2012
2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture
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.
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
2017
Journal of Software Engineering and 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.
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
2015
Enterprise Modelling and Information Systems Architectures - An International Journal
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.
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
2013
Enterprise Modelling and Information Systems Architectures - An International Journal
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 2015; you can also visit the original URL.
The file type is application/pdf.
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
2019
Advances in Science, Technology and Engineering Systems
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.
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
2013
2013 IEEE Seventh International Symposium on Service-Oriented System Engineering
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.
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