Results 1 
7 of
7
Modeling of Complex Systems II: A minimalist and unified semantics for heterogeneous integrated systems
"... The purpose of this paper is to contribute to a unified formal framework for complex systems modeling. To this aim, we define a unified semantics for systems including integration operators. We consider complex systems as functional blackboxes (with internal states), whose structure and behaviors ca ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
(Show Context)
The purpose of this paper is to contribute to a unified formal framework for complex systems modeling. To this aim, we define a unified semantics for systems including integration operators. We consider complex systems as functional blackboxes (with internal states), whose structure and behaviors can be constructed through a recursive integration of heterogeneous components. We first introduce formal definitions of time (allowing to deal uniformly with both continuous and discrete times) and data (allowing to handle heterogeneous data), and introduce a generic synchronization mechanism for dataflows. We then define a system as a mathematical object characterized by coupled functional and states behaviors. This definition is expressive enough to capture the functional behavior of any real system with sequential transitions. We finally provide formal operators for integrating systems and show that they are consistent with the classical
A Denotational Semantics Methodology (DSM) Approach for Business Processes Modeling
"... 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 st ..."
Abstract
 Add to MetaCart
(Show Context)
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.
Systems Engineering Systems integration Timed Mealy machine Hybrid time
"... Nonstandard analysis states), whose structure and behaviors can be constructed through a recursive integration of heterogeneous components. We first introduce formal definitions of time (allowing to has le control theory and physics, that deal with systems as partial functions (dynamical systems m ..."
Abstract
 Add to MetaCart
(Show Context)
Nonstandard analysis states), whose structure and behaviors can be constructed through a recursive integration of heterogeneous components. We first introduce formal definitions of time (allowing to has le control theory and physics, that deal with systems as partial functions (dynamical systems may also be rewritten in this way), called transfer functions, of the form: 8t 2 T; yðtÞ Fðx; q; tÞ;
ATSERO Method: A Guideline for Business Process and Workflow Modeling within an Enterprise
, 2011
"... In the fields of business process and workflows modeling, a wide range of techniques have been defined and used. Despite the popularity of some of them, there is no consensus on the modeling standards and concepts. However, there are many perspectives that need to be taken into consideration for a ..."
Abstract
 Add to MetaCart
In the fields of business process and workflows modeling, a wide range of techniques have been defined and used. Despite the popularity of some of them, there is no consensus on the modeling standards and concepts. However, there are many perspectives that need to be taken into consideration for a better management of workflows within an enterprise such as process, organization, information, operation and the quality of service. In this paper, a new approach, so called ATSERO Method, is proposed. The method is based on Formal Method, Domain and Requirement Engineering, is presented. This method describes several salient concepts inherent in the understanding of these perspectives. This method may be considered as a guideline in business process and workflow modeling and also allows organizations to deal with the competitive pressure of the network economy and to improve the quality of service for the satisfaction of different stakeholders.
Optimal technological architecture evolutions of Information Systems
"... We discuss a problem arising in the strategic management of IT enterprises: that of replacing some existing services with new services without impairing operations. We formalize the problem by means of a Mathematical Programming formulation of the MixedInteger Nonlinear Programming class and show ..."
Abstract
 Add to MetaCart
(Show Context)
We discuss a problem arising in the strategic management of IT enterprises: that of replacing some existing services with new services without impairing operations. We formalize the problem by means of a Mathematical Programming formulation of the MixedInteger Nonlinear Programming class and show it can be solved to a satisfactory optimality approximation guarantee by means of existing offtheshelf software tools.
Contents
"... Abstract. We develop a unified functional formalism for modelling complex systems, that is to say systems that are composed of a number of heterogeneous components, including typically software and physical devices. Our approach relies on nonstandard analysis that allows us to model continuous time ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract. We develop a unified functional formalism for modelling complex systems, that is to say systems that are composed of a number of heterogeneous components, including typically software and physical devices. Our approach relies on nonstandard analysis that allows us to model continuous time in a discrete way. Systems are defined as generalized Turing machines with temporized input, internal and output mechanisms. Behaviors of systems are represented by transfer functions. A transfer function is said to be implementable if it is associated with a system. This notion leads us to define a new classwhich is natural in our framework of computable functions on (usual) real numbers. We show that our definitions are robust: on one hand, the class of implementable transfer functions is closed under composition; on the other hand, the class of computable functions in our meaning includes analytical functions whose coefficients are computable in the usual way, and is closed under addition, multiplication, differentiation and integration. Our class of computable functions also includes solutions of dynamical and Hamiltonian systems defined by computable functions. Hence,