@inproceedings{a25b66aba3824faaabd47da9778b0fbd,
title = "A structured approach to develop concurrent programs in UML",
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.",
author = "Masaaki Mizuno and Gurdip Singh and Mitchell Neilsen",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2000.; 3rd International Conference on Unified Modeling Language, UML 2000 ; Conference date: 02-10-2000 Through 06-10-2000",
year = "2000",
doi = "10.1007/3-540-40011-7_33",
language = "English (US)",
isbn = "354041133X",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "451--465",
editor = "Andy Evans and Stuart Kent and Bran Selic",
booktitle = "UML 2000 - The Unified Modeling Language",
}