Elaborating, structuring and expressing formal requirements of composite systems

  • Eric Dubois
  • Philippe Du Bois
  • André Rifaut
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 593)


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.


requirements engineering composite systems first-order and temporal logic structuring mechanisms 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Alf77]
    M.W. Alford, “A Requirements Engineering Methodology for Real-time Processing Requirements,” IEEE Trans. Soft. Eng., SE-3(1), pp. 60–69, 1977.Google Scholar
  2. [Die89]
    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.Google Scholar
  3. [Doe91]
    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.Google Scholar
  4. [Dub88]
    E. Dubois, J. Hagelstein and A. Rifaut, “Formal Requirements Engineering with ERAE,” Philips Journal of Research, 43, nos. 3/4, 1988.Google Scholar
  5. [Dub88b]
    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.Google Scholar
  6. [Dub90]
    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.Google Scholar
  7. [Dub91a]
    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.Google Scholar
  8. [Dub91b]
    E. Dubois, Ph. Du Bois, A. Rifaut, P. Wodon, “GLIDER User Manual,” Spec-Func Deliverable, ESPRIT Project Icarus 2537, June 1991.Google Scholar
  9. [Dub91c]
    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.Google Scholar
  10. [Ehr90]
    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.Google Scholar
  11. [Fia91]
    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.Google Scholar
  12. [Fin89]
    A. Finkelstein and H. Fucks, “Multiparty Specification,” in Proc. Fifth International Workshop on Software Specification and Design, pp. 185–195, 1989.Google Scholar
  13. [Fea87]
    M.S. Feather. “Language Support for the Specification and Development of Composite Systems,” in ACM TOPLAS, vol. 9, 2, pp. 198–234, April 87.Google Scholar
  14. [Fea89]
    M.S. Feather. “Constructing Specifications by Combining Parallel Elaborations,” in IEEE Trans. Soft. Eng., vol. 15 (2), February 1989.Google Scholar
  15. [Fin87]
    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.Google Scholar
  16. [Gre86]
    S.J. Greenspan, A. Borgida and J. Mylopoulos, “A Requirements Modeling Language and its Logic,” Information Systems, vol 11(1), pp. 9–23, 1986.Google Scholar
  17. [Gut85]
    J. Guttag, J. Horning and J. Wing, “Larch in Five Esasy Pieces,” Research Report 5, Digital Systems Research Center, 1985.Google Scholar
  18. [Joh88]
    W. L. Johnson, “Deriving Specifications from Requirements,” in Proc. 10th Int. Conf. on Software Engineering, Singapore, pp. 428–438, 1988.Google Scholar
  19. [Jun91]
    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.Google Scholar
  20. [Myl90]
    J. Mylopoulos, A. Borgida, M. Jarke and M. Koubarakis, “Telos: A Language for Representing Knowledge about Information Systems,” ACM Trans. Information Systems, 1990.Google Scholar
  21. [Ore89]
    F. Orejas, V. Sacristan and S. Clerici, “Development of Algebraic Specifications with Constraints,” in Categorical Methods in Computer Science, Springer LNCS, 1989.Google Scholar
  22. [Per90]
    B. Pernici, “Class Design and Metadesign,” in Object Management, D. Tsichritzis (ed), Geneva University, p. 117–132, 1990.Google Scholar
  23. [Pro89]
    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.Google Scholar
  24. [Reu89]
    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.Google Scholar
  25. [Reu91]
    H.B. Reubenstein and R. C. Waters, “The Requirements Apprentice: Automated assistance for requirements acquisition,” in IEEE Trans. Soft. Eng., 17(3), March 1991.Google Scholar
  26. [Rol82]
    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.Google Scholar
  27. [Ros77]
    D.T. Ross and K.G. Schoman, “Structured Analysis for Requirements Definition,” IEEE Trans. Soft. Eng., SE 3(1), pp. 1–65, 1977.Google Scholar
  28. [Ser80]
    A. Sernadas, “Temporal Aspects of Logic Procedure Definition,” Information Systems, vol. 5, pp. 167–187, 1980.Google Scholar
  29. [Ser89]
    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.Google Scholar
  30. [Suf86]
    B. Sufrin (ed), “Z Handbook,” Oxford Programming Research Group, 1986.Google Scholar
  31. [Tei77]
    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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Eric Dubois
    • 1
  • Philippe Du Bois
    • 1
  • André Rifaut
    • 1
  1. 1.Institut d'InformatiqueFacultés Universitaires de NamurNamurBelgium

Personalised recommendations