CoreASM

CoreASM plug-in architecture Abstract State Machines are known for their versatility in modeling of algorithms, architectures, languages, protocols, and virtually all kinds of sequential, parallel, and distributed systems. CoreASM is a novel executable ASM language which emphasizes freedom of experimentation and supports the evolutionary nature of design as a product of creativity. The CoreASM engine, the heart of the CoreASM tool suite, is based on an extensible architecture which supports various extensions through plug-ins. In this paper, we explore the plug-in architecture of the CoreASM engine and demonstrate its potentials by looking into two implemented plug-ins.


References in zbMATH (referenced in 13 articles , 1 standard article )

Showing results 1 to 13 of 13.
Sorted by year (citations)

  1. van Binsbergen, L. Thomas; Mosses, Peter D.; Sculthorpe, Neil: Executable component-based semantics (2019)
  2. Börger, Egon; Schewe, Klaus-Dieter: Concurrent abstract state machines (2016)
  3. Bósa, Károly: Formal modeling of mobile computing systems based on ambient abstract state machines (2013)
  4. Börger, Egon: The subject-oriented approach to software design and the abstract state machines method (2012)
  5. Börger, Egon; Cisternino, Antonio; Gervasi, Vincenzo: Ambient abstract state machines with applications (2012)
  6. Cavarra, Alessandra: A data-flow approach to test multi-agent ASMs (2011)
  7. Farahbod, Roozbeh; Glässer, Uwe: The CoreASM modeling framework (2011) ioport
  8. Leuschel, Michael; Falampin, Jérôme; Fritz, Fabian; Plagge, Daniel: Automated property verification for large scale B models with ProB (2011) ioport
  9. Börger, Egon: The abstract state machines method for high-level system design and analysis (2010)
  10. Farahbod, Roozbeh; Gervasi, Vincenzo; Glässer, Uwe; Ma, George: CoreASM plug-in architecture (2009) ioport
  11. Gervasi, Vincenzo; Farahbod, Roozbeh: JASMine: Accessing Java code from CoreASM (2009) ioport
  12. Börger, Egon: Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems (2007)
  13. Farahbod, Roozbeh; Gervasi, Vincenzo; Glässer, Uwe: CoreASM: an extensible ASM execution engine (2007)