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.
CITATION STYLE
Mizuno, M., Singh, G., & Neilsen, M. (2000). A structured approach to develop concurrent programs in UML. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1939, pp. 451–465). Springer Verlag. https://doi.org/10.1007/3-540-40011-7_33
Mendeley helps you to discover research relevant for your work.