Formal modeling and analysis of complex systems with conceptual graphs: application to modeling an enterprise

التفاصيل البيبلوغرافية
العنوان: Formal modeling and analysis of complex systems with conceptual graphs: application to modeling an enterprise
المؤلفون: F. Prunet, B.K. Foguem, V. Chapurlat
المصدر: CCECE 2003 - Canadian Conference on Electrical and Computer Engineering. Toward a Caring and Humane Technology (Cat. No.03CH37436).
بيانات النشر: IEEE, 2004.
سنة النشر: 2004
مصطلحات موضوعية: Computer science, business.industry, Management science, media_common.quotation_subject, Complex system, Graph theory, Body of knowledge, Knowledge-based systems, Formalism (philosophy of mathematics), Conceptual graph, Ontology, Conceptual model, Software engineering, business, Formal science, media_common
الوصف: Complex industrial systems are constantly changing and their configuration has to evolve with the rhythm of their environment. It appears relevant to us to elaborate a formal process permitting the specification to prove the properties of these systems in order to better perceive, understand and anticipate these evolutions. With this intention, the characteristic properties of an internal organisation and the behaviour of a system are modeled using conceptual graphs. The formalism of representation offers the possibility to structure the ontology of the modeling field, to construct a body of knowledge of a given system and to provide the formal tools which permit the user to carry out reasoning aiming in particular at anticipating the consequences of the projects and possible actions. Moreover, this approach provides support for modeling and analysis of the ideas emerging for establishing the bond between the observed collective behaviours and the mechanisms of their production from the interactions within the elements of the system.
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::bccf55d232d1be0c147b5441ab0a5ac2
https://doi.org/10.1109/ccece.2003.1226241
رقم الأكسشن: edsair.doi...........bccf55d232d1be0c147b5441ab0a5ac2
قاعدة البيانات: OpenAIRE