Advertisement

Elicitating and formalising requirements for C.I.M. information systems

  • Eric Dubois
  • Philippe Du Bois
  • Michaël Petit
Requirements Engineering
Part of the Lecture Notes in Computer Science book series (LNCS, volume 685)

Abstract

It is now widely recognised that methods are needed for covering the whole lifecycle of Computer Integrated Manufacturing (CIM) applications. In this paper, we deal with the requirements engineering phase of this lifecycle. A formal language is introduced for capturing real-time requirements expressed on CIM applications. The resulting specification is structured as a society of ‘agents’, each of them being characterised by (i) its responsibility with respect to changes happening in the system and (ii) the perception of the behaviour of other agents. On top of illustrating the use of the language on a small case-study, we also suggest some methodological guidance in the elaboration of requirements for large CIM applications.

Keywords

O-O requirements engineering agents actions formal language CIM applications elaboration of the requirements document 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [BHM90]
    D. Beauchêne, A. Haurat, and J.L. Maire. Typology and modeling: a global approach in manufacturing enterprises. In Proceedings of the international conferefence CIM'90: Integration Aspects, pages 235–242, Bordeaux (France), June 12–14, 1990. Productic-A, Teknea.Google Scholar
  2. [BJ78]
    D. Bjorner and C.B. Jones. The Vienna Development Method. The metalanguage, volume 61 of LNCS. Springer-Verlag, 1978.Google Scholar
  3. [BJo92]
    D. Bjorner. Trusted computing systems: The procos experience. In Proc. of the 14th international conference on software engineering, pages 15–34, Melbourne (Australia), May 11–15, 1992. IEEE, ACM Press.Google Scholar
  4. [Bra88]
    O.H. Bray. Computer Integrated Manufacturing (The Data Management Strategy). Digital Press CIM series. Hamilton Printing Company, 1988.Google Scholar
  5. [Bru91]
    J. Brunet. Modelling the world with semantic objects. In Proc. of the working conference on the object-oriented approach in information systems, Québec, 1991.Google Scholar
  6. [Bub83]
    Janis A. Bubenko. On concepts and strategies for requirements and information analysis. In Information modeling, pages 125–169. Chartwell-Bratt, 1983.Google Scholar
  7. [Che76]
    P.P. Chen. The entity-relationship model: Towards a unified view of data. ACM TODS, 1(1):9–36, 1976.Google Scholar
  8. [DDP93]
    Eric Dubois, Philippe Du Bois, and Michaël Petit. O-O requirements analysis: an agent perspective. In O. Nierstrasz, editor, Proc. of the 7th european conference on object-oriented programming-ECOOP'93 (to appear). Kaiserslautem (Germany), July 26–30, 1993.Google Scholar
  9. [DDR92]
    Eric Dubois, Philippe Du Bois, and André Rifaut. Elaborating, structuring and expressing formal requirements of composite systems. In P. Loucopoulos, editor, Proc. of the 4th conference on advanced information systems engineering-CAiSE'92, pages 327–347, Manchester (UK), May 12–15, 1992. LNCS 593, Springer-Verlag.Google Scholar
  10. [DFHF91]
    E. Doerry, S. Fickas, R. Helm, and M. Feather. A model for composite system design. In Proc. of the 6th international workshop on software specification and design, Milano, October 1991.Google Scholar
  11. [DFvL91]
    A. Dardenne, S. Fickas, and A. van Lamsweerde. Goal-directed concept acquisition in requirements elicitation. In Proc. of the 6th international workshop on software specification and design, Milano, October 1991.Google Scholar
  12. [DH87]
    Eric Dubois and Jacques Hagelstein. Reasoning on formal requirements: a lift control system. In Proceedings of the 4th international workshop on software specification and design, pages 236–241, Monterey CA, April 3–4, 1987. IEEE, CS Press.Google Scholar
  13. [DHR91]
    Eric Dubois, Jacques Hagelstein, and André Rifaut. A formal language for the requirements engineering of computer systems. In André Thayse, editor, From natural language processing to logic for expert systems, chapter 6. Wiley, 1991.Google Scholar
  14. [Dou90]
    Guy Doumeingts. Design and specification methods for production systems. In Proceedings of the international conferefence CIM'90: integration aspects, pages 89–103, Bordeaux (France), June 12–14, 1990. Productic-A, Teknea.Google Scholar
  15. [Dub89]
    Eric Dubois. A logic of action for supporting goal-oriented elaborations of requirements. In Proceedings of the 5th international workshop on software specification and design, pages 160–168, Pittsburgh PA, May 19–20, 1989. IEEE, CS Press.Google Scholar
  16. [Fea87]
    Martin S. Feather. Language support for the specification and development of composite systems. ACM Transactions on programming languages and systems, 9(2):198–234, April 1987.Google Scholar
  17. [Fea89]
    Martin S. Feather. Constructing specifications by combining parallel elaborations. IEEE Transactions on software engineering, SE-15(2), February 1989.Google Scholar
  18. [FM90]
    Jose Fiadeiro and Tom Maibaum. Describing, structuring and implementing objects. In Foundations of Object-Oriented Languages — REX School/Workshop, pages 275–310, Noordwijkerhout (The Netherlands), May 28–June 1, 1990. LNCS 489, Springer-Verlag.Google Scholar
  19. [FP87]
    Anthony Finkelstein and Colin Potts. Building formal specifications using “structured common sense”. In Proceedings of the 4th international workshop on software specification and design, pages 108–113, Monterey CA, April 3–4, 1987. IEEE, CS Press.Google Scholar
  20. [FS86]
    Jose Fiadeiro and Amilcar Sernadas. Linear tense propositional logic. Information Systems, 11(1):61–85, 1986.Google Scholar
  21. [GB91]
    D. Gabbay and P. Mc Brien. Temporal logic and historical databases. In Proc. of the 17th international conference on very large databases, Barcelona, September 1991.Google Scholar
  22. [GBM86]
    Sol J. Greenspan, Alexander Borgida, and John Mylopoulos. A requirements modeling language. Information Systems, 11(1):9–23, 1986.Google Scholar
  23. [GQVV90]
    R. Gaches, B. Querenet, P. Viollet, and F. Vernadat. Cim-osa: an open system architecture. In Proceedings of the international conferefence CIM'90: Integration Aspects, pages 227–234, Bordeaux (France), June 12–14, 1990. Productic-A, Teknea.Google Scholar
  24. [HC68]
    G.E. Hughes and M.J. Cresswell. An introduction to modal logic. Methuen and Co., London, 1968.Google Scholar
  25. [HDM88]
    C.S. Harrison, L.G. Dove, and B. Makin. A practical approach to cim systems design. In Proceedings of the Computer Aided Production Engineering Conference, pages 375–380, November 1988.Google Scholar
  26. [HR92]
    JacquesHagelstein and Dominique Roelants. Reconciling operational and declarative specifications. In P. Loucopoulos, editor, Proc. of the 4th conference on advanced information systems engineering — CAiSE'92, pages 221–238, Manchester (UK), May 12–15,1992. LNCS 593, Springer-Verlag.Google Scholar
  27. [JSS91]
    R. Jungclaus, G. Saake, and C. Sernadas. Formal specification of object systems. In S. Abramsky and T. Maibaum, editors, Proc. of TAPSOFT'91 Vol.2, pages 60–82, Brighton (UK), 1991. LNCS 494, Springer-Verlag.Google Scholar
  28. [KM87]
    S. Khosla and T. Maibaum. The prescription and description of state based systems. In B. Banieqbal, H. Barringer, and A. Pnueli, editors, Temporal logic in specification. LNCS 398, Springer-Verlag, 1987.Google Scholar
  29. [KVdR89]
    R. Koymans, J. Vytopil, and W. de Roever. Specifying message passing and timecritical systems with temporal logic. Doctoral dissertation, Eindhoven University of Technology, Eindhoven (The Netherlands), 1989.Google Scholar
  30. [LVB87]
    A. Di Leva, F. Vernadat, and D. Bizier. Information system analysis and conceptual database design in production environments with m*. Computers in Industry, 9:183–217, 1987.Google Scholar
  31. [MBJK90]
    J. Mylopoulos, A. Borgida, M. Jarke, and M. Koubarakis. Telos: A language for representing knowledge about information systems. ACM Transansaction on Information Systems, 8(4):325–362, 1990.Google Scholar
  32. [OSC89]
    F. Orejas, V. Sacristan, and S. Clerici. Development of algebraic specifications with constraints. In Proc. of the workshop in categorical methods in computer science. LNCS 393, Springer-Verlag, 1989.Google Scholar
  33. [Pet92]
    Michaël Petit. Construction et formalisation de spécifications conceptuelles pour les systèmes productiques. Master's thesis, Computer Science Department, University of Namur, Namur (Belgium), September 1992.Google Scholar
  34. [RFM91]
    Mark D. Ryan, Jose Fiadeiro, and Tom Maibaum. Sharing actions and attributes in modal action logic. In T. Ho and A. Meyer, editors, Theoretical Aspects of Computer Software. Springer-Verlag, 1991.Google Scholar
  35. [RW91]
    Howard B. Reubinstein and Richard C. Waters. The requirements apprentice: Automated assistance for requirements acquisition. IEEE Transactions on software engineering, 17(3), March 1991.Google Scholar
  36. [Sch88]
    August-Wilhelm Scheer. CIM: Computer steered industry. Springer-Verlag, 1988.Google Scholar
  37. [Ser80]
    Amilcar Sernadas. Temporal aspects of logic procedure definition. Information Systems, 5:167–187, 1980.Google Scholar
  38. [SFS90]
    Cristina Sernadas, Jose Fiadeiro, and Amílcar Sernadas. Object-oriented modelling from law. In Meersman, Shi, and Kung, editors, The Role of Artificial Intelligence in Databases and Information Systems. North-Holland, 1990.Google Scholar
  39. [SM92]
    A. Sutcliffe and N. Maiden. Supporting component matching for software reuse. In P. Loucopoulos, editor, Proc. of the 4th conference on advanced information systems engineering-CAiSE'92, pages 290–303, Manchester (UK), May12–15, 1992. LNCS 593, Springer-Verlag.Google Scholar
  40. [SSE89]
    A. Sernadas, C. Sernadas, and H.-D. Ehrich. Abstract object types: a temporal perspective. In B. Banieqbal, H. Barringer, and A. Pnueli, editors, Proc. of the colloquium on temporal logic and specification, pages 324–350. LNCS 398, Springer-Verlag, 1989.Google Scholar
  41. [TLW91]
    C. Theodoulidis, P. Loucopoulos, and B. Wangler. A conceptual modelling formalism for temporal database applications. Information Systems, 16(4):401–416, 1991.Google Scholar
  42. [vW68]
    G.H. von Wright. An essay in deontic logic and the general theory of action. Acta Philosophica Fennica, XXI, 1968.Google Scholar
  43. [Yu93]
    Eric S. K.Yu. Modelling organizations for information systems requirements engineering. In A. Finkelstein, editor, Proc. of the IEEE International Symposium on Requirements Engineering-RE'93, pages 34–41, San Diego CA, January 4–6, 1993. IEEE Computer Society Press.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Eric Dubois
    • 1
  • Philippe Du Bois
    • 1
  • Michaël Petit
    • 1
  1. 1.Institut d'InformatiqueFacultés Universitaires de NamurNamurBelgium

Personalised recommendations