A structured approach to develop concurrent programs in UML

Masaaki Mizuno, Gurdip Singh, Mitchell Neilsen

Research output: Chapter in Book/Entry/PoemConference contribution

1 Scopus citations


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
Subtitle of host publicationAdvancing the Standard - 3rd International Conference, Proceedings
EditorsAndy Evans, Stuart Kent, Bran Selic
PublisherSpringer Verlag
Number of pages15
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)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other3rd International Conference on Unified Modeling Language, UML 2000
Country/TerritoryUnited Kingdom

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'A structured approach to develop concurrent programs in UML'. Together they form a unique fingerprint.

Cite this