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
Subtitle of host publicationAdvancing the Standard - 3rd International Conference, Proceedings
EditorsAndy Evans, Stuart Kent, Bran Selic
PublisherSpringer Verlag
Pages451-465
Number of pages15
ISBN (Print)354041133X, 9783540411338
DOIs
StatePublished - Jan 1 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)0302-9743
ISSN (Electronic)1611-3349

Other

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

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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

  • Cite this

    Mizuno, M., Singh, G., & Neilsen, M. (2000). A structured approach to develop concurrent programs in UML. In A. Evans, S. Kent, & B. Selic (Eds.), UML 2000 - The Unified Modeling Language: Advancing the Standard - 3rd International Conference, Proceedings (pp. 451-465). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1939). Springer Verlag. https://doi.org/10.1007/3-540-40011-7_33