Focus on processes

Document type:: Technical Report
Author(s):: Maria Spichkova
Title:: 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.
Keywords:: Formal Specification; Processes
Year:: 2011
Year / month:: 2011-07-26 00:00:00
Pages:: 38
BibTeX

Occurrences: