eprintid: 3139 rev_number: 4 eprint_status: archive userid: 289 dir: disk0/00/00/31/39 datestamp: 2018-11-08 06:55:17 lastmod: 2018-11-08 06:55:17 status_changed: 2018-11-08 06:55:17 type: article succeeds: 2974 metadata_visibility: show creators_name: Chu, Minh Hue creators_name: Dang, Duc Hanh creators_name: Nguyen, Ngoc Binh creators_name: Le, Minh Duc creators_id: hanhdd@vnu.edu.vn creators_id: nnbinh@vnu.edu.vn title: USL: A Domain-Specific Language for Precise Specification of Use Cases and Its Transformations ispublished: pub subjects: IT subjects: Scopus divisions: fac_fit abstract: 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. date: 2018 date_type: published publisher: Slovensko Drustvo Informatika official_url: http://www.informatica.si/index.php/informatica/index id_number: 10.31449/inf.v42i3.2253 contact_email: hanhdd@vnu.edu.vn full_text_status: none publication: Informatica - Journal of Computing and Informatics volume: 42 number: 3 pagerange: 325-343 refereed: TRUE issn: 0350-5596 citation: 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