Communicating sequential processes
Communicating sequential processes
The Z notation: a reference manual
The Z notation: a reference manual
Programming from specifications (2nd ed.)
Programming from specifications (2nd ed.)
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
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
A CSP View on UML-RT Structure Diagrams
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Consistency-Preserving Model Evolution through Transformations
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
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
OCL: Syntax, Semantics, and Tools
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
CHDL '93 Proceedings of the 11th IFIP WG10.2 International Conference sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC on Computer Hardware Description Languages and their Applications
Algebraic reasoning for object-oriented programming
Science of Computer Programming - Special issue on program transformation
Comparison of formalisation approaches of UML class constructs in Z and object-Z
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Science of Computer Programming
Viewing CSP Specifications with UML-RT Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Systematic Development of Trustworthy Component Systems
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Conformance notions for the coordination of interaction components
Science of Computer Programming
Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
A polyadic pi-calculus approach for the formal specification of UML-RT
Advances in Software Engineering
Towards a practical approach to check UML/fUML models consistency using CSP
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Transformation laws for UML-RT
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Hi-index | 0.00 |
The lack of a formal semantics for UML-RT makes it inadequate for rigourous system development, especially if the preservation of behaviour is a major concern when applying well-known model transformations, like refactorings and refinements. In this paper, we propose a semantics for UML-RT active classes through a mapping into Circus, a specification language that combines CSP, Z and specification statements. As a consequence of the translation, we are able to prove that model transformations preserve both static and dynamic behaviour, using refinement laws and a relational semantics of Circus, based on the Unifying Theories of Programming.