Title :
Conceptual Modeling Semantics for the Physical-Informatical Essence Duality Problem
Author :
Mordecai, Yaniv ; Chapman, Craig ; Dori, Dov
Author_Institution :
Fac. of Ind. & Manage. Eng., Technion - Israel Inst. of Technol., Haifa, Israel
Abstract :
Physical-Informatical Essence Duality (PIED) is the parallel existence of an entity as both an independent, mostly physical object, and its informatical representation. System models tend to neglect or ignore this dual representation and the two parallel manifestations of model entities. This may result in erroneous modeling and realization, as representations can be partial and mistaken. Agent perception or capturing of an entity of interest is fundamental to the way it affects or interacts with the entity. The problem intensifies in models of complex systems and systems of systems, which must account for original embodiments and their multiple representations by various agents. This paper proposes a formal model-based approach and theory for detecting, capturing, representing, and controlling this physical-informatical duality in system models. We illustrate the proposed semantics via formal object-oriented epistemic logic semantics and via Object-Process Methodology (OPM), the emerging ISO 19450 standard for Model-based Systems Engineering.
Keywords :
ISO standards; duality (mathematics); formal specification; large-scale systems; multi-agent systems; object-oriented methods; semantic networks; systems engineering; ISO 19450 standard; OPM; PIED; agent perception; complex systems; conceptual modeling semantics; dual representation; formal model-based approach; formal object-oriented epistemic logic semantics; informatical representation; model entity; model-based systems engineering; object-process methodology; physical-informatical duality; physical-informatical essence duality problem; system models; systems of systems; Bridges; Knowledge based systems; Object oriented modeling; Semantics; Sensors; Unified modeling language; Agent-Oriented Architecture; Epistemic Logic; Informatics; Knowledge Representation; Model-Based Systems Engineering; Object-Process Methodology; Physical-Informatical Essence Duality;
Conference_Titel :
Systems, Man, and Cybernetics (SMC), 2013 IEEE International Conference on
Conference_Location :
Manchester
DOI :
10.1109/SMC.2013.766