scholarly journals A conceptual framework for the modelling and simulation of social systems

DYNA ◽  
2020 ◽  
Vol 87 (212) ◽  
pp. 189-198
Author(s):  
Gabriel Awad ◽  
Hernán Darío ÁLVAREZ ZAPATA
Keyword(s):  
Conceptual Framework ◽  
Social Systems ◽  
Discrete Event ◽  
Modelling And Simulation ◽  
System Specification ◽  
Modelling Language ◽  
Event System ◽  
Systems Modelling ◽  
Devs Formalism ◽  
Critical Literature

This paper presents a conceptual framework for the modelling and simulation of properties, interactions and processes of social systems based on computational templates using discrete event system specification (DEVS) formalism and OMG Systems Modelling Language (SysML) diagrams. No antecedents of this combination were found in the literature, and so this is one of the contributions of this paper. Additionally, this article explains how the principles and rules of SysML can be applied to the analysis of social systems. An example of the proposed framework based on a basic Agent_Zero model is shown. The conceptual framework was built based on a critical literature review, and included new additional elements to create a complete but simple conceptual framework. The codes for the simulations were written in Python 3.

The high level language for system specification: A model-driven approach to systems engineering

2016 ◽  
Vol 07 (01) ◽  
pp. 1641003 ◽  
Author(s):  
Hamzat Olanrewaju Aliyu ◽  
Oumar Maïga ◽  
Mamadou Kaba Traoré
Keyword(s):  
Systems Engineering ◽  
Discrete Event ◽  
Discrete Event System ◽  
High Level Language ◽  
System Specification ◽  
Model Driven ◽  
Event System ◽  
Visual Formalisms ◽  
Devs Formalism ◽  
High Level

We present HiLLS (High Level Language for System Specification), a graphical formalism that allows to specify Discrete Event System (DES) models for analysis using methodologies like simulation, formal methods and enactment. HiLLS’ syntax is built from the integration of concepts from System Theory and Software Engineering aided by simple concrete notations to describe the structural and behavioral aspects of DESs. This paper provides the syntax of HiLLS and its simulation semantics which is based on the Discrete Event System Specification (DEVS) formalism. From DEVS-based Modeling and Simulation (M&S) perspective, HiLLS is a platform-independent visual language with generic expressions that can serve as a front-end for most existing DEVS-based simulation environments with the aid of Model-Driven Engineering (MDE) techniques. It also suggests ways to fill some gaps in existing DEVS-based visual formalisms that inhibit complete specification of the behavior of complex DESs. We provide a case study to illustrate the core features of the language.

scholarly journals Specification of dynamic structure discrete event systems using single point encapsulated control functions

2014 ◽  
Vol 05 (03) ◽  
pp. 1450012 ◽  
Author(s):  
Alexandre Muzy ◽  
Bernard P. Zeigler
Keyword(s):  
Discrete Event Systems ◽  
Single Point ◽  
Discrete Event ◽  
Dynamic Structure ◽  
System Specification ◽  
Discrete Event System Specification ◽  
Usual Definition ◽  
Control Functions ◽  
Event System ◽  
Structure Changes

In Discrete Event System Specification (DEVS), the dynamics of a network is constituted only by the dynamics of its basic components. The state of each component is fully encapsulated. Control in the network is fully decentralized to each component. At dynamic structure level, DEVS should permit the same level of decentralization. However, it is hard to ensure structure consistency while letting all components achieve structure changes. Besides, this solution can be complex to implement. To avoid these difficulties, usual dynamic structure approaches ensure structure consistency allowing structure changes to be done only by the network having newly added dynamics change capabilities. This is a safe and simple way to achieve dynamic structure. However, it should be possible to simply allow components of a network to modify the structure of their network, other components and/or their own structure — without having to modify the usual definition a DEVS network. In this manuscript, it is shown that a simple fully decentralized approach is possible while ensuring full modularity and structure consistency.

scholarly journals A DSDEVS-Based Model for Verifying Structural Constraints in Dynamic Business Processes

2020 ◽  
Vol 44 (2) ◽  
pp. 257-273
Author(s):  
Sofiane Boukelkoul ◽  
Ramdane Maamri
Keyword(s):  
Business Processes ◽  
Discrete Event ◽  
Dynamic Structure ◽  
Discrete Event System ◽  
Structural Constraints ◽  
System Specification ◽  
Discrete Event System Specification ◽  
Event System ◽  
Proposed Model ◽  
Structure Properties

This paper presents a DSDEVS-based model “Dynamic Structure Discrete Event System specification” for modeling and simulating business processes with dynamic structure regarding to different contexts. Consequently, this model, formally, improves the reuse of configurable business processes. Thus, the proposed model allows the analysts to personalize their configurable business processes in a sound manner by verifying a set of structure properties, such as, the lack of synchronization and the deadlock by means of simulation. The implementation was done in DEVS-Suite simulator, which is based on DEVSJAVA models.

scholarly journals Multi-Perspective Modeling of Healthcare Systems

2017 ◽  
Vol 5 (2) ◽  
pp. 1-20 ◽  
Author(s):  
Ignace Djitog ◽  
Hamzat Olanrewaju Aliyu ◽  
Mamadou Kaba Traoré
Keyword(s):  
Specific Problem ◽  
Discrete Event ◽  
Healthcare Systems ◽  
Proof Of Concept ◽  
System Specification ◽  
Disease Propagation ◽  
Dynamic Update ◽  
Event System ◽  
Simulation Based

This paper presents a multi-perspective approach to Modeling and Simulation (M&S) of Healthcare Systems (HS) such that different perspectives are defined and integrated together. The interactions between the isolated perspectives are done through dynamic update of models output-to-parameter integration during concurrent simulations. Most often, simulation-based studies of HS in the literature focus on specific problem like allocation of resources, disease propagation, and population dynamics that are studied with constant parameters from their respective experimental frames throughout the simulation. The proposed idea provides a closer representation of the real situation and helps to capture the interactions between seemingly independent concerns - and the effects of such interactions - in simulation results. The article provides a DEVS (Discrete Event System Specification)-based formalization of the loose integration of the different perspectives, an Object-Oriented framework for its realization and a case study as illustration and proof of concept.

Sign in / Sign up

Export Citation Format

Share Document