Validated Code Generation for Activity Diagrams

  • A. K. Bhattacharjee
  • R. K. Shyamasundar
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3816)


Activity Diagram is an important component of the set of diagrams used in UML. The OMG document on UML 2.0 proposes a Petri net based semantics for Activity Diagrams. While Petri net based approach is useful and interesting, it does not exploit the underlying inherent synchronous concepts of activity diagrams. The latter can be effectively utilized for validated code generation and verification. In this paper, we shall capture activity diagrams in synchronous language framework to arrive at executional models which will be useful in model based design of software. This also enables validated code generation using code generation mechanisms of synchronous language environments such as Esterel and its programming environments. Further, the framework leads to scalable verification methods.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • A. K. Bhattacharjee
    • 1
  • R. K. Shyamasundar
    • 2
  1. 1.Reactor Control Division, Bhabha Atomic Research Centre, Mumbai 400 085USA
  2. 2.School of Technology and Computer Science, Tata Institute of Fundamental Research, Mumbai 400 005USA

Personalised recommendations