Abstract
In this paper, we propose a formal specification language supporting activities performed during the initial requirements engineering phase of the software lifecycle. During this phase, those activities include (i) the elicitation and the capture of the initial description of a given problem, (ii) the expression of requirements associated with a ‘composite system’ (i.e. a system including manual procedures, hardware devices and software components interacting together) providing a solution to the original problem and (iii) the organization of the requirements document in order to enhance its readibility and to promote its maintenance and reusability.
Chapter PDF
Keywords
References
M.W. Alford, “A Requirements Engineering Methodology for Real-time Processing Requirements,” IEEE Trans. Soft. Eng., SE-3(1), pp. 60–69, 1977.
N.W.P. van Diepen and H.A. Partsch, “Some Aspects of Formalizing Informal Requirements,” Department of Computer Science, University of Nijmegen, The Netherlands, 1989.
E. Doerry, S. Fickas, R. Helm and M. Feather, “A Model for Composite System Design,” in 6th Int. Workshop on Software Specification and Design, Milano, October 1991.
E. Dubois, J. Hagelstein and A. Rifaut, “Formal Requirements Engineering with ERAE,” Philips Journal of Research, 43, nos. 3/4, 1988.
E. Dubois, “Logical Support for Reasoning about the Specification and the Elaboration of Requirements,” in The Role of Artificial Intelligence in Databases and Information Systems, WG2.6/WG8.1 Conference, Guangzhou, China, pp. 29–48, July 1988.
E. Dubois, “Supporting an Incremental Elaboration of Requirements for Multiagent Systems,” in Draft Proceedings of International Working Conference on Cooperating Knowledge Based Systems, University of Keele (England), October 3–5, pp. 130–134, 1990.
E. Dubois, J. Hagelstein and A. Rifaut, “From Natural Language Processing to Logic for Expert Systems. Chapter 6: a Formal Language for the Requirements Engineering of Composite Systems,” A. Thayse (Editor), Wiley, 1991, 535 pages.
E. Dubois, Ph. Du Bois, A. Rifaut, P. Wodon, “GLIDER User Manual,” Spec-Func Deliverable, ESPRIT Project Icarus 2537, June 1991.
E. Dubois, “Use of Deontic Logic in the Requirements Engineering of Composite Systems,” First International Workshop on Deontic Logic in Computer Science, Amsterdam, The Netherlands, 11–13 december, 1991.
H. Ehrig and B. Mahr, “Fundamentals of Algebraic Specifications: Module Specifications and Constraints,” EATCS Monographs on Theoretical Computer Science, W. Brauer, G. Rozenberg, A. Salomaa (Eds), Springer-Verlag, 1990.
J. Fiadeiro and T. Maibaum, “Describing, Structuring and Implementing Objects,” in Proc. Foundations of Object-Oriented Languages, Noordwijkerhoud (The Netherlands), LNCS 489, Springer Verlag, pp. 275–310, 1991.
A. Finkelstein and H. Fucks, “Multiparty Specification,” in Proc. Fifth International Workshop on Software Specification and Design, pp. 185–195, 1989.
M.S. Feather. “Language Support for the Specification and Development of Composite Systems,” in ACM TOPLAS, vol. 9, 2, pp. 198–234, April 87.
M.S. Feather. “Constructing Specifications by Combining Parallel Elaborations,” in IEEE Trans. Soft. Eng., vol. 15 (2), February 1989.
A. Finkelstein, C. Potts. “Building Formal Specifications Using 'structured Common Sense',” in Proc. Fourth International Workshop on Software Specification and Design, pp. 108–113, 1987.
S.J. Greenspan, A. Borgida and J. Mylopoulos, “A Requirements Modeling Language and its Logic,” Information Systems, vol 11(1), pp. 9–23, 1986.
J. Guttag, J. Horning and J. Wing, “Larch in Five Esasy Pieces,” Research Report 5, Digital Systems Research Center, 1985.
W. L. Johnson, “Deriving Specifications from Requirements,” in Proc. 10th Int. Conf. on Software Engineering, Singapore, pp. 428–438, 1988.
R. Junglaus, G. Saake and C. Sernadas, “Formal Specification of Object Systems,” in Proc. TAPSOFT'91, Brighton (UK), LNCS 494, Springer-Verlag, pp. 60–82, 1991.
J. Mylopoulos, A. Borgida, M. Jarke and M. Koubarakis, “Telos: A Language for Representing Knowledge about Information Systems,” ACM Trans. Information Systems, 1990.
F. Orejas, V. Sacristan and S. Clerici, “Development of Algebraic Specifications with Constraints,” in Categorical Methods in Computer Science, Springer LNCS, 1989.
B. Pernici, “Class Design and Metadesign,” in Object Management, D. Tsichritzis (ed), Geneva University, p. 117–132, 1990.
A. Profrock, D. Tsichritzis, G. Muller and M. Ader, “ITHACA: an integrated toolkit for highly advanced computer application,” in Object Oriented Development, D. Tsichritzis (ed), Geneva University, pp. 321–344, 1989.
H.B. Reubenstein and R. C. Waters, “The Requirements Apprentice: An Initial Scenario,” in Proc. Fifth International Workshop on Software Specification and Design, pp. 211–218, 1989.
H.B. Reubenstein and R. C. Waters, “The Requirements Apprentice: Automated assistance for requirements acquisition,” in IEEE Trans. Soft. Eng., 17(3), March 1991.
C. Rolland and C. Richard, “The Remora Methodology for Information Systems Design and Management,” in Information Systems Design Methodologies: A Comparative Review, T.W. Olle, H.G. Sol, A.A. Verrijn-Stuart (eds), North-Holland, pp. 369–426, 1982.
D.T. Ross and K.G. Schoman, “Structured Analysis for Requirements Definition,” IEEE Trans. Soft. Eng., SE 3(1), pp. 1–65, 1977.
A. Sernadas, “Temporal Aspects of Logic Procedure Definition,” Information Systems, vol. 5, pp. 167–187, 1980.
A. Sernadas, C. Sernadas and H.-D. Ehrich, “Abstract Object Types: a Temporal Perspective,” Colloquium on Temporal Logic and Specification, B. Banieqbal, H. Barringer and A. Pnueli (eds), LNCS 398, Springer-Verlag, pp. 324–350, 1989.
B. Sufrin (ed), “Z Handbook,” Oxford Programming Research Group, 1986.
D. Teichroew and E.A. Hershey, “A Computer Aided Technique for Structured Documentation and Analysis of Information Processing Systems,” IEEE Trans. Soft. Eng., SE-3(1), pp. 41–48, 1977.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dubois, E., Du Bois, P., Rifaut, A. (1992). Elaborating, structuring and expressing formal requirements of composite systems. In: Loucopoulos, P. (eds) Advanced Information Systems Engineering. CAiSE 1992. Lecture Notes in Computer Science, vol 593. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035140
Download citation
DOI: https://doi.org/10.1007/BFb0035140
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55481-3
Online ISBN: 978-3-540-47099-1
eBook Packages: Springer Book Archive