Download:
|
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
|