CoreASM
CoreASM är ett projekt med öppen källkod (licensierat under Academic Free License version 3.0) som fokuserar på designen av ett smidigt körbart ASM-språk ( Abstract State Machines ), i kombination med en stödjande verktygsmiljö för design på hög nivå, experimentell validering och formell verifiering (i förekommande fall) av abstrakta systemmodeller.
Abstrakta tillståndsmaskiner är kända för sin mångsidighet i modellering av algoritmer, arkitekturer, språk, protokoll och praktiskt taget alla typer av sekventiella, parallella och distribuerade system. ASM-formalismen har studerats omfattande av forskare inom akademi och industri i mer än 15 år med avsikten att överbrygga klyftan mellan formella och pragmatiska tillvägagångssätt.
Modellbaserad systemteknik kan dra nytta av abstrakta körbara specifikationer som ett verktyg för designutforskning och experimentell validering genom simulering och testning. Ett nytt körbart ASM-språk, kallat CoreASM, utvecklas på grundval av erfarenheter med två generationer av ASM-verktyg (se CoreASM -hemsidan).
CoreASM-språket betonar friheten att experimentera och stöder designens evolutionära karaktär som en produkt av kreativitet. Den är särskilt lämpad för att utforska problemutrymmet i syfte att skriva en initial specifikation. CoreASM-språket tillåter skrivning av mycket abstrakta och koncisa specifikationer genom att minimera behovet av kodning för att kartlägga problemutrymmet till en formell modell, och genom att tillåta explicit deklaration av de delar av specifikationen som avsiktligt lämnas abstrakta. Principen om minimalitet, i kombination med robustheten hos det underliggande matematiska ramverket, förbättrar modifierbarheten av specifikationer, samtidigt som det effektivt stöder den mycket iterativa karaktären hos specifikation och design.
- R. Farahbod, V. Gervasi, U. Glässer och M. Memon. Design Exploration and Experimental Validation of Abstract Requirements , Proceedings of the 12th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ'06), juni 2006, Luxemburg, Storhertigdömet Luxemburg, Essener Informatik Beitrage, ISBN 3-922602- 26-6 .
- R. Farahbod, V. Gervasi, U. Glässer och M. Memon. Design och specifikation av CoreASM Execution Engine, del 1: kärnan . Teknisk rapport SFU-CMPT-TR-2006-09, Simon Fraser University , maj 2006.
- R. Farahbod, V. Gervasi och U. Glässer. CoreASM: En utbyggbar ASM-exekveringsmotor . I D. Beauquier, E. Börger och A. Slissenko (red.), Proc. 12th International Workshop on Abstract State Machines, Paris, mars 2005, sidorna 153–165
- ... ytterligare referenser och dokumentation