Title :
A formally founded description technique for business processes
Author :
Thurner, Veronika
Author_Institution :
Dept. of Comput. Sci., Tech. Univ. Munich
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;
Conference_Titel :
Software Engineering for Parallel and Distributed Systems, 1998. Proceedings. International Symposium on
Conference_Location :
Kyoto
Print_ISBN :
0-7695-0634-8
DOI :
10.1109/PDSE.1998.668193
