Requirements modelling and formal analysis using graph operations

International Journal of Production Research

Volumn 44, Issue 17, 2006, Pages 3451-3470

  Kamsu Foguem, B ^a   Chapurlat, V ^b  

^a UNIVERSITÉ DE TOULOUSE   (France)

^b ECOLE DES MINES D ALÈS   (France)

Author keywords

Conceptual Graphs; Enterprise Modelling; Formal verification; Properties specification

Indexed keywords

ENTERPRISE RESOURCE PLANNING; LIFE CYCLE; PRODUCT DEVELOPMENT; PRODUCTION ENGINEERING; REQUIREMENTS ENGINEERING; SPECIFICATIONS;

CONCEPTUAL GRAPHS; ENTERPRISE MODELLING; FORMAL VERIFICATION; PROPERTIES SPECIFICATION;

INDUSTRIAL MANAGEMENT;

EID: 33745128073     PISSN: 00207543     EISSN: 1366588X     Source Type: Journal    
DOI: 10.1080/00207540500499377     Document Type: Article

References (72)

1. Abrial, J.-R., The B-Book: Assigning Programs to Meanings, 2005 (Cambridge University Press: Cambridge, UK).
2. ATHENA, Advanced technologies for interoperability of heterogeneous enterprise networks and their applications, FP6-2002-IST-1, Integrated project description of work, 2004, EU IP-Project-No 507849, ATHENA Public Web site: http://www.athena.ip.org.
3. Baget, J.-F. and Mugnier, M.-L., Extensions of simple conceptual graphs: the complexity of rules and constraints. J. Artif. Intell. Res. (JAIR), 2002, 16, 425-465.
4. Berio, G., Requirements analysis: initial core constructs and architecture, Deliverable D3.1 of the UEML Project, Unified Enterprise Modeling Language Thematic Network, IST-2001-34229, May 2003, document available from the UEML portal at: http://www.ueml.org.
5. Bos, C., Botella, B. and Vanheeghe, P., Modelling and simulating human behaviours with conceptual graphs. In Proceedings of Fifth International Conference on Conceptual Structures, ICCS'97, Seattle, Washington, USA, 3-8 August 1997. Lecture Noten in Computer Science, 1257, 275-289.
6. Bray, K., An Introduction to Requirements Engineering, 2002 (Addison-Wesley: Massachusetts).
7. Bubenko, J., Rolland, C., Loucopoulos, P. and De Antonnellis, V., Facilitating fuzzy to formal requirements modelling, In Proceedings of the International Conference on Requirements Engineering (ICRE), Colorado Springs, USA, 14-22 April 1994.
8. Chapurlat, V., Kamsu Foguem, B. and Prunet, F., A property relevance model and associated tools for system life-cycle management. In 15th IFAC World Congress on Automation Control (B'02), Barcelona, Spain, 21-26 July 2002.
9. Chapurlat, V., Kamsu Foguem, B. and Prunet, F., Enterprise model verification and validation: an approach. IFAC Ann. Rev. Contr., 2003, 27(2), 185-197.
10. Chapurlat, V., Kamsu Foguem, B. and Prunet, F., A formal verification framework and associated tools for enterprise modeling: application to UEML. Comput. Indust., 2006, 57, 153-166.
11. Chein, M. and Mugnier, M.-L., Conceptual graphs: fundamental notions. Artif. Intell. Rev., 1992, 6(4), 365-406.
12. Chein, M. and Mugnier, M.-L., Positive nested conceptual graphs. In Conceptual Structures: Fulfilling Peirce's Dream, Proceedings of the fifth International Conference on Conceptual Structures (ICCS'97), Seattle, USA, Lecture Notes in Artificial Intelligence, Volume 1257, edited by D. Luckose, H. Delugah, M. Keeler, L. Searle, and J.F. Sowa, Springer Verlag, Berlin, Germany, 1997, pp. 95-109.
13. Chung, L., Nixon, B., Yu, E. and Mylopoulos, J., Non-Functional Requirements in Software Engineering, 2000 (Boston: Kluwer Academic Publishers).
14. Cortes, L.A., Eles, P. and Peng, Z., Modeling and formal verification of embedded systems based on a Petri net representation. J. Syst. Archit., 2003, 49(12-15), 571-598.
15. Diallo, D., Assistance to validation through paraphrasing of formal specification written in B. (in French). PhD thesis, University of Nantes, 2000.
16. Dieng, R. and Corby, O., Conceptual graphs for semantic web applications. In Proceedings of the 13th International Conference on Conceptual Structures (ICCS'2005), Kassel, Germany, 17-23 July, pp. 19-50, 2005, edited by F. Dau, M.L. Mugnier and G. Stumme (Springer-Verlag: Berlin).
17. Dubois, E., Du Bois, P., Dubru, F. and Petit, M., Agent-oriented requirements engineering: a case study using the ALBERT language. In Proceedings of the Fourth International Working Conference on Dynamic Modelling and Information System DYNMOD-IV, Noordwijkerhoud, The Netherlands, 28-30 September 1994, edited by A. Verbraeck, H.G. Sol and P.W.G. Bots (Delft University Press: Delft, The Netherlands).
18. Ducq, V., Chen, D. and Vallespir, B., Interoperability in enterprise modelling: requirements and roadmap. Adv. Engng Inform., 2004, 18(4), 193-203.
19. Easterbrook, S.M., Lutz, R., Covington, R., Kelly, J., Ampo, Y. and Hamilton, D., Experiences using lightweight formal methods for requirements modeling. IEEE Trans. Softw. Engng, 1998, 24(1), 4-14.
20. Ehrig, H. and Mahr, B., Fundamentals of algebraic specifications 1: Equations and initial semantics. In EACTS Monographs on Theoretical Computer Science, 1985, Vol. 6 (Springer: Berlin).
21. ELEKTRA consortium, DEMETRA: System Design Specification for PPC, ELEKTRA deliverable, March 1998.
22. Fox, M.S. and Gruninger, M., Enterprise modelling. AI Magazine, 1998, 19, 109-121.
23. Genest, D., CoGITaNT Version-5.1 - reference manual. Available at: http://cogitant.sourceforge.net
24. Girard, P. and Doumeingts, P., GRAI-Engineering: a method to model, design and run engineering design departments. Int. J. Comput. Integr. Manuf., 2004, 17(8), 716-732.
25. Gouyon, D., Petin, J.F. and Gouin, A., Pragmatic approach for modular control synthesis and implementation. Inr. J. Prod. Res., 2004, 42(14), 2839-2858.
26. Grady, J., System Validation and Verification, 1997 (CRC Press: Boca Raton, Florida).
27. Gramlich, B., Strategic issues, problems and challenges in inductive theorem proving. Electron. Notes Theor. Comput. Sci., 2005, 125(2), 5-43.
28. Guarino, N., Understanding, building, and using ontologies: a commentary to "Using explicit ontologies in KBS development" by van Heijst, Schreiber, and Wielinga. Int. J. Human Comput. Stud., 1997, 46, 293-310.
29. Harel, D. and Politi, M., Modeling Reactive Systems with Statecharts: The STATEMATE Approach, 1998 (McGraw-Hill: New York).
30. Haumer, P., Pohl, K. and Weidenhaupt, K., Requirements elicitation and validation with real world scenes. IEEE Trans. Softw. Engng, 1998, 24(12), 1036-1054.
31. Heitmeyer, C.L., Jeffords, R.D. and Labaw, B.G., Automated consistency checking of requirements specifications. IEEE Trans. Softw. Engng Methodol., 1996, 5(3), 231-261.
32. Hermosillo Worley, J., Rakoto, H., Grabot, B. and Geneste, L., A competence approach in the experience feedback process. In Integrating Human Aspects in Production Management, IFIP International Federation for Information Processing series, Volume 160, edited by G. Zulch, H.S Jagdev and P. Stock, 2005 (Springer-Verlarg: New York).
33. Hoare, C.A.R., Communicating Sequential Processes, 1985 (Prentice Hall: Englewood Cliffs, New Jersey).
34. INCOSE SE Handbook Working Group, System Engineering Handbook, A 'How To' Guide For All Engineers, July 2004.
35. INTEROP, Interoperability research for networked enterprises applications and software, network of excellence, proposal part B, 23 April 2003. EU-NoE Project IST-508 Oil, INTEROP Portal: http://www.interop-noe.org.
36. ISO 10314, 'Reference Model for Shop Floor Production Standards', Technical report 10314, Part 1, ISO TC 184/SC5/WG1 N126 and Part 2, ISO TC 184/SC5/WG1 N160, 1990.
37. Jackson, D., Lightweight formal methods. In Proceedings of International Symposium of Formal Methods Europe, Berlin, Germany, 12-16 March 2001.
38. Jackson, M., Problems, methods and specialisation. Softw. Engng J., 1994, 9(6), 249-255;
39. edited and abridged in IEEE Softw., 1994, 11(6), 57-62.
40. Kamsu Foguem, B., Complex systems properties modelling and verification: application to enterprise process analysis (in French). PhD thesis, University of Montpellier II, July 2004.
41. Kamsu Foguem, B., Chapurlat, V. and Prunet, F., Enterprise model verification: a graph-based approach. In Symposium on Discrete Events in Industrial and Manufacturing Systems; CESA '03, IEEE/SMC Multiconference on Computational Engineering in Systems Applications, Lille, France, July 2003.
42. Kosanke, K., Jochem, R., Nell, J.G. and Ortiz Bas, A., Enterprise Inter- and Intra-organisational Integration - Building an International Consensus, 2003 (Kluwer Academic Publishers: Boston, Massachusetts).
43. Lamport, L., Proving the correctness of multiprocess programs. IEEE Trans. Softw. Engng, 1977, SE-3(2), 125-143.
44. Maiden, N.A.M. and Hare, M., Problem domain categories in requirements engineering. Int. J. Human-Comput. Stud., 1998, 49(3), 281-304.
45. Manna, Z. and Pnueli, A., The Temporal Logic of Reactive and Concurrent Systems: Specification, 1992 (Springer-Verlag: New York).
46. Martin, J.N., System Engineering Handbook, 1997 (CRC Press: Boca Raton, Florida).
47. Molina, A., Panetto, H., Chen, D., Vernadat, F. and Whitman, L., Enterprise integration and networking: milestone report, TC 5.3 Enterprise Integration and Networking. In Proceedings of ICEIMT2004, International Conference on Enterprise Integration and Modeling Technology, Canada, 2004.
48. Monin, J.-F., Understanding Formal Methods, 2003 (Springer-Verlag: London).
49. Morel, G., Pétin, J.F. and Lamboley, P., 10th IFAC/INCOM Symposium, 2001, Vienna, Austria.
50. Morel, G., Panetto, H., Zaremba, M. and Mayer, F., Manufacturing enterprise control and management system engineering: paradigms and open issues. IFAC Ann. Rev. Contr., 2003, 27(2), 199-209.
51. NAS (National Airspace System), NAS System Engineering Manual Version 3.0, 2004. Available at: http://www.faa.gov/asd/SystemEngineering/
52. Paige, R.F., Heterogeneous notations for pure formal method integration. Formal Asp. Comput., 1998, 10(3), 233-242.
53. Petit, M. and Doumeingts, G., Enterprise modelling state of the art, Deliverable D 1.1 of the UEML Project, November 2002. Available at UEML portal: http://www.ueml.org.
54. Potts, C., Fitness for use: the system quality that matters most. In Proceedings of the Third International Workshop on Requirements Engineering: Foundations of Software Quality REFSQ'97, Barcelona, Spain, June 1997, pp. 15-28 (Namur University Press: Namur).
55. Robertson, S. and Robertson, J., Mastering the Requirements Process, 1999 (Addison-Wesley: Harlow).
56. Rolland, C., Ben Achour, C., Cauvet, C., Ralyté, J., Sutcliffe, A., Maiden, N.A.M., Jarke, M., Haumer, P., Pohl, K., Dubois, E. and Heymans, P., A proposal for a scenario classification framework. Req. Engng J., 1998, 3(1), 23-47.
57. Rolland, C. and Prakash, N., From conceptual modelling to requirements engineering. Ann. Softw. Engng, 2000, 10, 151-176.
58. Roussel, J.M., Faure, J.M., Lesage, J.J. and Medina, A., An algebraic approach for dependable logic control systems design. Int. J. Prod. Res., 2004, 42(14), 2859-2876.
59. Shiu, S. and Sankar, K.P., Foundations of soft case-based reasoning. In Wiley Series on Intelligent Systems, pp. 274, 2004 (Wiley-Interscience: Hoboken, New Jersey).
60. Sowa, J.F., Conceptual Structures: Information Processing in Mind and Machine, 1984 (Addison-Wesley: New York).
61. Sowa, J.F., Knowledge Representation: Logical, Philosophical, and Computational Foundations, 2000 (Brooks Cole Publishing Co: Pacific Grove, CA).
62. Sowa, J.F. and Zachman, J.A., Extending and formalising the framework for information systems architecture. IBM Systems J., 1992, 31(3), 590-616.
63. Spivey, J.M., The Z Notation: A Reference Manual, 2nd edn, 1992 (Prentice Hall: New York).
64. Sutcliffe, A., User-centred Requirements Engineering: Theory and Practice, 2002 (Springer-Verlag: London).
65. Ueda, K., Synthesis and emergence - research overview. Artif. Intell. Engng, 001, 15, 321-327.
66. Van Lamsweerde, A., Darimont, R. and Letier, E., Managing conflicts in goal-driven requirements engineering. IEEE Trans. Softw. Engng, 1998, 24(11), 908-926.
67. Vernadat, F.B., Enterprise Modeling and Integration: Principles and Applications, 1996 (Chapman & Hall: London).
68. Vernadat, F.B., UEML: towards a unified enterprise modelling language. Int. J. Prod. Res., 2002, 40(17), 4309-4321.
69. Vilhelm, C., Ravaux, P., Calvelo, D., Jaborska, A., Chambrin, M.-C. and Boniface, M., Think!: a unified numerical-symbolic knowledge representation scheme and reasoning system. Artif. Intell., 2000, 116(1-2), 67-85.
70. Völker, N. and Krämer, B.J., Automated verification of function block-based industrial control systems. Sci. Comput. Progr., 2002, 42(1), 101-113.
71. Watson, I., Applying Case-Based Reasoning: Techniques for Enterprise Systems, 1997 (Morgan Kaufmann: San Mateo, CA).
72. Young, R., The Requirements Engineering Handbook, 2004 (Artech House Publishers: Boston, Massachusetts).