ACM Transactions on Software Engineering and Methodology (TOSEM)
Checking subsystem safety properties in compositional reachability analysis
Proceedings of the 18th international conference on Software engineering
Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
The 4+1 View Model of Architecture
IEEE Software
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
Describing Software Architecture with UML
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Assessing the Suitability of a Standard Design Method for Modeling Software Architectures
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Software Architecture for Large Control Systems: A Case Study Description
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
Checking Assumptions in Component Dynamics as the Architectural Level
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
Interpreting the Object Constraint Language
APSEC '98 Proceedings of the Fifth Asia Pacific Software Engineering Conference
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
Proceedings of the 24th International Conference on Software Engineering
Formal Methods in Practice: The Missing Links. A Perspective from the Security Area
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Formal methods in practice: the missing links. a perspective from the security area
Modeling and verification of parallel processes
Lightweight consistency analysis of dataflow process networks
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
Automated Check of Architectural Models Consistency Using SPIN
Proceedings of the 16th IEEE international conference on Automated software engineering
Object-oriented behavioral testing through trace generation
Proceedings of the 43rd annual Southeast regional conference - Volume 2
Analysis goal expression language
ACM-SE 45 Proceedings of the 45th annual southeast regional conference
Consistent Interaction Of Software Components
Journal of Integrated Design & Process Science - Component-Based System Development
Characterizing Relations between Architectural Views
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
Incremental Detection of Model Inconsistencies Based on Model Operations
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Detecting implied scenarios analyzing non-local branching choices
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Relating software architecture views by using MDA
ICCSA'07 Proceedings of the 2007 international conference on Computational science and its applications - Volume Part III
MaDe4IC: an abstract method for managing model dependencies in inter-organizational cooperations
Service Oriented Computing and Applications
Information and Software Technology
Checking the consistency of UML class diagrams using larch prover
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Hi-index | 0.00 |
Consistency is a major issue that must be properly addressed when considering multiple view architectures. In this paper, we provide a formal definition of views expressed graphically using diagrams with multiplicities and propose a simple algorithm to check the consistency of diagrams. We also put forward a simple language of constraints to express more precise (intra-view and inter-view) consistency requirements. We sketch a complete decision procedure to decide whether diagrams satisfy a given constraint expressed in this language. Our framework is illustrated with excerpts of a case study: the specification of the architecture of a train control system.