Shopping Cart | Login | Register | Language: English
Formal Languages for Computer Simulation: Transdisciplinary Models and Applications
Buy Hardcover + Free E-Access
List Price: $165.00
You Save: $33.00
20% Online Bookstore Discount*
I will be using e-access as an:
In Stock. Have the hardcover format as soon as Dec. 3 with express shipping*. Free instant online e-access upon order completion.

Formal Languages for Computer Simulation: Transdisciplinary Models and Applications

Release Date: July, 2013. Copyright © 2014. 458 pages.
Hardcover + Free E-Access:
List Price: $165.00
E-Access +
Free Hardcover:
List Price: $165.00
Free Lifetime E-Access with Hardcover Purchase
IGI Global is now offering Free Lifetime E-Access with Print Purchase of any book or journal subscription. In addition to the print copy purchased, this unprecedented offer provides libraries and individuals alike the ability to access the purchased publication through the award winning InfoSci® platform. The InfoSci® platform offers unlimited simultaneous access to full HTML and PDF viewing with the ability to save, print, copy, and paste! No hidden fees! No limitations! Learn More.

Immediate e-access available to existing InfoSci® customers. New customers will be provided access within 48 hours from purchase.
ISBN13: 9781466643697|ISBN10: 1466643692|EISBN13: 9781466643703|
DOI: 10.4018/978-1-4666-4369-7
Cite Book


Fonseca i Casas, Pau. "Formal Languages for Computer Simulation: Transdisciplinary Models and Applications." IGI Global, 2014. 1-458. Web. 29 Nov. 2015. doi:10.4018/978-1-4666-4369-7


Fonseca i Casas, P. (2014). Formal Languages for Computer Simulation: Transdisciplinary Models and Applications (pp. 1-458). Hershey, PA: IGI Global. doi:10.4018/978-1-4666-4369-7


Fonseca i Casas, Pau. "Formal Languages for Computer Simulation: Transdisciplinary Models and Applications." 1-458 (2014), accessed November 29, 2015. doi:10.4018/978-1-4666-4369-7

Export Reference

Access on Platform
Browse by Subject


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.


Table of Contents and List of Contributors

Search this Book: Reset
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
List Price: $37.50
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
List Price: $37.50
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
List Price: $37.50
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
List Price: $37.50
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
List Price: $37.50
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
List Price: $37.50
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
List Price: $37.50
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
List Price: $37.50
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
List Price: $37.50
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
List Price: $37.50
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
List Price: $37.50
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
List Price: $37.50
About the Contributors

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)

Topics Covered

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

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.