Technical Report
A Formally Founded Description Technique for Business Processes
Author(s): Veronika Thurner
Year: 1997
Number: TUM-I9753
Editor:
CR Classification: D.2.2, H.1
CR General Terms: Software Engineering
Keywords: Business Process Modeling, Requirements Engineering, Semantics
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 founded, and therefore equally
adequate for the needs of
application domain experts as well as system
engineers in
requirements engineering.
Available as compressed Postscript
BibTeX-Entry:
<![CDATA[
@techreport{thurner97-12,
author = {Veronika Thurner},
title = {A Formally Founded Description Technique for Business Processes},
number = {TUM-I9753},
institution = {Technische Univerit\"at M\"unchen},
year = {1997},
url = {http://www4.informatik.tu-muenchen.de/reports/thurner97-12.html},
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 founded, and therefore equally
adequate for the needs of
application domain experts as well as system
engineers in
requirements engineering.},
CRClassification = {D.2.2, H.1},
CRGenTerms = {Software Engineering}}
]]>