Concurrent programming: principles and practice
Concurrent programming: principles and practice
Concurrent programming: the Java programming language
Concurrent programming: the Java programming language
The Unified Modeling Language user guide
The Unified Modeling Language user guide
The unified software development process
The unified software development process
A structured approach for developing concurrent programs in Java
Information Processing Letters
UCM-ROOM modelling: from use case maps to communicating state machines
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Should UML be used for declarative programming?
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Hi-index | 0.00 |
This paper presents a methodology to develop synchronization code based on the global invariant (GI) approach in the context of the Unified Process in UML. This approach has the following advantages: (1) it is a formal approach that enables formal verification of programs being developed, (2) the most important activity in the programming process lies at a high level; namely, specification of GIs, (3) GIs are platform independent, and (4) existing GIs may be composed to produce GIs for more complex synchronization. We provide a set of useful GIs which work as basic patterns. Programmers can compose these GIs to produce appropriate GIs for specific applications.