Formal Languages for Computer Simulation: Transdisciplinary Models and Applications

Formal Languages for Computer Simulation: Transdisciplinary Models and Applications

Pau Fonseca i Casas (Universitat Politècnica de Catalunya - BarcelonaTech, Spain)
Release Date: July, 2013|Copyright: © 2014 |Pages: 458
ISBN13: 9781466643697|ISBN10: 1466643692|EISBN13: 9781466643703|DOI: 10.4018/978-1-4666-4369-7


Models and simulations are an important first step in developing computer applications to solve real-world problems. However, in order to be truly effective, computer programmers must use formal modeling languages to evaluate these simulations.

Formal Languages for Computer Simulation: Transdisciplinary Models and Applications investigates a variety of programming languages used in validating and verifying models in order to assist in their eventual implementation. This book will explore different methods of evaluating and formalizing simulation models, enabling computer and industrial engineers, mathematicians, and students working with computer simulations to thoroughly understand the progression from simulation to product, improving the overall effectiveness of modeling systems.

Topics Covered

  • Discrete Event System Specification
  • Forrester Diagrams
  • Mapping Techniques
  • Petri nets
  • Simulation Tools
  • Specification and Description Languages
  • Transformation Algorithms
  • Unified modeling language

Reviews and Testimonials

The programming languages used in validating and verifying models play a central role in the study and implementation of simulation models. In this book, the authors describe several methods used in the evaluation and formalization of simulation models oriented to a wide spectrum of application areas. [...] The two first chapters make an excellent and agile introduction to the simulation modeling and formalisms. The next chapters are focused in the presentation of specific methodologies and interesting case studies.

Highly recommended for advanced undergraduate courses and PhD students in Computer Sciences. Some parts of the book are also very interesting and valuable for Business and Management Science experts.

– Dr. Ignacio Ponzoni, Department of Computer Science and Engineering, Universidad Nacional del Sur (Bahía Blanca, Argentina)

Table of Contents and List of Contributors

Search this Book:
Editorial Advisory Board
Table of Contents
Pau Fonseca i Casas
Chapter 1
Antoni Guasch, Jaume Figueras, Josep Casanovas
Petri nets are used by our students as a formal modeling technique before building a working simulation model in Arena or Simio. The Petri net model... Sample PDF
Conceptual Modeling Using Petri Nets
Chapter 2
Marisa A. Sánchez
The purpose of this chapter is to provide an overview of System Dynamics modeling and to highlight its potential as a tool for system´s... Sample PDF
Modeling for System´s Understanding
Chapter 3
The DEVS Formalism  (pages 62-102)
Rhys Goldstein, Gabriel A. Wainer, Azam Khan
The DEVS formalism is a set of conventions introduced in 1976 for the specification of discrete event simulation models. This chapter explains the... Sample PDF
The DEVS Formalism
Chapter 4
Alejandro Moreno Astorga, José L. Risco-Martín, Eva Besada-Portas, Luís de la Torre, Joaquín Aranda
The MIPS processor is used in computer architecture courses in order to explain matters such as performance analysis, energy consumption, and... Sample PDF
Thermal Analysis of the MIPS Processor Formulated within DEVS Conventions
Chapter 5
Pau Fonseca i Casas
Designing a new simulation model usually involves the participation of personnel with different knowledge of the system and with diverse formations.... Sample PDF
Specification and Description Language for Discrete Simulation
Chapter 6
Jorge Leiva Olmos, Pau Fonseca i Casas, Jordi Ocaña Rebull
In this chapter, the authors present a formal model of the Anesthesia Unit and Surgical Wards (UAPQ) of a Chilean hospital. The objective was to... Sample PDF
Modeling a Chilean Hospital Using Specification and Description Language
Chapter 7
Mouez Ali, Hanene Ben-Abdallah, Faïez Gargouri
To capture and analyze the functional requirements of an information system, UML and the Unified Process (UP) propose the use case and sequence... Sample PDF
Formal Consistency Verification of UML Requirement and Analysis Models
Chapter 8
Anargyros Tsadimas, Mara Nikolaidou, Dimosthenis Anagnostopoulos
Model-based system design is served by a single, multi-layered model supporting all design activities, in different levels of detail. SysML is a... Sample PDF
Model-Based System Design Using SysML: The Role of the Evaluation Diagram
Chapter 9
Oliver Schönherr, Falk Stefan Pappert, Oliver Rose
In this chapter, the authors present an approach for developing a simulation-tool-independent description of manufacturing systems and how to... Sample PDF
Domain Specific Simulation Modeling with SysML and Model-to-Model Transformation for Discrete Processes
Chapter 10
G.-D. Kapos, V. Dalakas, M. Nikolaidou, D. Anagnostopoulos
System models validation is an important engineering activity of the system development life-cycle, usually performed via simulation. However... Sample PDF
An Integrated Framework to Simulate SysML Models Using DEVS Simulators
Chapter 11
Cristina Montañola-Sales, Xavier Rubio-Campillo, José M. Cela-Espin, Josep Casanovas-Garcia, Adriana Kaplan-Marcusan
The use of agent-based modelling and simulation techniques in the social sciences has flourished in the recent decades. The main reason is that the... Sample PDF
Overview on Agent-Based Social Modelling and the Use of Formal Languages
Chapter 12
Bhakti S. S. Onggo
Conceptual modelling is the process of abstracting a model from a real or proposed system into a conceptual model. An explicit conceptual model... Sample PDF
Agent-Based Simulation Model Representation Using BPMN
About the Contributors

Author(s)/Editor(s) Biography

Pau Fonseca i Casas is a Professor of the Department of Statistics and Operational research of the Polytechnic University of Catalonia, teaching in Statistics and Simulation areas. He obtained his master degree in computer engineering on 1999 and his Ph.D. on 2007 from Polytechnic University of Catalonia. He also works in the InLab FIB as a head of the Environmental Simulation area, developing Simulation projects since 1998. He is member of LogiSim group, dedicated to the research and development of simulation tools and projects. His website is His research interests are discrete simulation applied to industrial, environmental and social models, and the formal representation of such models.