Proceedings of the

12th International Workshop on
Abstract State Machines

(ASM 2005)
March 8-11, 2005, Paris, France

Table of Contents :

Danièle Beauquier, Egon Börger and Anatol Slissenko:

Introduction ( IntroProcAsm05.ps )

p.5--10

Invited papers

Serge Abiteboul, Susan Davidson, and Tova Milo:

Active XML and Data Activation ( AbiteboulDM05.ps )

p.11--16

Jean-Raymond Abrial:

Refinement, Decomposition and Instantiation of Discrete Models ( ref_dcp_ins_final2.ps )

p.17--40

Richard Banach, Michael Poppleton, Czeslaw Jeske, and Susan Stepney:

Retrenchment and the Mondex Electronic Purse ( ret.asm.mondex.short.ps )

p.41--48

Egon Börger:

The ASM Method: a Cornerstone in Computer Science Education ( TeachAsm.ps )

p.49--56

Michael Butler and Michael Leuschel, and Colin Snook:

Tools for system validation with B abstract machines ( asm-mjb.ps )

p.57--69

Hubert Comon:

Normal attacks on security protocols ( comon.ps )

p.70

Byron Cook:

Finding bugs in device drivers with Static Driver Verifier ( abstract-cook.ps )

p.71

Yuri Gurevich:

Behavioral Computation Theory 2005 ( gurevich.ps )

p.72

K. Rustan M. Leino:

Program verification and programming methodology ( krml154.ps )

p.73

 

Gerhard Schellhorn:

ASMs and refinement of state-based systems ( abstract-schellhorn.ps )

p.74 --75

Jim Woodcock:

Unifying program refinement calculi ( woodcock.ps )

p.76

Submitted papers

Philippe Andary, Bruno Patrou and Pierre Valarcher:

About implementation of primitive recursive algorithms ( andary.ps )

p.77--90

Egon Börger:

Design Pattern Abstractions and Abstract State Machines ( DesignPattern.ps )

p.91--100

P. L. Brantingham, U. Glässer, B. Kinney, K. Singh, and M. Vajihollahi:

Modeling Urban Crime Patterns: Viewing Multi-Agent Systems as Abstract State Machines ( brantingham.ps )

p.101--118

Colin Campbell and Margus Veanes:

State Exploration with Multiple State Groupings ( groupings.ps )

p.119--130

Dirk Fahland and Wolfgang Reisig:

ASM-based semantics for BPEL: The negative Control Flow ( fahland_bpel_event_fault.ps )

p.131--152

Roozbeh Farahbod, Vincenzo Gervasi, and Uwe Glässer:

CoreASM: An Extensible ASM Execution Engine ( CoreASM-ASM2005.ps )

p.153--166

Vladimir Filatov and Rostislav Yavorskiy:

Scenario based analysis of linear computations ( Filatov.ps )

p.167--174

Nicu G. Fruja:

A Modular Design for the Common Language Runtime (CLR) Architecture ( fruja.ps )

p.175--200

Amjad Gawanmeh, Ali Habibi, and Sofiène Tahar:

Embedding and Verification of PSL using AsmL ( gawanmeh.ps )

p.201--216

Susanne Graf and Andreas Prinz:

Time in State Machines ( GrafPrinzASM2005-pgnb.pdf )

p.217--232

Ali Habibi and Sofiène Tahar:

AsmL Semantics in Fixpoint ( habibi05AsmL.ps )

p.233--246

Dominik Haneberg, Holger Grandy, Wolfgang Reif, and Gerhard Schellhorn:

Verifying Security Protocols: An ASM Approach ( haneberg.ps )

p.247--262

Horatiu V. Jula:

ASM Semantics for C$\sharp$ 2.0 ( jula.ps )

p.263--274

Horatiu V. Jula and Nicu G. Fruja:

An Executable Specification of C$\sharp$ ( jula-fruja.ps )

p.275--288

Martin Kardos:

An approach to model checking AsmL specifications ( kardos.ps )

p.289--304

Andrey Novikov and Rostislav Yavorskiy:

Applying formal semantics of an object-oriented language to program invariant checking ( novikov.ps )

p.305--312

Antje Nowack:

A Polynomial-Time Slicing Algorithm ( antjeNowack.ps )

p.313--328

Ana C. R. Paiva, Nikolai Tillmann, João C. P. Faria, and Raul F. A. M. Vidal:

Modeling and Testing Hierarchical GUIs ( AnaCRPaiva.ps )

p.329--344

Patrizia Scandurra, Angelo Gargantini, Claudia Genovese, Tiziana Genovese, and Elvinia Riccobene:

A Concrete Syntax derived from the Abstract State Machine Metamodel ( scandurra.ps.gz )

p.345--368

Klaus-Dieter Schewe and Jane Zhao:

ASM Ground Model and Refinement for Data Warehouses ( KDSchewe.ps )

p.369--376

Comandur Seshadhri, Anil Seth, and Somenath Biswas:

RAM Simulation of BGS model of Abstract State Machines ( seshadhri.ps )

p.377--386

Anatol Slissenko and Joëlle Cohen:

On Implementations of Instantaneous Actions Real-Time ASM by ASM with Delays ( slissenko.ps )

p.387--396

Calvin Kai Fan Tang and Eugenia Ternovska:

Model Checking Abstract State Machines with Answer Set Programming ( tang-ternovska.ps )

p.397--416

Alexander Binemann-Zdanowicz, Zalan Kramer, Peggy Schmidt and Bernhard Thalheim:

ASM Support for Validation of Specifications: Lessons Learned from an eGovernment Project (asm05BinKraSchTha.ps )

p.417--