|
2012 The S-BPM and the ASM Method: A Comparison Draft. Final version to appear 2012 in a book to be published by Springer-Verlag and in Proc. S-BPM 2012, Wien (Springer LNCS)
2011 Approaches to Modeling Business Processes. A Critical Analysis of BPMN, Workflow Patterns and YAWL Draft. Final version in J.Software & Systems Modeling 2011 (DOI 10.1007/s10270-011-0214-z)
2011 Ambient Abstract State Machines with Applications Draft (with A. Cisternino and V. Gervasi) Final version in J.CSS (Special Issue in honor of Amir Pnueli) http://dx.doi.org/10.1016/j.jcss.2011.08.004 2011 A Subject-Oriented Interpreter Model for S-BPM
2011 BPMN 2.0 Core Modeling Concepts:
Inheritance-Based Execution Semantics Draft
2011 Applicable Formal Methods
Special Issue of FORMAL ASPECTS OF COMPUTING
23:1-2
2010 An Abstract State Machine Model for the Generic Java Type System TR
2010-02 TU Braunschweig
2010
Synchronous Message Passing and Semaphores Draft (with I. Craig) Final version in Proc. ABZ2010
(Springer LNCS 5977) 2010
The ASM Method: An Exposition Draft Final
version in P. Boca, J. Bowen, J. Siddiqi (Eds):
Formal Methods: State of the Art and New Directions (Springer 2010) 2009 Modeling an OS Kernel Draft (with I. Craig)
Final version in: V. Diekert, K. Weicker, N. Weicker (Eds):
Informatik als Dialog zwischen Theorie und
Anwendung. Festschrift fuer Volker Claus zum 65.Geburtstag.
Vieweg+Teubner, Wiesbaden
2009, ISBN 978-3-8348-0824-0 2009
Concurrent ASMs and +CAL
Draft (with M. Altenhofen) Springer LNCS 5486
(2009) 1-17 2008
Advances in Software Engineering
Eds. E. Boerger and A. Cisternino,
Springer LNCS 5316 2008 Abstract State Machines, B and Z
Proc. ABZ'08 Conference, 2008 Abstract State Machines 2007
J. of Universal
Computer Science Special ASM Issue J.UCS 12.14 (2008)
Selected Papers
from ASM’2007 ( (Eds. E.Boerger and A. Prinz) 2008 Modularizing Theorems for Software Product Lines:
(with D. Batory)
J.Universal
Computer Science 14 (12) 2008
Interpreter Model for BPMN 1.0 Standard
Draft
(with B. Thalheim)
Final version in: LNCS 5316 (2008) 2008 Semantics of OR-Joins
(with O.
Soerensen and B. Thalheim) J.Universal Computer
Science 2008
Applying the ASM Method to Web Services, Workflows,
Business Processes and Interaction Patterns
Draft
(with B. Thalheim)
Final version in: Proc.ABZ 2008
(LNCS 5238) 2008 Linking the Meaning of Programs to What the Compiler Can Verify
Draft Final version in: Verified Software:
Theories, Tools, Experiments.
Proc. IFIP Working Conference (Zuerich, Oct.10-13, 2005), LNCS 4171
(2008) 325-336. 2007
High-Level Models for Workflow Patterns Draft from Proc.ASM’07, revised
in
Proc.ER’07 (LNCS 4801 (2007), 1-20) 2007
ASM Special Issue of Fundamenta Informatica 77 (1-2)
2007
Selected Papers
from ASM’2005 (
Contents Editorial by E.Boerger and A. Slissenko 2006
A High-Level Specification for Virtual Providers Draft (with M. Altenhofen, A. Friesen, J. Lemcke)
Final version in: International J. Of
Business Process Management and Integration
Vol.1 Issue 4 (2006) 267-278 2006 ASMs and Hoare’s Verified Software Challenge Draft Final version
in: Formal Aspects of Computing Journal(2006) 2006 Modeling the .NET CLR Exception Handling Mechanism
for
a Mathematical Analysis
Draft (with N.G. Fruja) Final version in: J. of Object
Technology JOT 3.5 (2006) 5-34
2005
Framework
for Service Interaction Patterns and Interaction Flows
Draft
Final version in: Proc. ICFEM 2005.
Springer LNCS 3785 (2005) 5-35 2005
Abstract
Model for Process Mediation
Draft
Final version in: Proc. ICFEM 2005. Springer
LNCS 3785 (2005) 81-95. See extended version
``A High-Level Specification for Virtual Providers” in IJBPMI’06 2005
Unifying
View of Models of Computation and System Design Frameworks
Draft
Final version in: Annals of Pure and
Applied Logic vol.133, 2005, pp. 149-171 2005
The ASM Method.
A Tutorial Introduction
Draft
Final version in: Springer LNAI Vol.
3717, pp. 264-283, 2005 2005
ASM
Special Issue of TCS 336 (2005)
Selected Papers
from ASM’2003 ( 2004
ASM Ground Model Method: Foundation for Requirements
Engineering
Draft Final version in: Springer LNCS 2772
ISBN 3-540-21002-4, ISSN 0302-9743), 2004, pp.146-161 2004
Linking Architectural and Component Level System Views Draft Final version in: Christoph Grimm
(Ed.), Languages for System
Specification and Verification, CHDL Series, Kluwer, 2004, Chapter 16,
pages 247-269. 2004
On formalizing UML State Machines using ASMs
Draft Final version in: Information and
Software Technology Vol.46, n.5, 287-292,
2004
2004
Reuse of ASM Specifications (Java/C# case study)
Draft Final version in:
Proc.FMCO’03, Springer LNCS 3188 (2004) 42-76 2004
Mathematical Model for Semantics of C#
Draft Final
version in: Theoretical Computer Science 336 (2005) 235-284 2004
ASM Specification of C# Threads & the .NET Memory
Model
Draft Final
version in: Proc. ASM’04, Springer LNCS 3065 (2004) 226-249 2004
Principles of Computation, Programming & System
Design and Analysis
Draft Final version in: Proc.
TFM’04, Springer LNCS 3294 (2004) 65-84 2003
2003 The
ASM Refinement Method
Draft
Final
version in: Formal Aspects of Computing, ISSN 0934-5043, 15:237-257, 2003
2003 Abstract State Machines 2003.
Advances in
Theory and Practice
Proc. of
10th International ASM Workshop ASM2003 ( LNCS
2589 (Eds. E.Boerger, A. Gargantini, E. Riccobene)
For an update at the end of 2002 (with
440 items) see Chapter 9 in the AsmBook.
2001 JBook Java and the Java Virtual Machine — Definition, Verification, Validation
2001 Abstract State Machines 2001:
New Developments
and Applications
J. of Universal
Computer Science Special Issue J.UCS
7.11(2001) Selected Papers from ASM’2001
( (Eds. E.Boerger and U. Glaesser) 2000 Architecture Book Architecture Design and Validation Methods
Draft
(with J. Schmid)
Final version in LNCS 1862 (2000)
2 motivation papers on WhyASMs Final version 1995 in LNCS 1012
High-Level System Design and Analysis
Final
version 1999 in LNCS 1641
|