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

1. 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. D. Bjorner and C.B. Jones. The Vienna Development Method. The metalanguage, volume 61 of LNCS. Springer-Verlag, 1978.

   Google Scholar 

3. 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. O.H. Bray. Computer Integrated Manufacturing (The Data Management Strategy). Digital Press CIM series. Hamilton Printing Company, 1988.

   Google Scholar 

5. 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. Janis A. Bubenko. On concepts and strategies for requirements and information analysis. In Information modeling, pages 125–169. Chartwell-Bratt, 1983.

   Google Scholar 

7. P.P. Chen. The entity-relationship model: Towards a unified view of data. ACM TODS, 1(1):9–36, 1976.

   Google Scholar 

8. 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. 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. 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. 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. 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. 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. 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. 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. 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. Martin S. Feather. Constructing specifications by combining parallel elaborations. IEEE Transactions on software engineering, SE-15(2), February 1989.

    Google Scholar 

18. 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. 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. Jose Fiadeiro and Amilcar Sernadas. Linear tense propositional logic. Information Systems, 11(1):61–85, 1986.

    Google Scholar 

21. 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. Sol J. Greenspan, Alexander Borgida, and John Mylopoulos. A requirements modeling language. Information Systems, 11(1):9–23, 1986.

    Google Scholar 

23. 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. G.E. Hughes and M.J. Cresswell. An introduction to modal logic. Methuen and Co., London, 1968.

    Google Scholar 

25. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. August-Wilhelm Scheer. CIM: Computer steered industry. Springer-Verlag, 1988.

    Google Scholar 

37. Amilcar Sernadas. Temporal aspects of logic procedure definition. Information Systems, 5:167–187, 1980.

    Google Scholar 

38. 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. 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. 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. 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. G.H. von Wright. An essay in deontic logic and the general theory of action. Acta Philosophica Fennica, XXI, 1968.

    Google Scholar 

43. 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 

Download references