Modelling of Complex Software Systems: A Reasoned Overview

Abstract

Abstract. This paper is devoted to the presentation of the key concepts on which a mathematical theory of complex (industrial) systems can be based. We especially show how this formal framework can capture the realness of modern information technologies. We also present some new modelling problems that are naturally emerging in the specific context of complex software systems.

Modeling of complex systems II: A minimalist and unified semantics for heterogeneous integrated systems

“…20 The introduction of time is a fundamental difference as it makes it possible to use hybrid times (and corresponding heterogeneous systems) and to define synchronizations between different systems. 21 Buffers of the system can be defined inside the system itself. 22 Defining the product of 2 systems with different time scales as a system requires to define them on a shared time scale, what perturbates the initial time scale of each system and makes it impossible to define a step by step behavior of the resulting system without knowledge of time (or without introducing tricky states to "count" the number of moments).…”

“…One speaks for instance of dynamical, mechanical, Hamiltonian, hybrid, holonomic, embedded, concurrent or distributed systems (cf. [2,4,21,24,28,32]). A minimalist fuzzy definition consistent with (almost) all…”

A Denotational Semantics Methodology (DSM) Approach for Business Processes Modeling

“…Such research effort could practically help organizations to better master their structures and processes. In this regard, we have defined in [9,11,8] a framework that can be used as a starting point of the standardization of BPM. This approach, based on the concept of environment, allows capturing various abstractions of the perspectives defined above.…”

“…To refine our model, we will use the Denotational Semantics to express the semantics of concepts defined in [8]. Denotational Semantics has traditionally been described as the theory of what programs denote.…”

“…This presupposes that the ontological status of the domain, business process in our case, is firmly established. This ontology has been defined in [8,10]. There has always been an alternative viewpoint in which Denotational Semantics is seen as a translation from one formalism into another in order to gain new insight into the object under consideration.…”