Eiffel: the language
Seamless object-oriented software architecture: analysis and design of reliable systems
Seamless object-oriented software architecture: analysis and design of reliable systems
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
The Metamodelling Language Calculus: Foundation Semantics for UML
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Metamodelling and Conformance Checking with PVS
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
APSEC '00 Proceedings of the Seventh Asia-Pacific Software Engineering Conference
Eclipse Modeling Framework
eclipse '03 Proceedings of the 2003 OOPSLA workshop on eclipse technology eXchange
Multi-valued symbolic model-checking
ACM Transactions on Software Engineering and Methodology (TOSEM)
ERC – An object-oriented refinement calculus for Eiffel
Formal Aspects of Computing
Using Integrated Metamodeling to Define OO Design Patterns with Object-Z and UML
APSEC '04 Proceedings of the 11th Asia-Pacific Software Engineering Conference
Refinement via Consistency Checking in MDA
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards practical proofs of class correctness
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
A comparison of the business object notation and the unified modeling language
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Making metamodels aware of concrete syntax
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Information and Software Technology
Engineering of Software-Intensive Systems: State of the Art and Research Challenges
Software-Intensive Systems and New Computing Paradigms
A systematic review of UML model consistency management
Information and Software Technology
Model migration with epsilon flock
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Towards a more straightforward and more expressive metamodel for SDW modeling
Proceedings of the ACM 14th international workshop on Data Warehousing and OLAP
rCOS: theory and tool for component-based model driven development
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Concordance: a framework for managing model integrity
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
MEDI'12 Proceedings of the 2nd international conference on Model and Data Engineering
Chaining model transformations
Proceedings of the First Workshop on the Analysis of Model Transformations
Hi-index | 0.00 |
Model-driven development, using languages such as UML and BON, often makes use of multiple diagrams (e.g., class and sequence diagrams) when modeling systems. These diagrams, presenting different views of a system of interest, may be inconsistent. A metamodel provides a unifying framework in which to ensure and check consistency, while at the same time providing the means to distinguish between valid and invalid models, that is, conformance. 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. Comparisons are made in terms of completeness and the level of automation each provide for checking multiview consistency and model conformance. The lessons learned from applying formal techniques to the problems of metamodeling, model conformance, and multiview consistency checking are summarized.