mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
cmUML - A Precise UML for Abstract Specification of Concurrent Components
Birla Institue of Technology and Science.
Tata Institute of Fundamental Research, India.
2006 (English)In: Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Systems2006, 2006, p. 141-146Conference paper, Published paper (Refereed)
Abstract [en]

Unified Modeling Language (UML) has become a de facto industry standard graphical language for design specification of object oriented systems. But, due to lack of formal semantics UML models are not suitable for rigorous formal analysis. This paper defines a UML subset language (cmUML) with formal semantics for precise and abstract specification of concurrent components independent of implementation issues. The approach provides modular specification and verification of larger systems. An integrated multi-view operational semantics of cmUML is defined using symbolic transition systems. This highly expressive language provides constructs to specify explicit parallelism, conditional synchronization, mutual exclusion, safety, and liveness notions as well as the behavior of the interacting environment.

Place, publisher, year, edition, pages
2006. p. 141-146
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-7151Scopus ID: 2-s2.0-38049180881OAI: oai:DiVA.org:mdh-7151DiVA, id: diva2:237161
Conference
18th IASTED International Conference on Parallel and Distributed Computing and Systems, PDCS 2006; Dallas, TX; United States; 13 November 2006 through 15 November 2006
Available from: 2009-09-25 Created: 2009-09-25 Last updated: 2015-10-12Bibliographically approved

Open Access in DiVA

No full text in DiVA

Scopus

Search in DiVA

By author/editor
Suryadevara, Jagadish
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 18 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf