Executable Use Cases: a Supplement to Model-Driven Development?

Author

Jørgensen, Jens Bæk

Author_Institution

Dept. of Comput. Sci., Aarhus Univ.

fYear

2007

fDate

31-31 March 2007

Firstpage

8

Lastpage

15

Abstract

Executable use cases (EUCs) is a model-based approach to requirements engineering. In the introduction to this paper, we briefly discuss how EUCs may be used as a supplement to model-driven development (MDD). Then we present the EUC approach in more detail. An EUC can describe and link user-level requirements and more technical software specifications. In MDD, user-level requirements are not always explicitly described; it is sufficient for MDD that a specification, or platform-independent model, of the software that we are going to develop is provided. Therefore, a combination of EUCs and MDD may have potential to cover the full software engineering path from user-level requirements via specifications to implementations of running computer systems

Keywords

formal specification; executable use cases; model-driven development; requirements engineering; software engineering; software specifications; user-level requirements; Computer architecture; Computer interfaces; Computer science; Control systems; Embedded software; Petri nets; Software engineering; Software systems; Systems engineering and theory; Terminology;

fLanguage

English

Publisher

ieee

Conference_Titel

Model-Based Methodologies for Pervasive and Embedded Software, 2007. MOMPES '07. Fourth International Workshop on

Conference_Location

Braga

Print_ISBN

0-7695-2769-8

Type

conf

DOI

10.1109/MOMPES.2007.6

Filename

4149164