• DocumentCode
    678132
  • 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
  • fYear
    2013
  • fDate
    13-16 Oct. 2013
  • Firstpage
    4505
  • Lastpage
    4510
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Systems, Man, and Cybernetics (SMC), 2013 IEEE International Conference on
  • Conference_Location
    Manchester
  • Type

    conf

  • DOI
    10.1109/SMC.2013.766
  • Filename
    6722521