Focus on processes

Dokumenttyp:: Technical Report
Autor(en):: Maria Spichkova
Titel:: Focus on processes
Abstract:: This paper presents an extension of the formal specification language Focus as well as of the methodology ''Focus on Isabelle'' by the process language and optimization of the Focus language to specify some trivial cases implicitly, by the specification semantics. As the starting point of the process language we take a structured, formal model for specification and analysis of work flows developed by C. Leuxner.
Stichworte:: Formal Specification; Processes
Jahr:: 2011
Jahr / Monat:: 2011-07-26 00:00:00
Seiten/Umfang:: 38
BibTeX

Vorkommen: