A Formally Founded Description Technique for Business Processes

See this document in CiteSeerX!

A Formally Founded Description Technique for Business Processes (1997) (Make Corrections) (7 citations)
Veronika ThurnerPDSE

Home/Search Context Related

View or download:
www4.in.tum.de/publ/...thurner9712.pdf
Cached: PDF PS.gz PS Image Update Help

From: www4.in.tum.de/publ/papers/ (more)
(Enter author homepages)

Rate this article:

(best)
Comment on this article

(Enter summary)
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. (Update)

Context of citations to this paper: More

...developers and component assemblers. 2 Overview The proposed formal system model builds on related work on description techniques [Gro99, Thu98, BHH 97] and existing models of distributed systems [Bro95, KRB96, GKR96] based on the Focus methodology [BDD 92, Bro98] The...

...is still missing. This work will be firmly based on existing results in the context of the Focus project and the SysLab group [15, 16, 17, 9, 18]. The overall structure of the proposed process model has been described in a report [12] It will also be elaborated and...

Cited by: More
Putting the Parts Together - Concepts, Description.. - Bergner, Rausch.. (Correct)
Refining Business Processes - Rumpe, Thurner (1998) (Correct)
An Integrated View On Componentware - Concepts.. - Bergner, Rausch.. (1998) (Correct)

Similar documents (at the sentence level):
37.5%: A Formally Founded Description Technique for Business.. - Veronika Thurner.. (1997) (Correct)

Active bibliography (related documents): More All
0.2: Business Process Modeling in Software Development - Thurner (1997) (Correct)
0.2: An Object-Based Design Method for Concurrent Programs - Jones (1992) (Correct)
0.2: Stream Semantics for Mini-Statecharts - Nazareth, Regensburger, Scholz (Correct)

Similar documents based on text: More All
0.1: A Formally Founded Componentware Testing Methodology - Bergner, Lötzbeyer.. (2000) (Correct)
0.1: Towards a Formalization of the Unified Modeling Language - Breu, Hinkel, Hofmann.. (1997) (Correct)
0.1: Digital On-line Books - How Are They Used? (Extended Abstract) - Breu (1997) (Correct)

Related documents from co-citation: More All
4: Towards a precise semantics for object-oriented modeling techniques - Breu, Grosu et al. - 1997
4: A Componentware Development Methodology Based on Process Patterns - Bergner, Rausch et al. - 1998
4: The design of distributed systems --- an introduction to FOCUS (context) - Broy, Dederichs et al. - 1992

BibTeX entry: (Update)

Veronika Thurner. A formally founded description technique for business processes. Technical Report TUM-I 9753, Technische Universitat Munchen, Institut fur Informatik, December 1997. http://citeseer.ist.psu.edu/thurner97formally.html More

@inproceedings{ thurner98formally,
    author = "Veronika Thurner",
    title = "A Formally Founded Description Technique for Business Processes",
    booktitle = "{PDSE}",
    pages = "254-262",
    year = "1998",
    url = "citeseer.ist.psu.edu/thurner97formally.html" }

Citations (may not include all citations):
2732 Communicating Sequential Processes (context) - Hoare - 1985
75 Software Requirements -- Objects (context) - Davis - 1993
52 The requirement and design specification language Spectrum -.. - Broy, Facchi et al.
24 Technische Universitat Munchen (context) - Grosu, Klein et al. - 1996
24 Action Refinement: The Easy Way (context) - Broy - 1993
7 Prentice-Hall International (context) - DeMarco, System - 1979
6 Ein Vorgehensmodell zur Objektmodellierung betrieblicher Inf.. (context) - Ferstl, Sinz - 1991
5 Informatik -- Eine grundlegende Einfuhrung (context) - Broy - 1992
5 Fakultat fur Mathematik und Informatik (context) - Broy, for et al. - 1982
4 Unified Method Language -- Notation Guide (context) - Booch, Jacobson et al. - 1997

The graph only includes citing articles where the year of publication is known.

Documents on the same site (http://www4.in.tum.de/publ/papers/): More
The Amsterdam Manifesto on OCL - Cook, Kleppe, Mitchell, Rumpe.. (1999) (Correct)
Structured Specifications and Implementation of.. - Walicki, Broy (1995) (Correct)
Modeling Dynamic Component Interfaces - Huber, Rausch, Rumpe (1998) (Correct)

Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback

CiteSeer.IST - Copyright Penn State and NEC