A Formally Founded Description Technique for Business Processes

As a means of modeling typical system behavior, we present a description technique for business processes derived from data flow nets and provide it with a formal semantics based on functions and their composition. The formalism features black box and glass box view and a concept of refinement. As it is intuitively understandable and formally well founded, the notation is equally adequate for the needs of application domain experts and system engineers in requirements engineering1 .

• Type: Conference
• Year: 1998
• Where: PDSE
• Authors: Veronika Thurner
• Keywords: Data Flow Nets, Features Black Box, Glass Box View, PDSE 1998