The CoreASM modeling framework

Engineering complex distributed systems calls for systematic approaches that build on well‐defined methodological frameworks and supporting computational tools. This paper addresses the specification, design, and development of thetextsfCoreASM modeling framework, focusing on a set of features that any comprehensive framework and tool environment for modeling and analysis of complex distributed systems should provide. We discuss the key design features, the underlying design principles, and the lessons learned using CoreASM. Copyright © 2011 John Wiley & Sons, Ltd.

[1]  B. Russell.  The Philosophy of Logical Atomism , 1998 .

[2]  George Zi Sheng Ma,et al.  MODEL CHECKING SUPPORT FOR CoreASM: MODEL CHECKING DISTRIBUTED ABSTRACT STATE MACHINES USING SPIN , 2007 .

[3]  Stefan Kowalewski,et al.  Direct Support for Model Checking Abstract State Machines by Utilizing Simulation , 2008, ABZ.

[4]  Daniel M. Berry,et al.  Formal Methods: The Very Idea Some Thoughts About Why They Work When They Work , 1998, Monterey Workshop.

[5]  Martin Fowler,et al.  The new methodology , 2001, Wuhan University Journal of Natural Sciences.

[6]  Ali Khalili,et al.  A multi-layer network architecture for dynamic resource configuration and management of multiple mobile resources in maritime surveillance , 2009, Defense + Commercial Sensing.

[7]  Thomas A. Standish.  Extensibility in programming language design , 1975, AFIPS '75.

[8]  Dines Bjørner,et al.  The Vienna Development Method: The Meta-Language , 1978, Lecture Notes in Computer Science.

[9]  Roozbeh Farahbod,et al.  CoreASM: an extensible modeling framework & tool environment for high-level design and analysis of distributed systems , 2009 .

[10]  Jens Lemcke,et al.  Composing Web-service-like Abstract State Machines (ASMs) , 2007, 2007 IEEE Congress on Services (Services 2007).

[11]  Uwe Glässer,et al.  Modeling Criminal Activity in Urban Landscapes , 2009 .

[12]  Egon Börger,et al.  Concurrent Abstract State Machines and +CAL Programs , 2008, WADT.

[13]  C. W. Johnson.  Literate specifications , 1996, Softw. Eng. J..

[14]  Stephane Micheloud.  Scala and AsmL side by side , 2005 .

[15]  Giuseppe Del Castillo,et al.  Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture , 1998, FM-Trends.

[16]  Roozbeh Farahbod,et al.  An Abstract Machine Architecture for Web Service Based Business Process Management , 2005, Business Process Management Workshops.

[17]  Egon Börger,et al.  Java and the Java Virtual Machine: Definition, Verification, Validation , 2001 .

[18]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[19]  Dag Diesen,et al.  Specifying algorithms using evolving algebra : implementation of functional programming languages , 1995 .

[20]  Roozbeh Farahbod,et al.  Integrating Abstract State Machines and Interpreted Systems for Situation Analysis decision support design , 2008, 2008 11th International Conference on Information Fusion.

[21]  Prof. Dr. Robert F. Stärk,et al.  Java and the Java Virtual Machine , 2001, Springer Berlin Heidelberg.

[22]  Margus Veanes,et al.  Abstract communication model for distributed systems , 2004, IEEE Transactions on Software Engineering.

[23]  Takeo Kanade.  Rigorous Methods for Software Construction and Analysis , 2006 .

[24]  Egon Börger,et al.  Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems , 2007, Formal Aspects of Computing.

[25]  Egon Börger,et al.  Abstract State Machines. A Method for High-Level System Design and Analysis , 2003 .

[26]  Egon Brger,et al.  Formal de nition of an abstract VHDL''''93 simulator by EA - machines , 1995 .

[27]  Andreas Prinz,et al.  The formal semantics of SDL-2000: Status and perspectives , 2003, Comput. Networks.

[28]  Uwe Glässer,et al.  Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday , 2009, Rigorous Methods for Software Construction and Analysis.

[29]  Roozbeh Farahbod,et al.  CoreASM Plug-In Architecture , 2009, Rigorous Methods for Software Construction and Analysis.

[30]  Yuri Gurevich,et al.  Evolving Algebras and Partial Evaluation , 1994, IFIP Congress.

[31]  Daniel Jackson,et al.  Software Abstractions - Logic, Language, and Analysis , 2006 .

[32]  Anne-Laure Jousselme,et al.  Interpreted systems for situation analysis , 2007, 2007 10th International Conference on Information Fusion.

[33]  Bernhard Beckert,et al.  LeanEA: A Lean Evolving Algebra Compiler , 1995, WLP.

[34]  Igor Durdanovic,et al.  An Evolving Algebra Abstract Machine , 1995, CSL.

[35]  Jean-Raymond Abrial,et al.  The B-book - assigning programs to meanings , 1996 .

[36]  Roozbeh Farahbod,et al.  CoreASM: An Extensible ASM Execution Engine , 2007, Fundam. Informaticae.

[37]  Margus Veanes,et al.  Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer , 2008, Formal Methods and Testing.