Petri Nets Based Formalization of Textual Use Cases

Abstract

A Use Case is a specification of interactions involving a system and external actors of that system. The intuitive, user centered nature of textual use cases is one of the reasons for the success of the use case approach. A certain level of formalization is however needed to automate use case based system development, including tasks such as model synthesis… (More)