CoreASM - CoreASM
CoreASM je otevřený zdroj projekt (s licencí pod Akademická bezplatná licence verze 3.0), která se zaměřuje na návrh štíhlého spustitelného ASM (Abstraktní státní stroje ) jazyk v kombinaci s prostředím podpůrného nástroje pro návrh na vysoké úrovni, experimentální validaci a případné formální ověření abstraktních systémových modelů.
Abstraktní stavové stroje jsou známé pro svou univerzálnost při modelování algoritmů, architektur, jazyků, protokolů a prakticky všech druhů sekvenčních, paralelních a distribuovaných systémů. Formalismus ASM byl více než 15 let intenzivně studován vědci z akademické a průmyslové sféry se záměrem překlenout propast mezi formálním a pragmatickým přístupem.
Systémové inženýrství založené na modelech může těžit z abstraktních spustitelných specifikací jako nástroj pro průzkum designu a experimentální validaci prostřednictvím simulace a testování. Na základě zkušeností se dvěma generacemi nástrojů ASM se vyvíjí nový spustitelný jazyk ASM s názvem CoreASM (viz CoreASM domovská stránka).
Jazyk CoreASM zdůrazňuje svobodu experimentování a podporuje evoluční povahu designu jako produktu tvořivosti. Je zvláště vhodný pro zkoumání problémového prostoru za účelem psaní počáteční specifikace. Jazyk CoreASM umožňuje psaní vysoce abstraktních a stručných specifikací tím, že minimalizuje potřebu kódování při mapování problémového prostoru na formální model a umožňuje explicitní deklaraci částí specifikace, které jsou záměrně ponechány abstraktní. Princip minimality v kombinaci s robustností základního matematického rámce zlepšuje upravitelnost specifikací a účinně podporuje vysoce iterativní povahu specifikace a designu.
Reference
- R. Farahbod, V. Gervasi, U. Glässer a M. Memon. Průzkum designu a experimentální ověření abstraktních požadavkůSborník z 12. mezinárodní pracovní konference o požadavcích na inženýrství: Foundation for Software Quality (REFSQ'06), červen 2006, Lucemburk, Lucemburské velkovévodství, Essener Informatik Beitrage, ISBN 3-922602-26-6.
- R. Farahbod, V. Gervasi, U. Glässer a M. Memon. Návrh a specifikace CoreASM Execution Engine, část 1: jádro. Technická zpráva SFU-CMPT-TR-2006-09, Univerzita Simona Frasera, Květen 2006.
- R. Farahbod, V. Gervasi a U. Glässer. CoreASM: Extensible ASM execution engine. V D. Beauquier, E. Börger a A. Slissenko (Eds.), Proc. 12. mezinárodní workshop o abstraktních státních strojích, Paříž, březen 2005, strany 153–165
- ... další reference a dokumentace