DocumentCode
2447962
Title
A formally founded description technique for business processes
Author
Thurner, Veronika
Author_Institution
Dept. of Comput. Sci., Tech. Univ. Munich
fYear
1998
fDate
20-21 Apr 1998
Firstpage
254
Lastpage
261
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
Keywords
business data processing; computational linguistics; formal specification; systems analysis; application domain experts; black box; business processes; data flow nets; formal semantics; formally founded description technique; glass box view; refinement; requirements engineering; system engineers; typical system behavior modeling; Computer science; Costs; Data engineering; Documentation; Electrical capacitance tomography; Glass; Read only memory; Software quality; Systems engineering and theory; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering for Parallel and Distributed Systems, 1998. Proceedings. International Symposium on
Conference_Location
Kyoto
Print_ISBN
0-7695-0634-8
Type
conf
DOI
10.1109/PDSE.1998.668193
Filename
668193
Link To Document