User: Guest  Login
Title:

Focus on processes

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