cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems

By: Jagadish Suryadevara, Lawrence Chung, R.K. Shyamasundar

Abstract

Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specification method which combines axiomatic and operational approaches. On the other hand Unified Modeling Language (UML), a de facto industry standard visual language, lacks suitable constructs and semantics regarding concurrency aspects.

Cite as:

Jagadish Suryadevara, Lawrence Chung, R.K. Shyamasundar, “cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems”, Journal of Object Technology, Volume 7, no. 8 (November 2008), pp. 187-207, doi:10.5381/jot.2008.7.8.a7.