Modeling the Environment in Software-Intensive Systems


In this paper we argue that the modeling activity in the development of software-intensive systems should formalize as much as possible of the environment in which the application being developed operates. We also show that a rich formal model of the environment helps developers clearly state requirements that might typically be considered intrinsically informal (or non-formalizable in general). To illustrate this point, we show how a requirement for "orderly safe traffic" in a traffic system can be modeled, and we briefly discuss the benefits thereof.

DOI: 10.1109/MISE.2007.11

Extracted Key Phrases

Cite this paper

@article{Furia2007ModelingTE, title={Modeling the Environment in Software-Intensive Systems}, author={Carlo A. Furia and Matteo Rossi and Dino Mandrioli}, journal={International Workshop on Modeling in Software Engineering (MISE'07: ICSE Workshop 2007)}, year={2007}, pages={11-11} }