A Formal Requirements Engineering Framework for CIM Infrastructures Reengineering

  • Michaël Petit
  • Eric Dubois
Part of the IFIP — The International Federation for Information Processing book series (IFIPAICT)


The complexity of the task of designing Computer Integrated Manufacturing (CIM) Systems that can evolve with time is recognized. This complexity definitively makes a methodological approach necessary. The paper proposes a methodology for the task of designing Computer Integrated Manufacturing (CIM) Systems that can evolve with time. It is based on requirements engineering formal languages that enable the expression of (i) the functional goals of the CIM system, (ii) the quality goals on the system (what qualities the system should have), (iii) the specification of alternatives solutions that fulfill the functional goals and (iv) the evaluation of these alternatives w.r.t. the quality goals. To support this methodology we introduce: the Albert II language (for the description of the functional goals) and the i* framework (for the description of the rationales underlying a system design).


Functional and Quality Requirements Business Process Reengineering Formal Specification Language 


  1. Du Bois, Philippe (1995) The Albert II Language: On the Design and the Use of a Formal Specification Language for Requirements Analysis. PhD thesis, Computer Science Department, University of Namur, Namur (Belgique), September 1995.Google Scholar
  2. Chung, Lawrence (1993) Representing and using Non-functional Requirements: a Process-Oriented Approach. PhD thesis, Computer Science Department, University of Toronto, Toronto (Canada), June 1993.Google Scholar
  3. Dubois, Eric and Du Bois, Philippe and Petit, Michaël (1993) Elicitating and formalising requirements for CIM information systems. In C. Rolland, F. Bodart, and C. Cauvet, editors, Proc. of the 5th conference on advanced information systems engineering — CAiSE’93,pages 252–274, Paris (France), June 8–11, 1993. LNCS 685, Springer-Verlag.Google Scholar
  4. Dubois, Eric and Du Bois, Philippe and Zeippen, Jean-Marc (1995) A formal requirements engineering method for real-time, concurrent, and distributed systems. In Proc. of ICSE-17 Workshop on Formal Methods Applications in Software Engineering, Seattle WA, April 2425, 1995.Google Scholar
  5. Greenspan, Sol J. and Borgida, Alexander and Mylopoulos, John (1986) A requirements modeling language. Information Systems, 11 (1): 9–23.CrossRefGoogle Scholar
  6. Jarke, M. and Gallersdörfer, R. and Jeusfeld, M.A. and Staudt M. and Eherer S. (1995) Concept-Base–a deductive object base for meta data management. Journal of Intelligent Information Systems, Special Issue on Advances in Deductive Object-Oriented Databases, 4 (2): 167–192.Google Scholar
  7. Yu, Eric S. K. and Mylopoulos, John (1994) From E-R to “A-R” — modelling strategic actor relationships for business process reengineering. In Proc. of the 13th International Conference on the Entity-Relationship Approach — ER’94, Manchester (UK), December 13–16, 1994.Google Scholar
  8. Yu, Eric and Du Bois, Philippe and Dubois, Eric and John Mylopoulos (1995) From organization models to system requirements - a “cooperating agents” approach. In Proc. of the Third International Conference on Cooperative Information Systems — CoopIS-95,Vienna (Austria), May 9–12, 1995. University of Toronto Press inc.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 1997

Authors and Affiliations

  • Michaël Petit
    • 1
  • Eric Dubois
    • 1
  1. 1.Computer Science DepartmentUniversity of NamurNamurBelgium

Personalised recommendations