VNU-UET Repository

USL: A Domain-Specific Language for Precise Specification of Use Cases and Its Transformations

Chu, Minh Hue and Dang, Duc Hanh and Nguyen, Ngoc Binh and Le, Minh Duc (2018) USL: A Domain-Specific Language for Precise Specification of Use Cases and Its Transformations. Informatica - Journal of Computing and Informatics, 42 (3). pp. 325-343. ISSN 0350-5596

This is the latest version of this item.

Full text not available from this repository. (Request a copy)


A use case model is often represented by a UML use case diagram and loosely structured textual descriptions. The use case model expressed in such a form contains ambiguous and imprecise parts. This prevents integrating it into model-driven approaches, where use case models are often taken as the source of transformations. In this paper, we introduce a domain-specific language named the Use case Specification Language (USL) to precisely specify use cases. We define the abstract syntax of USL using a metamodel together with OCL wellformedness rules and then provide a graphical concrete syntax for the usability goal. We also define a precise semantics for USL by mapping USL models to Labelled Transition Systems (LTSs). It opens a possibility to transform USL models to software artifacts such as test cases and design models. We focus on a transformation from a USL model to a template-based use case description in order to illustrate our method. A language evaluation of USL is also performed in this paper.

Item Type: Article
Subjects: Information Technology (IT)
Scopus-indexed journals
Divisions: Faculty of Information Technology (FIT)
Depositing User: Duc-Hanh Dang
Date Deposited: 08 Nov 2018 06:55
Last Modified: 08 Nov 2018 06:55

Available Versions of this Item

Actions (login required)

View Item View Item