Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

PDSE
1998

favoriteEmaildiscussreport

131views more PDSE 1998»

A Formally Founded Description Technique for Business Processes

13 years 5 months ago

A Formally Founded Description Technique for Business Processes

Download www4.in.tum.de

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 .

Veronika Thurner

Real-time Traffic

Data Flow Nets | Features Black Box | Glass Box View | PDSE 1998 |

claim paper

Related Content

» Combining Business Process and Data Discovery Techniques for Analyzing and Improving Integ...

» Using Formal Analysis Techniques in Business Process Redesign

» Ontology Based Business Process Description

» Automated Error Correction of Business Process Models

» Secure Intelligent Agents Based on Formal Description Techniques

» Towards a Methodology for Deriving ContractCompliant Business Processes

» Evolving Use Case Maps as a Scenario and Workflow Description Language

» Calculating with Concepts a Technique for the Development of Business Process Support

» From BPEL to SRML A Formal Transformational Approach

Post Info
More Details (n/a)

Added	01 Nov 2010
Updated	01 Nov 2010
Type	Conference
Year	1998
Where	PDSE
Authors	Veronika Thurner

Comments (0)