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.
“…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).…”
Section: Formal Definition Of a Systemmentioning
confidence: 99%
“…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…”
“…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).…”
Section: Formal Definition Of a Systemmentioning
confidence: 99%
“…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…”
“…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.…”
Section: Introductionmentioning
confidence: 99%
“…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.…”
Section: Introductionmentioning
confidence: 99%
“…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.…”
In our previous work on business process, we have provided the foundation for formalization based on the environment concept. The environment is defined as a set of observers whose values change according to the actions of tasks. From their values, observers are grouped to form a set of states. A state is defined as the characteristic of an environment from which the satisfaction of the goal associated to the business process is checked. In this paper, based on Denotational Semantics, we will highlight the semantics core features used in our modeling approach. By applying the resulting models in daily work, enterprises will improve their productivity and quality of service in order to deal with the competitive pressure of the network economy.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.