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 14 articles , 1 standard article )

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

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