Modeling time in computing

Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computingthe 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 ofpropositional 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 twonotations with different characteristics to model and verify complex systems,e.g., model-checking frameworks. Finally, the book concludes with summarizingremarks 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 difficultyand scope. The book is.

• ISBN: 978-3-642-32331-7
• Editorial: Springer
• Encuadernacion: Cartoné
• Páginas: 420
• Fecha Publicación: 30/09/2012
• Nº Volúmenes: 1
• Idioma: Inglés