Méthodologie de modélisation orientée objets de systèmes de production: Un processus de construction/validation du modèle générique orienté objets d'un système de production

Journal Europeen des Systemes Automatises

Volumn 32, Issue 1, 1998, Pages 51-105

  Kellert, Patrick ^a   Ruch, Stéphane ^b  

^a UNIVERSITÉ BLAISE PASCAL   (France)

^b SIMULOG   (France)

Author keywords

Formal model; Manufacturing system; Object oriented modelling

Indexed keywords

EID: 1642352226     PISSN: 12696935     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (56)

1. [ART 86] ARTHUR J.D., NANCE R.E., HENRY S.M., "A Procedural Approach to Evaluating Software Development Methodologies : The Foundation", Technical Report TR-86-24, Department of Computer Science, Virginia Tech,1986.
2. [BAI 89] BAILIN S.C., "An Object-Oriented Requirements Specification Method", Communication of the ACM, 32, n° 5,1989, p. 608-623.
3. [BAL 86] BALCI O., "Requierements for Model Development Environments", Computers & Operations Research, Vol. 13, n° 1,1986, p. 53-67.
4. [BAL 87] BALCI O., NANCE R.E., "Simulation model development environments: a research prototype", Journal of the Operational Research Society, Vol. 38, n° 8,1987, p. 753-763.
5. [BAL 90] BALCI O., "Guidelines for successful simulation studies", Proceedings of the1990 Winter Simulation Conference, IEEE, Piscataway, N.J.,1990, p. 25-32.
6. [BAL 94] BALCI O., "Validation, verification and testing techniques throughout the life cycle of a simulation study", Annals of Operations Research, Dec.1994.
7. [BAN 88] BANERJEE S.K., AL-MALIKI I., "A Strutured Approach to FMS Modeling", International Journal of Computer Integrated Manufacturing, Vol. 1, n° 2,1988, p. 77-88.
8. [BAN 94] BANKS J., "Software for Simulation", Proceedings of the1994 Winter Simulation Conference,1994, p. 26-33.
9. [BAR 86] BARGER, L.F., NANCE R.E., "Simulation Model Development : System Specification Techniques", Technical Report SRC-86-005, Department of Computer Science, Virginia Tech, Blacksburg, Va.,1986.
10. [BAU 91] BAUMGARTNER H., KNISCHEWSKI K., WIEDING H., CIM : Proposition pour une mise en œuvre de la Productique, Tecknea, Editions SIEMENS,1991.
11. [BRE 95] BREUGNOT D., "Recueil de connaissances et terminologie pour la modélisation des systèmes de production", Meta, Vol. 40, n° 2,1995, p. 284-295.
12. [CAR 89] CARSON J.S., "Verification and Validation : a Consultant's Perspective", Proceedings of the1989 Winter Simulation Conference, Washington, 4-6 Dec.,1989, p. 552-557.
13. [CHE 92] CHEN P.P. "ER vs. OO", Proceedings of the 11th International Conference on the Entity-Relationship Approach - ER' 92, p. 1-2,1992.
14. [COL 93] COLQUHOUN G. J., BAINES R.W., CROSSLEY R., "A State of The Art Review of IDEFO", International Journal of Computer Integrated Manufacturing, 6, n° 4,1993, p. 252-264.
15. [DEA 94] DE ALMEIDA D., GOURGAND M., KELLERT P., "Manufacturing System Modelling with a Markovian Analysis", Proceedings of the European Workshop on Integrated Manufacturing Systems Engineering, Grenoble,1994, p. 347-356.
16. [DEA 95] DE ALMEIDA D., GOURGAND M., KELLERT P., "Performance Evaluation of a JobShop Like Flexible manufacturing System with Minimal Markov Chain", Proceedings of the International Conference on Industrial Engineering and Production System FUCAM, Marrakech,1995, p. 408-418.
17. [DEA 96] DE ALMEIDA D., "Modélisation par réseaux de files d'attente de systèmes de production", Thèse d'Université, Université Blaise Pascal - Clermont-Ferrand II,1996.
18. [DER 89] DERRICK E.J., BALCI O., NANCE R.E., "A Comparaison of selected Conceptual Frameworks for Simulation Modeling", Proceedings of the1989 Winter Simulation Conference, Washington, 4-6 Dec.,1989, p. 711-717.
19. [FOR 92] FORCE C., KELLERT P., "Knowledge Model Building of Manufacturing Systems with SADT", Proceedings of the 8th International Conference on CAD/CAM, Robotics and Factories of the Future (CARs&FOF),1992, p. 355-370.
20. [GOU 84] GOURGAND M., "Outils logiciels pour l'évaluation des performances des systèmes informatiques". Thèse d'état. Université Blaise Pascal - Clermont-Ferrand II.1984.
21. [GOU 92] GOURGAND M., KELLERT P., "Specification and a Priori Modelling of a Flexible Manufacturing System", Manufacturing Systems, Vol. 21, n° 1,1992, p. 45-50.
22. [GOU 93] GOURGAND M., HILL D.R.C., KELLERT P., "A Multi-Domain Tool for Building Object-Oriented Animation Environments for Simulation Results", Proceeding of the 26th Annual Simulation Symposium IEEE/ACM/SCS, Washington,1993, p. 237-246.
23. [GUI 90] GUIHO G., HENNEBERT C., "SACEM Software Validation", Proceeding of the 12th International Conference on Software Engineering, IEEE, Nice,1990.
24. [HEN 83] HENRIKSEN J.O., "The Integrated Simulation Environment (Simulation Software of the1990s", Operations Research, Vol. 31, n° 6,1983, p. 1053-1073.
25. [IFI 96] NERNUS P., NEMES L., Modelling and methodologies for enterprise integration, Editions Chapman & Hall,1996.
26. [JAC 83] JACKSON M., System Development, Editions Prentice-Hall International,1983.
27. [KEL 92] KELLERT P., "Définition et mise en œuvre d'une méthodologie orientée objets pour la modélisation des systèmes de production", Actes du congrès INFORSID 92, Clermont-Ferrand,1992, p. 415-436.
28. [KEL 93] KELLERT P., RUCH S., "Modélisation orientée objets et génération automatique de modèles de simulation pour les systèmes de production", Actes du 4ème Groupement des Systèmes Industriels (GSI4) - 14-17 décembre,1993, p.197-206.
29. [KEL 97] KELLERT P., TCHERNEV N., FORCE C., "Object-Oriented Methodology for FMS Modelling and Simulation",1997, International Journal of Computer Integrated Manufacturing, Vol. 10, n° 6, p. 405-434.
30. [KEL 98] KELLERT P., FORCE C., "Méthodologie de Modélisation Orientée Objet de Systèmes de Production : 2. Application à une Chaîne d'Etuvage de Bobines d'Allumage",1998, Journal Européen des Systèmes Automatisés.
31. [KLE 95] KLEIJNEN J.P.C., "Verification and validation of simulation models", European Journal of Operational Research, 82,1995, p. 145-162.
32. [KNE 93] KNEPELL P.L., ARANGO D.C., "Simulation validation: A confidence assessment methodology", IEEE Computer Society Press, Los Alamitos, CA,1993.
33. [KUS 94] KUSIAK A., LARSON T.N., WANG J.K., "Reengineering of Design and Manufacturing Processes", Computers Ind. Engng, 6, n° 3,1994, p. 521-536.
34. [LAI 97] LAIZE E., "Méthodologie de modélisation de systèmes manufacturiers de pneumatiques : spécification de la connaissance", Thèse d'Université, Université Blaise Pascal - Clermont-Ferrand II,1997.
35. [LAN 83] LANDRY M., MALOUIN J. L., ORAL M., "Model validation in operations research", European Journal of Operational Research, Vol. 14,1983, p. 207-220.
36. [LEM 77] LE MOIGNE J.L., La théorie du système général - Théorie de la modélisation, Editions PUF - Systèmes Décisions, Paris,1977.
37. [LEM 90] LE MOIGNE J.L., La modélisation des systèmes complexes, Editions Dunod, Paris,1990.
38. [LIS 90] LISSANDRE M., Maîtriser SADT, Editions Armand Colin,1990.
39. [MAR 88] MARCA D.A., MCGOWAN C.L., SADT: Structured Analysis and Design Technique, Editions McGraw-Hill Book Company, New York,1988.
40. [MES 70] MESAROVIC M.D., MACKO D., TAKAHARA Y., Theory of Hierarchical, Multilevel, Systems, Editions Academic Press,1970.
41. [MES 90] MESEGUER J., "A Logical Theory of Concurrent Objects", Concur 90 Conference, Editions Springer-Verlag, Amsterdam,1990.
42. [NAN 81] NANCE R.E., "Model representation in discrete event simulation : the conical methodology", Technical Report CS-81003-R, Department of Computer Science, Virginia Tech, Blacksburg, Va.,1981.
43. [NAN 94] NANCE R.E., "Conical Methodology : An Evolutionary Convergence of Systems and Software Engineering", Annals of Operations Research, 53,1994, p. 1-45.
44. [OVE 82] OVERSTREET M.C., "Model specification and analysis for discrete event simulation", PhD Thesis, Virginia Polytechnic Institute,1982.
45. [ROD 89] RODDE G., Les systèmes de production, Editions Hermès,1989.
46. [REM 93] REMBOLD U., NNAJI B.O., STORR A., "Computer Integrated Manufacturing and Engineering", Editions Addison-Wesley,1993.
47. [RUC 93] RUCH S., KELLERT P., "Modélisation Orientée Objets et Génération automatique de Modèles de Simulation pour les Systèmes de Production", Proceeding of the 4th International Congress of Industrial Systems Engineering - GSI4, Marseille,1993, p.197-206.
48. [RUC 94] RUCH S., "Un environnement de modélisation multi-domaine des systèmes à flux discrets", Thèse d'Université, Université Blaise Pascal - Clermont-Ferrand II,1994.
49. [SAR 79] SARGENT R.G., "Validation of simulation models". Proceedings of the1979 Winter Simulation Conference, San Diego, USA,1979, p. 497-503.
50. [SAR 91] SARGENT R.G., "Simulation model verification and validation", Proceedings of the1991 Winter Simulation Conference, Phoenix,1991, p. 37-47.
51. [SAU 81] SAUER C.H., CHANDY K.M., Computer System Performance Modelling, Editions Prentice-Hall, Englewood Cliffs, NJ,1981.
52. [SCH 92] SCHEER W.A., Architecture for integrated information systems, Editions Springer-Verlag, Berlin,1992.
53. [SIG 90] BREUGNOT D., GOURGAND M., KELLERT P., "SIGMA : an intelligent and graphical environment for the modelling of flexible assembly-systems", In Proceedings of the European Simulation Symposium,1990, Gand, Belgique, p. 225-230.
54. e congrès international de génie industriel,1991, p.191-203.
55. [TCH 97] TCHERNEV N., "Modélisation du processus logistique dans les systèmes flexibles de production", Thèse d'Université, Université Blaise Pascal - Clermont-Ferrand H,1997.
56. [VER 96] VERNADAT F.B., Enterprise modelling and integration: principles and applications Editions Chapman & Hall,1996.