Communicating sequential processes
Communicating sequential processes
The unified software development process
The unified software development process
Consistency checking for multiple view software architectures
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Object-oriented modeling: a roadmap
Proceedings of the Conference on The Future of Software Engineering
A methodology for specifying and analyzing consistency of object-oriented behavioral models
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Combining Object-Oriented Analysis and Formal Description Techniques
ECOOP '94 Proceedings of the 8th European Conference on Object-Oriented Programming
Structural and Behavioural Views on OMT-Classes
ISOOMS '94 Proceedings of the International Symposium on Object-Oriented Methodologies and Systems
Viewpoint Consistency in Z and LOTOS: A Case Study
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams
DSN '00 Proceedings of the 2000 International Conference on Dependable Systems and Networks (formerly FTCS-30 and DCCA-8)
Consistent Design of Embedded Real-Time Systems with UML-RT
ISORC '01 Proceedings of the Fourth International Symposium on Object-Oriented Real-Time Distributed Computing
On the Behavioral Inheritance of State-Based Objects
On the Behavioral Inheritance of State-Based Objects
Pair grammars, graph languages and string-to-graph translations
Journal of Computer and System Sciences
Behavior consistent inheritance in UML
ER'00 Proceedings of the 19th international conference on Conceptual modeling
UML behavior: inheritance and implementation in current object-oriented languages
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
UML collaboration diagrams and their transformation to java
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Timing analysis of UML sequence diagrams
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
A methodology for specifying and analyzing consistency of object-oriented behavioral models
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Tool Support for Visualizing CSP in UML
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Consistency-Preserving Model Evolution through Transformations
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Confluence of Typed Attributed Graph Transformation Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Checking behavioural subtypes via refinement
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Formal interpreters for diagram notations
ACM Transactions on Software Engineering and Methodology (TOSEM)
A UML model consistency verification approach based on meta-modeling formalization
Proceedings of the 2006 ACM symposium on Applied computing
Object-oriented behavioral testing through trace generation
Proceedings of the 43rd annual Southeast regional conference - Volume 2
Consistent Interaction Of Software Components
Journal of Integrated Design & Process Science - Component-Based System Development
Incremental model synchronization for multiple updates
Proceedings of the third international workshop on Graph and model transformations
Specifying behavioral semantics of UML diagrams through graph transformations
Journal of Systems and Software
Towards Inconsistency Handling of Object-Oriented Behavioral Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantics of Visual Models in a Rule-based Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
Rule-based architectural compliance checks for enterprise architecture management
EDOC'09 Proceedings of the 13th IEEE international conference on Enterprise Distributed Object Computing
Checking architectural compliance in component-based systems
Proceedings of the 2010 ACM Symposium on Applied Computing
Verification of architectural refactorings by rule extraction
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Modelling the asynchronous dynamic evolution of architectural types
SOAR'09 Proceedings of the First international conference on Self-organizing architectures
Information and Software Technology
Methods and tools for translation of graphical diagrams
Programming and Computing Software
Checking the validity of scenarios in UML models
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Consistency checking of statechart diagrams of a class hierarchy
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Experiences in model driven verification of behavior with UML
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
| Hi-index | 0.00 |
Object-oriented modeling favors the modeling of object behavior from different viewpoints and at different levels of abstraction. This gives rise to consistency problems between overlapping or semantically related submodels. The absence of a formal semantics for the UML and the numerous ways of employing the language within the development process lead to a number of different consistency notions. Therefore, general meta-level techniques are required for specifying, analyzing, and communicating consistency constraints. In this paper, we discuss the issue of consistency of behavioral models in the UML and present techniques for specifying and analyzing consistency. Using meta-model rules we transform elements of UML models into a semantic domain. Then, consistency constraints can by specified and validated using the language and the tools of the semantic domain. This general methodology is exemplified by the problem of protocol statechart inheritance.