Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering (1997)
Jan. 5, 1997 to Jan. 8, 1997
Philippe Du Bois , University of Namur
Eric Dubois , University of Namur
Jean-Marc Zeippen , University of Namur
In this paper, we report on the use of the Albert II specification language through the handling of the Railroad Crossing case study. This formal language is based on an ontology of concept used for capturing requirements inherent to real-time distributed systems. Its essential feature relies on its naturalness, i.e. the existence of a direct mapping of customer's informal needs onto formal statements without having to introduce artificial elements (which may lead to overspecification). In Albert II, this traceability property comes from the use of a real-time temporal logic framework supporting a declarative style of specification. The proposed language relies upon formal grounds which allows the development of tools providing, a.o., the possibility of conducting proofs in the context of a goal-oriented approach.
J. Zeippen, E. Dubois and P. D. Bois, "On the Use of a Formal R.E. Language - The Generalized Railroad Crossing Problem," Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering(RE), Annapolis, MD, 1997, pp. 128.