Communicating sequential processes
Communicating sequential processes
Process simulation and refinement
Formal Aspects of Computing
Where Do Operations Come From? A Multiparadigm Specification Technique
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
CSP-OZ: a combination of object-Z and CSP
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
The Object-Z specification language
The Object-Z specification language
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
A CSP View on UML-RT Structure Diagrams
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Semantics and Transformations for UML Models
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Transformations and Software Modeling Languages: Automating Transformations in UML
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Model-Checking CSP-OZ Specifications with FDR
IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods
Refinement in Object-Z and CSP
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
A Model-Driven Transformation Method
EDOC '03 Proceedings of the 7th International Conference on Enterprise Distributed Object Computing
A Survey of Software Refactoring
IEEE Transactions on Software Engineering
Architectural Design in Object-Z
ASWEC '04 Proceedings of the 2004 Australian Software Engineering Conference
Style-Based Refinement of Dynamic Software Architectures
WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
Specification and (property) inheritance in CSP-OZ
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Defining and validating transformations of UML models
HCC '03 Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments
Refactoring object-oriented specifications with data and processes
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
A CSP approach to control in event-B
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Hi-index | 0.00 |
Model transformations are an integral part of OMG's standard for Model Driven Architecture. Model transformations are advocated to be behaviour preserving: platform specific models should adhere to platform independent descriptions developed in earlier design stages. In this paper, we deal with models consisting of several views of a system. Often, in such a scenario, model transformations change just one view, and, although the overall transformation of all views is behaviour preserving, it is not behaviour preserving in isolation. To tackle this problem we develop a proof technique (and show its soundness) that allows one to consider just the view that has changed, and not the entire system. We focus specifically on one particular class of view-crossing transformations, namely on transformations conjunctively adding new constraints to a model.