Statecharts: A visual formalism for complex systems
Science of Computer Programming
Real-time object-oriented modeling
Real-time object-oriented modeling
Predictability of a RTX2000-based implementation
Real-Time Systems
Tutorial on message sequence charts
Computer Networks and ISDN Systems - Special issue on SDL and MSC
Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns
Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns
Proof, language, and interaction
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
LSCs: Breathing Life into Message Sequence Charts
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Software Implementation of Synchronous Programs
ACSD '01 Proceedings of the Second International Conference on Application of Concurrency to System Design
Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach
ISORC '01 Proceedings of the Fourth International Symposium on Object-Oriented Real-Time Distributed Computing
Modeling hard real time systems with UML the OOHARTS approach
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Evaluating UML using a generic quality framework
UML and the unified process
Automated Software Engineering
TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |
The Synchronous Paradigm proposes an abstract model integrating concurrency and communication, deterministic thus simple, semantically well-founded thus suitable to formal analysis, producing safe and efficient code. However combining this model with the objectoriented approach is still challenging. This paper explores how an UMLbased methodology can be set up, making it possible to use the Synchronous Paradigm in combination with other (more classical) techniques to develop control-dominated systems. It addresses the issue of representing behavior in a semantically sound way using the synchronous models, of relating behavior and structure, and of mixing synchronous and asynchronous behavior though an extended notion of (ROOM-like) "capsules", the synchronous islets. We also briefly mention the extensions and modifications in the UML meta-model necessary to support this methodology.