V. Thurner. A formally founded description technique for business processes. Technical Report TUM-I9753, Technische Universitat Munchen, 1997.  Home/Search   Document Details and Download   Summary   Related Articles   Check

.... we performed several case studies in this area, thereby defining some of the mentioned description techniques and their consistency criteria both formally and informally [3, 35, 20] The future work will be firmly based on existing results in the context of the Focus project and the SysLab group [9, 31, 8, 10, 34]. The overall structure of the proposed process model has been described in a report [4] It will also be elaborated and enhanced with additional aspects, especially with respect to economical and management related aspects. A further area of interest is tool support. We participate in the ....

V. Thurner. A formally founded description technique for business processes. Technical Report TUM-I9753, Technische Universitat Munchen, 1997.

....of the mentioned description techniques and their consistency criteria informally [13, 14, 11] a consistent toolkit of conforming, formally founded description techniques 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 enhanced with additional aspects, especially with respect to economical and management related aspects. A further area of interest is tool support. We participate in the ....

V. Thurner, "A formally founded description technique for business processes," Tech. Rep. TUMI9753, Technische Universitat Munchen, 1997.

....during its construction at design time as well as during its execution at runtime, either under control of the system itself or initiated by human component 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 model considers both static syntactical and structural properties, as well as dynamic and behavioral aspects. The latter include the flow of data and control ....

V. Thurner. A formally founded description technique for business processes. In B. Kramer, N. Uchihira, P. Croll, and S. Russo, editors, Software Engineering for Parallel and Distributed Systems, PDSE98, 254-261. IEEE Computer Society, 1998.

..... 11 3.4 System Interface Model . 13 4 Summary 19 5 Conclusion 20 1 Introduction Within the SysLab project a set of description techniques (both graphical and textual) has been developed to represent different views of a software system [Thu97, Pae97, Het96, GKRB96]. Until now, the main effort has been to define a formal semantics for these descriptions and to integrate them into a mathematical system model [KRB96] In this paper we present an example of a software development in its early phases using some of the description techniques available 1 . We ....

....for the design phase of the development process. In order to satisfy both demands several different description techniques are used, depending on the method and the business requirements in question. The SysLab method offers three different system descriptions: a Business Process Model (BPM) [Thu97], an Extended Entity Relationship Diagram (EERD) Het96] and a System Interface Model (SIM) Pae97] During the early analysis phase the customer identifies the relevant business processes, which are then modeled within different BPMs by the developer. These documents should be the subject of ....

[Article contains additional citation context not shown here]

Veronika Thurner. A formally founded description technique for business processes. Technical Report TUM-I 9753, Technische Universitat Munchen, Institut fur Informatik, December 1997.

....an abstract syntax. As we focus here on refinement rules rather than on complex process structures, we restrict ourselves to exemplary system behavior throughout this work, instead of modeling alternative or cyclic processes. A treatment of complex business process structures is provided by [Thu98] 2.1 Introduction to Business Processes book reservation request book retrieve to reservation desk move book availability user of notify receive notification user id book id book book id book id note Figure 1: An example process net We introduce an intuitive understanding of ....

....rules by no means claims to be complete, but focusses on the most interesting ones. Practice will show that more rules are needed to refine business process models. However, it is very important to have rules that are semantically sound. A formal semantics for business processes was provided in [Thu98] As we did not present a formal semantics for business process models in this paper, we will not formally prove the correctness of our rules. However, from the informal explanations of business processes it might become clear that the refinement rules are semantically sound. As we have defined a ....

[Article contains additional citation context not shown here]

V. Thurner. A Formally Founded Description Technique for Business Processes. In B. Kramer, N. Uchihira, P. Croll and S. Russo, editors, PDSE'98 Symposium on Parallel and Distributed Systems Engineering, pages 254--261, Los Alamitos, California, April 1998. IEEE Computer Society.

No context found.

V. Thurner. A formally founded description technique for business processes. Technical Report TUM-I9753, Technische Universitat Munchen, 1997.

No context found.

V. Thurner. A Formally Founded Description Technique for Business Processes. In B. Kramer, N. Uchihira, P. Croll and S. Russo, editors, PDSE'98 Symposium on Parallel and Distributed Systems Engineering, pages 254--261, Los Alamitos, California, April 1998. IEEE Computer Society.

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