Diploma Thesis "Service-Oriented Architecture State of the Art"
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Possibilities for Modeling and Integration of Business Processes*
BULGARIAN ACADEMY OF SCIENCES CYBERNETICS AND INFORMATION TECHNOLOGIES · Volume 5, No 1 Sofia . 2005 Possibilities for Modeling and Integration of Business Processes* Hristina Daskalova, Vladislava Grigorova, Tatiana Atanassova Institute of Information Technologies, 1113 Sofia E-mails: [email protected] [email protected] [email protected] Abstract: Web-based modeling of business processes is considered. The technological chain for generating loosely coupled systems, using the technology of Web-services is described. Requirements that concern the language describing the sequence of actions in the business process, as well as the infrastructure that will realize these actions, are determined. Standards for orchestration and choreography are discussed. Integration in enterprise applications using development of software technologies on the basis of a distributed service-oriented architecture is shown on the example of IBM solutions. Keywords: business process, web services, orchestration, choreography, grid- environment. I. Introduction The methods for modeling business processes may be divided with respect to the moment of their release – either created before the development of Web-services or directly based on Web-services and service-oriented architectures. The Web-services give a possibility for creating an integrated platform. They are tools for interoperation of information systems that are not human centralized. There exists an opinion that the first actual languages for models description, such as ebPML, BPML, XLANG, WSFL, BPEL4WS, EDOC, XPDL and UML 2.0 will lose their independent existence, but will continue to be used in combination with the second ones. After the development of version 1.1 of the specification of BPEL4WS language and its renaming into BPEL, its positions have considerably improved in comparison with the remaining languages. -
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).