Possibilities for Modeling and Integration of Business Processes*
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Diploma Thesis "Service-Oriented Architecture State of the Art"
Diploma Thesis State of the Art in Service-Oriented Architecture: Current Advances and Approaches to its Implementation Achieving Distributed Business Process Integration by Hendrik Mueller Born on October 11th, 1982 in Burgstaedt, Germany Dresden University of Technology Department of Computer Science Institute for Computer Networks Supervised by: SAP Labs India Pvt. Ltd. Bangalore, India: Rajeev Warrier, Vice President NetWeaver Development Dresden University of Technology, Dresden, Germany: Dr.-Ing. Iris Braun Prof. Dr. rer. nat. habil. Dr. h. c. Alexander Schill Started on June 1st, 2006 Submitted on November 30th, 2006 Abstract Service-Oriented Architecture (SOA), a growing concept for distributed software systems, was particularly intended for use within business environments. SOA opens new avenues for complex business processing spread across enterprise borders, revolutionizing business process integra- tion. It provides a flexible and elegant basis for the integration of disparate enterprise resource planning software used by companies. This also helps facilitate automated processing. The answer to the realizations of all these needs lies in the numerous current technologies pertain- ing to SOA. Although a lot of standards have been established during the last few years, SOA remains steeped in controversies over the different ways to realize the complete architectural model. Common implementation models for SOA have been under development over the past two years. The goal of this thesis is an in depth state-of-the-art analysis of existing as well as emerging standards and technologies relevant to SOA. Furthermore, the work closely examines business processes and their relationship to these technologies. Based on current advances, the different approaches to SOA implementation are elaborated and illustrated by means of a prototype. -
A Rule-Based Language and Verification Framework of Dynamic Service Composition Willy Kengne Kungne, Georges-Edouard Kouamou, Claude Tangha
A Rule-Based Language and Verification Framework of Dynamic Service Composition Willy Kengne Kungne, Georges-Edouard Kouamou, Claude Tangha To cite this version: Willy Kengne Kungne, Georges-Edouard Kouamou, Claude Tangha. A Rule-Based Language and Verification Framework of Dynamic Service Composition. Future internet, MDPI, 2020, 12 (2), pp.23. 10.3390/fi12020023. hal-02457316 HAL Id: hal-02457316 https://hal.archives-ouvertes.fr/hal-02457316 Submitted on 21 Apr 2021 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. future internet Article A Rule-Based Language and Verification Framework of Dynamic Service Composition Willy Kengne Kungne 1,∗ , Georges-Edouard Kouamou 2 and Claude Tangha 3 1 Department of Computer Sciences, Faculty of Sciences, University of Yaoundé I, P.O. Box 812 Yaoundé, Cameroon 2 Department of Computer Sciences, National Advanced School of Engineering, University of Yaoundé I, P.O. Box 8390 Yaoundé, Cameroon; [email protected] 3 Faculty of Information Technologies and Communication, Protestant University of Central Africa, P.O. Box 4011 Yaoundé, Cameroon; [email protected] * Correspondence: [email protected]; Tel.: +237-675-978-859 Received: 8 December 2019; Accepted: 23 January 2020; Published: 26 January 2020 Abstract: The emergence of BPML (Business Process Modeling Language) has favored the development of languages for the composition of services. -
Web Service Orchestration Driven by Formal Specification
Web service orchestration driven by formal specification Charif Mahmoudi1, Fabrice Mourlin1 1LACL, Computer Science department, Paris-Est University, 61 avenue du Général de Gaulle, 94010 Créteil Cedex, France, EA 4913 [email protected], [email protected] Abstract. When set of basic web service is built, the next step is to create more complex one. A programmatic approach uses declarative language such as BPEL. This kind of representation is verbose and needs assistance for the creation of business process. We defined a generative strategy leading by formal specification. Because, web service composition languages use standard operators like sequence, choice and parallel; process algebras are right candidate for their design. We use higher order pi calculus for specification of orchestration and consider it as a basis for generating BPEL skeleton. After enrichment of BPEL definition, we interpret it by mobile agents. They play role of a conductor which evaluates a part or a whole BPEL definition. This mobile engine reduces message traffic by replacing message transfer into local message operating. We use mobile agent as distributed conductor of business processes. Keywords: web service, orchestration, composition language, process algebra mobile agent, 1. Introduction Web Services mean many things to many people. Today, a lot of developers have tried to expose web services on their local network. Their first example is often to build a simple web service that generates a response based on information received from the client. But also, it shows how to consume various existing framework web services, including existing services such that computing service (Choleski computation) or geographical service (a map of a next trip in Edinburgh).