Communicating sequential processes
Communicating sequential processes
The Z notation: a reference manual
The Z notation: a reference manual
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
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 Unified Modeling Language user guide
The Unified Modeling Language user guide
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
The Object-Z specification language
The Object-Z specification language
Completeness in formal specification language design for process-control systems
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Behavioral Specifications of Businesses and Systems
Behavioral Specifications of Businesses and Systems
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
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
Using UML for Modeling Complex Real-Time Systems
LCTES '98 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
Translating the OMT Dynamic Model into Object-Z
ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
Formalizing the UML class diagram using object-Z
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
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
A Strategy for the Formal Composition of Frameworks
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Science of Computer Programming
Viewing CSP Specifications with UML-RT Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
Reliable UML Models and Profiles
Electronic Notes in Theoretical Computer Science (ENTCS)
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
ICT convergence: modeling issues
SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
A semantics for UML-RT active classes via mapping into circus
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Model transformations incorporating multiple views
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
| Hi-index | 0.00 |
UML-RT is an extension of UML for modelling embedded reactive and real-time software systems. Its particular focus lies on system descriptions on the architectural level, defining the overall system structure. In this paper we propose to use UML-RT structure diagrams together with the formal method CSP-OZ combining CSP and Object-Z. While CSP-OZ is used for specifying the system components themselves (by CSP-OZ classes), UML-RT diagrams provide the architecture description. Thus the usual architecture specification in terms of the CSP operators parallel composition, renaming and hiding is replaced by a graphical description. To preserve the formal semantics of CSP-OZ specifications, we develop a translation from UML-RT structure diagrams to CSP. Besides achieving a more easily accessible, graphical architecture modelling for CSP-OZ, we thus also give a semantics to UML-RT structure diagrams.