MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  A formally founded description technique for business processes (1997) [8 citations — 2 self]

Download:
Download as a PDF | Download as a PS
by Veronika Thurner
PDSE'98 Symposium on Parallel and Distributed Systems Engineering
http://www4.informatik.tu-muenchen.de/papers/thurner98a.ps.gz
Add To MetaCart

Abstract:

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 engineering

Citations

2677 Communicating Sequential Processes – Hoare - 1978
1713 Statecharts: A Visual Formalism for Complex Systems – Harel - 1987
761 Object-oriented analysis and design with applications. Benjamin/Cummings – Booch - 1994
459 Semantics of a Simple Language for Parallel Programming – Kahn - 1974
244 Structured Analysis and System Specification – DEMARCO - 1979
97 Software Requirements: Objects, Functions, and States – Davis - 1993
31 K.: The requirement and design specification language Spectrum, an informal introduction (V 1.0 – Broy, Facchi, et al. - 1993
31 Structured Analysis and System Speci cation – DeMarco - 1978
30 State Transition Diagrams – Grosu, Klein, et al. - 1996
24 A theory for nondeterminism, parallelism, communication and concurrency – Broy - 1986
20 inter-)action refinement: The easy way – Broy - 1993
13 The Requirement and Design Speci cation Language Spectrum. An Informal Introduction. Version 1.0. Part II – Broy, Facchi, et al. - 1993
10 inter-)action re nement: The easy way – Broy - 1993
6 Ein vorgehensmodell zur objektmodellierung betrieblicher informationssysteme im semantischen objektmodell (som – Ferstl, Sinz - 1991
4 Informatik -- Eine grundlegende Einfuhrung, Teil 1: Problemnahe Programmierung, volume 1 – Broy - 1992
4 Systementwurf mit Netzen – Reisig - 1985
2 Unified Method Language -- Notation Guide – Booch, Jacobson, et al. - 1997
2 Business Engineering { Proze - und Systementwicklung, volume 1 – Osterle - 1995
1 Uni ed Method Language { Notation Guide – Booch, Jacobson, et al. - 1997