A structured approach to develop concurrent programs in UML

Masaaki Mizuno, Gurdip Singh, Mitchell Neilsen

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Abstract

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.

Original languageEnglish (US)
Title of host publicationUML 2000 - The Unified Modeling Language: Advancing the Standard - 3rd International Conference, Proceedings
PublisherSpringer Verlag
Pages451-465
Number of pages15
Volume1939
ISBN (Print)354041133X, 9783540411338
StatePublished - 2000
Externally publishedYes
Event3rd International Conference on Unified Modeling Language, UML 2000 - York, United Kingdom
Duration: Oct 2 2000Oct 6 2000

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1939
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other3rd International Conference on Unified Modeling Language, UML 2000
CountryUnited Kingdom
CityYork
Period10/2/0010/6/00

    Fingerprint

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Mizuno, M., Singh, G., & Neilsen, M. (2000). A structured approach to develop concurrent programs in UML. In UML 2000 - The Unified Modeling Language: Advancing the Standard - 3rd International Conference, Proceedings (Vol. 1939, pp. 451-465). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1939). Springer Verlag.