Formal incremental requirements specification of service-oriented automotive software systems

@article{Hartmann2006FormalIR,
  title={Formal incremental requirements specification of service-oriented automotive software systems},
  author={Judith Hartmann and Sabine Rittmann and Doris Wild and Peter Scholz},
  journal={2006 Second IEEE International Symposium on Service-Oriented System Engineering (SOSE'06)},
  year={2006},
  pages={130-133}
}
In this paper, we introduce a simple but formal service description language (ForSeL) for model-based requirements engineering. The basic notion in ForSeL is a service representing a functional requirement. Each service describes a system "re"-action that is triggered by a set of input actions $(but only) if an additional precondition holds. The functional part of a specification is then obtained by the combination of a finite number of services. We pay special attention to two kinds of… CONTINUE READING