Focus on processes

Titel:: Focus on processes
Dokumenttyp:: Technical Report
Autor(en):: Maria Spichkova
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: