Modeling Time in Computing

  • Carlo A. Furia
  • Dino Mandrioli
  • Angelo Morzenti
  • Matteo Rossi

Table of contents

  1. Front Matter
    Pages i-xvi
  2. Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
    Pages 1-7
  3. Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
    Pages 9-26
  4. Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
    Pages 27-57
  5. Historical Approaches

    1. Front Matter
      Pages 59-59
    2. Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
      Pages 61-79
    3. Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
      Pages 81-102
    4. Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
      Pages 103-149
  6. Temporal Models in Modern Theory and Practice

    1. Front Matter
      Pages 151-152
    2. Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
      Pages 153-207
    3. Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
      Pages 209-247
    4. Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
      Pages 249-323
    5. Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
      Pages 325-363
    6. Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
      Pages 365-407
    7. Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
      Pages 409-414
  7. Back Matter
    Pages 415-423

About this book

Introduction

Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic thorough presentation of the results of several decades of research on developing, analyzing, and applying time models to computing and engineering. 

After an opening motivation introducing the topics, structure and goals, the authors introduce the notions of formalism and model in general terms along with some of their fundamental classification criteria. In doing so they present the fundamentals of propositional and predicate logic, and essential issues that arise when modeling time across all types of system. Part I is a summary of the models that are traditional in engineering and the natural sciences, including fundamental computer science: dynamical systems and control theory; hardware design; and software algorithmic and complexity analysis. Part II covers advanced and specialized formalisms dealing with time modeling in heterogeneous software-intensive systems: formalisms that share finite state machines as common “ancestors”; Petri nets in many variants; notations based on mathematical logic, such as temporal logic; process algebras; and “dual-language approaches” combining two notations with different characteristics to model and verify complex systems, e.g., model-checking frameworks. Finally, the book concludes with summarizing remarks and hints towards future developments and open challenges. The presentation uses a rigorous, yet not overly technical, style, appropriate for readers with heterogeneous backgrounds, and each chapter is supplemented with detailed bibliographic remarks and carefully chosen exercises of varying difficulty and scope.

The book is aimed at graduate students and researchers in computer science, while researchers and practitioners in other scientific and engineering disciplines interested in time modeling with a computational flavor will also find the book of value, and the comparative and conceptual approach makes this a valuable introduction for non-experts. The authors assume a basic knowledge of calculus, probability theory, algorithms, and programming, while a more advanced knowledge of automata, formal languages, and mathematical logic is useful.

Keywords

Petri nets abstract machines algebraic formalisms algorithms dynamical systems hardware logic modeling temporal models time

Authors and affiliations

  • Carlo A. Furia
    • 1
  • Dino Mandrioli
    • 2
  • Angelo Morzenti
    • 3
  • Matteo Rossi
    • 4
  1. 1., Dept. of Computer ScienceETH Zürich RZ J4ZürichSwitzerland
  2. 2., Dipartimento di ElettronicaPolitecnico di MilanoMilanItaly
  3. 3., Dipartimento di ElettronicaPolitecnico di MilanoMilanItaly
  4. 4., Dipartimento di ElettronicaPolitecnico di MilanoMilanItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-32332-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-32331-7
  • Online ISBN 978-3-642-32332-4
  • Series Print ISSN 1431-2654
  • About this book