User: Guest  Login
Title:

A Formally Founded Description Technique for Business Processes

Document type:
Technical Report
Author(s):
Veronika Thurner
Abstract:
As a means of modeling typical system behavior, we derive from data flow nets a description technique for business processes and provide it with a formal semantics based on functions and their composition. Our description formalism features black box and glass box view on system processes, as well as a concept of refinement which supports behavior modeling across several levels of abstraction. Thus we provide a modeling mechanism that is both easy to understand intuitively and formally well foun...     »
Keywords:
Business Process Modeling; Requirements Engineering; Semantics
Year:
1997
Year / month:
1997-12-01 00:00:00
Pages:
14
 BibTeX