Formal Aspects of Computing

, Volume 23, Issue 3, pp 307–332

Partial order semantics for use case and task models



Use case models are the specification medium of choice for functional requirements, while task models are employed to capture User Interface (UI) requirements and design information. In current practice, both entities are treated independently and are often developed by different teams, which have their own philosophies and lifecycles. This lack of integration is problematic and often results in inconsistent functional and UI design specifications causing duplication of effort while increasing the maintenance overhead. To address these shortcomings, we propose a formal semantic framework for the integrated development of use case and task models. The semantic mapping is defined in a two step manner from a particular use case or task model notation to the common semantic domain of sets of partially ordered sets. This two-step mapping results in a semantic framework that can be more easily reused and extended. The intermediate semantic domains have been carefully chosen by taking into consideration the intrinsic characteristics of use case and task models. As a concrete example, we provide a semantics for our own DSRG use case formalism and an extended version of ConcurTaskTrees, one of the most popular task model notations. Furthermore, we use the common semantic model to formally define a set of refinement relations for use case and task models.


Use case models Task models Partially ordered sets Semantics Formal framework 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© British Computer Society 2010

Authors and Affiliations

  1. 1.Institute of Computer ScienceUniversity of RostockRostockGermany
  2. 2.Faculty of Engineering and Computer ScienceConcordia UniversityMontréalCanada

Personalised recommendations