DMCA
Agent-Oriented Modeling by Interleaving Formal and Informal Specification (2003)
| Citations: | 9 - 1 self |
BibTeX
@MISC{Perini03agent-orientedmodeling,
author = {A. Perini and M. Pistore and M. Roveri and A. Susi},
title = {Agent-Oriented Modeling by Interleaving Formal and Informal Specification },
year = {2003}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
The goal of this paper is to discuss possibilities of inter-mixing formal and informal specification in order to guide and support the conceptual modeling process in software development. We sketch a framework which rests on an agentoriented methodology that provides a modeling language which allows for the definition of both informal and formal specification. We show how formal techniques can be used to guide and support the analyst while building and refining a conceptual model. Examples of its applications are discussed, with reference to the decision making process undertaken by the analyst when performing a set of activities relevant for requirements engineering, such as requirements elicitation and refinement, user validation of requirements specification, or management of requirements evolution. A case study taken from a technology transfer project in the agricultural domain is used to illustrate the approach.
Keyphrases
informal specification agent-oriented modeling software development requirement evolution user validation formal technique agentoriented methodology requirement elicitation formal specification agricultural domain case study requirement specification modeling language conceptual model requirement engineering technology transfer project conceptual modeling process
