Automated encapsulation of UML activities for incremental development and verification

  • Kraemer F
  • Herrmann P
  • 19


    Mendeley users who have this article in their library.
  • 33


    Citations of this article.


With their revision ill the UML 2.x standard, activities have heed extended with streaming parameters. This facilitates a reuse-oriented specification style, in which dedicated functions call he contributed by self-contained activities as building blocks: Using streaming parameters; activities call tie composed together ill a quite powerful manner. since streaming parameters relay also pass information while activities are executing. However, to compose them correctly, We must know ill which sequence an activity may emit or accept these streaming parameters. Therefore, we propose special UML state machines that, specify the externally visible behavior of activities. Further; we develop all algorithm to construct these state machines automatically for ail activity based on model checking. Using these behavioral contracts, activities can then be composed without looking at their internal details. Moreover, the contracts Can he used during system verification to reduce the complexity of the analysis.

Author-supplied keywords

  • Model Reuse
  • System Composition
  • UML Activities
  • UML State Machines
  • UML Streaming Parameters
  • Verification

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • Frank Alexander Kraemer

  • Peter Herrmann

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free