+612 9045 4394
 
CHECKOUT
Transformation-Based Reactive Systems Development : 4th International Amast Workshop on Real-Time Systems and Concurrent and Distributed Software, Arts'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings - Miquel Bertran

Transformation-Based Reactive Systems Development

4th International Amast Workshop on Real-Time Systems and Concurrent and Distributed Software, Arts'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings

By: Miquel Bertran (Editor), Teodor Rus (Editor)

Paperback

Published: 7th May 1997
Ships: 5 to 9 business days
5 to 9 business days
$147.02
or 4 easy payments of $36.76 with Learn more
if ordered within

This book constitutes the refereed proceedings of the Fourth International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, held in Palma de Mallorca, Spain, in May 1997.
The volume presents 24 carefully selected revised full papers. Also included are two historical contributions honoring Ramon Llull, who was born on Mallorca, as well as two invited papers. All current issues in the field of formal methods for real-time systems and distributed and concurrent systems are addressed.

What Was Llull Up To?p. 1
Llull as Computer Scientist or Why Llull Was One of Usp. 15
Deductive Verification of Real-Time Systems Using STePp. 22
Refinement of Timep. 44
The Verus Language: Representing Time Efficiently with BDDsp. 64
Refining Interval Temporal Logic Specificationsp. 79
Integrating Temporal Logics and Model Checking Algorithmsp. 95
PLC-Automata: A New Class of Implementable Real-Time Automatap. 111
Communication Concepts for Statecharts: A Semantic Foundationp. 126
Regular Processes and Timed Automatap. 141
A Visual Formalism for Real-Time Requirement Specificationsp. 156
Formal Specification and Verification Method of Concurrent and Distributed Systems by Restricted Timed Automatap. 169
Transformational Formal Development of Real-Time Systemsp. 184
A Transformation of Monitor into Communication Synchronized Parallel Processes: A Systematic Refinement Step in Designp. 199
Contracts for ODPp. 216
Affine Transformations in SIGNAL and Their Application in the Specification and Validation of Real-Time Systemsp. 233
Action-Based Concurrency and Synchronization for Objectsp. 248
Communication Extended Abstract Types in the Refinement of Parallel Communicating Processesp. 263
Verification and Refinement of Distributed Programs in a Fair Frameworkp. 280
Formalizing Real-Time Scheduling as Program Refinementp. 295
Specification and Refinement of Continuous Real-Time Systemsp. 310
High-Level Execution Time Analysisp. 325
A Sound and Complete Proof System for Probabilistic Processesp. 340
Testing Semantics for a Probabilistic-Timed Process Algebrap. 353
Denotational Semantics for Time Testingp. 368
Extending LOTOS with Time: A True Concurrency Perspectivep. 383
Introduction of a Suspend/Resume Operator in ET-LOTOSp. 400
Specification and Verification of Real-Time Field Bus with Formal Description Languagesp. 415
Author Indexp. 431
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540630104
ISBN-10: 3540630104
Series: Lecture Notes in Physics,
Audience: General
Format: Paperback
Language: English
Number Of Pages: 429
Published: 7th May 1997
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.31
Weight (kg): 0.63