User: Guest  Login
Document type:
Technical Report 
Author(s):
Veronika Thurner 
Title:
A Formally Founded Description Technique for Business Processes 
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