Towards a representation of environmenal models using specification and description language: from the fibonacci model to a wildfire model

In this paper we explore how we can use Specification and Description Language (SDL) to represent environmental models. Since the main concern in this kind of models is the representation of the geographical information data, we analyze how we can represent this information in the SDL diagrams. We base our approach using two examples, a representation of the Fibonacci function using a cellular automaton, and the representation of a wildfire model. To achieve this we propose the use of a language extension to Specification and Description Language. This allows the simplification of the representation of cellular automatons. Thanks this we can define the behavior of environmental models in a graphical way allowing its complete and unambiguous description. SDL is a modern object oriented formalism that allows the definition of distributed systems. It has focused on the modeling of reactive, state/event driven systems, and has been standardized by the International Telecommunications Union (ITU) in the Z.100.Postprint (published version

Iterchanging Discrete Event Simulationprocess Interaction Modelsusing The Web Ontology Language - Owl

Discrete event simulation development requires significant investments in time and resources. Descriptions of discrete event simulation models are associated with world views, including the process interaction orientation. Historically, these models have been encoded using high-level programming languages or special purpose, typically vendor-specific, simulation languages. These approaches complicate simulation model reuse and interchange. The current document-centric World Wide Web is evolving into a Semantic Web that communicates information using ontologies. The Web Ontology Language OWL, was used to encode a Process Interaction Modeling Ontology for Discrete Event Simulations (PIMODES). The PIMODES ontology was developed using ontology engineering processes. Software was developed to demonstrate the feasibility of interchanging models from commercial simulation packages using PIMODES as an intermediate representation. The purpose of PIMODES is to provide a vendor-neutral open representation to support model interchange. Model interchange enables reuse and provides an opportunity to improve simulation quality, reduce development costs, and reduce development times

Discrete-Event Simulation Data Transformation: A Model-Driven Data Integration Approach

Achieving a smooth production system is a complex process that requires the use of commercial discrete event simulation (DES) tools to provide a high flexibility production process, for instance the use of simulation modelling to model a production system. These tools require high levels of cooperation to work together because they are not designed to be integrated and hardly share their data. This research aims to integrate DES tools applied by different manufacturing systems in order to enable them to share their data. This thesis presents data integration from a simulation model point of view because it views data integration between different DES tools models as key steps towards system integration. A new approach has been developed which is called a Model-Driven Data Integration Approach (MDDI), so named because the integration involves the combination of data from different DES tools model sources. The effectiveness of this data integration approach has been demonstrated in a case study undertaken for DES design of a phone production line in the manufacturing industry. However, the application of the MDDI is not limited to this case study: it can also be used for other system and applications. The MDDI approach was tested and evaluated on the basis of this case study. These test cases simulated how the data integration based on different DES tools’ models react to the process of data sharing as they occur in the manufacturing production line. The result is that the MDDI approach best maintains data consistency and integrity and can be adopted by different industries

Toward composing variable structure models and their interfaces: a case of intensional coupling definitions

In this thesis, we investigate a combination of traditional component-based and variable structure modeling. The focus is on a structural consistent specification of couplings in modular, hierarchical models with a variable structure. For this, we exploitintensional definitions, as known from logic, and introduce a novel intensional coupling definition, which allows a concise yet expressive specification of complex communication and interaction patterns in static as well as variable structure models, without the need to worryabout structural consistency.In der Arbeit untersuchen wir ein Zusammenbringen von klassischer komponenten-basierter und variabler Strukturmodellierung. Der Fokus liegt dabei auf der Spezifikation von strukturkonsistenten Kopplungen in modular-hierarchischen Modellen mit einer variablen Struktur. Dafür nutzen wir intensionale Definitionen, wie sie aus der Logik bekannt sind, und führen ein neuartiges Konzept von intensionalen Kopplungen ein, welches kompakte gleichzeitig ausdrucksstarke Spezifikationen von komplexen Kommunikations- und Interaktionsmuster in statischen und variablen Strukturmodellen erlaubt