A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
A Systematic Approach to Transform OMT Diagrams to a B Specification
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
APSEC '02 Proceedings of the Ninth Asia-Pacific Software Engineering Conference
Modeling Class Operations in B: Application to UML Behavioral Diagrams
Proceedings of the 16th IEEE international conference on Automated software engineering
Integration of formal datatypes within state diagrams
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Transformation of B specifications into UML class diagrams and state machines
Proceedings of the 2006 ACM symposium on Applied computing
Object oriented concepts identification from formal B specifications
Formal Methods in System Design
A systematic review of UML model consistency management
Information and Software Technology
Hi-index | 0.00 |
We present the notion of consistency relation in UML and B multi-view specifications. It is defined as a semantic relation between both views. It provides us with a sound basis to define the notion of development operator. An operator models a development step; it separates the design decisions from their expression in the specification formalisms. Operator correctness is defined as a property which guarantees that the application of an operator on a consistent specification state yields a consistent new state. An operator can be proven once and for all to be correct. A classical case-study, the Generalized Railroad Crossing (GRC), demonstrates how the different notions can be put in practice to provide specifiers with a realistic development model.