Emergency and crisis response such as appearing in large traffic accident management involves coordination of emergency and rescue services and police. The management of information is a complex task where decision support on site and distance management requires a well-founded understanding of the underlying processes. The Business Process Modeling Notation (BPMN) is used for encoding processes related to emergency medical services. BPMN is basically a syntax where the semantic part is left to be specified by the applications. Our approach to semantics is drawn from categorical approaches to representing signatures and generalized terms. In particular, monads over Set, the category of sets, composed with the term monad (over Set) turn out to be useful for modeling uncertainties both with respect to representation of observations as well as time. BPMN Flow Objects, Connecting Objects as well as Artifacts are represented as suitable morphisms in the underlying categories enabled by the monadic instrumentation.
In this paper we propose a logical enrichment DSM so that design structure is described in a logical language rather than as an unstructured relation. We further show how DSM potentially can embrace languages and notations that support modelling of information and process.
System-of-systems engineering and related models of engineering design require intertwining of structures, respectively, at least for components in products, engineering and business activities, and people involved in those activities as also specifically connected with production and its management. In this paper we describe the logical machinery of system-of-systems engineering and related models of engineering design in sufficient so as to enable to describe the algebraic foundation of the many-valued logic that is inherent in these systems and structures. We are thus essentially unravelling the hidden and underlying logic of these systems and their related information and process structures, focusing on interaction between elements of the system.
In this paper we use electrical grids and the energy market as a system-ofsystems example including both digital twins simulating physical systems as well as energy distribution and the market constrained by laws and regulations. We show how activity processes and design structures can be viewed as having a common qualification modeling framework based on lattice-valuations. BPMN networks to are shown to resemblance DSM structures.
In this paper we propose an information structure enrichment of relational models underlying design structure models typically used in System-ofSystems. Such design structures are algebraically, logically and topologically mostly unstructured relations as treated within naïve set theory. The paper also aims to show how an enriched information structure can be applied to monitor the health status of a System-of-System as an alternative to fault trees.