Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004

ISBN-13: 9783540220947 / Angielski / Miękka / 2004 / 240 str.

W> Zimmermann; Wolf Zimmermann; Bernhard Thalheim

Opis

This book constitutes the refereed proceedings of the 11th International Workshop on Abstract State Machines, ASM 2004, held in Lutherstadt Wittenberg, Germany, in May 2004. were carefully reviewed and selected for inclusion in the book. The papers reflect state-of-the-art research and development of the abstract state machine method for the design and analysis of complex software and hardware systems. Besides theoretical results and methodological progress, applications in various fields are studied as well.

Spis treści

Invited Papers.- Intra-step Interaction.- Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering.- An ALGOL-View on Turbo ASM.- An ASM Specification of C# Threads and the .NET Memory Model.- Finite Cursor Machines in Database Query Processing.- Research Papers.- Formalizing Liveness-Enriched Sequence Diagrams Using ASMs.- Specification and Validation of the Business Process Execution Language for Web Services.- Monodic ASMs and Temporal Verification.- Towards an Interchange Language for ASMs.- Specification and Implementation Problems for C#.- An ASM Semantics for SSA Intermediate Representations.- Observations on the Decidability of Transitions.- A Security Logic for Abstract State Machines.- Slicing Abstract State Machines.- The Cryptographic Abstract Machine.- Modeling Discretely Timed Systems Using Different Magnitudes of Non-standard Reals.