Modeling the Environment in Software-Intensive Systems

Authors:
Carlo A. Furia;Matteo Rossi;Dino Mandrioli
Affiliations:
Politecnico di Milano, Italy;Politecnico di Milano, Italy;Politecnico di Milano, Italy
Venue:
MISE '07 Proceedings of the International Workshop on Modeling in Software Engineering
Year:
2007

Citing 5
Cited 0

Larch: languages and tools for formal specification

Larch: languages and tools for formal specification
Software requirements & specifications: a lexicon of practice, principles and prejudices

Software requirements & specifications: a lexicon of practice, principles and prejudices
A Reference Model for Requirements and Specifications

IEEE Software
What Can We Expect from Program Verification?

Computer
ArchiTRIO: a UML-Compatible language for architectural description and its formal semantics

FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.