AsmetaF: A Flattener for the ASMETA Framework

摘要: Abstract State Machines (ASMs) have shown to be a suitable high-level specification method for complex, even industrial, systems; the ASMETA framework, supporting several validation and verification activities on ASM models, is an example of formal integrated development environment. Although ASMs allow modeling complex systems in rather concise way -and this advantageous purposes-, such notation general problem as model checking theorem proving that rely tools accepting simpler notations. In paper, we propose flattener tool framework transforms flattened constituted only update, parallel, conditional rules; easier map notations tools. Experiments show effect applying some representative case studies repository.