Search

Your search keyword '"Service choreography"' showing total 254 results
Start Over Descriptor "Service choreography"
254 results on '"Service choreography"'

2. Smart Agriculture system based on IoT reference architecture and service choreography.

Author

Arreaga, Nestor X., Estrada, Rebeca, Blanc, Sara, and Leiber, V.Rivas

Subjects
WEBSITES, TELECOMMUNICATION systems, WIRELESS sensor networks, WEB services, DATA transmission systems
Abstract

This paper presents a monitoring, control, and management system that allows the interoperability of multiple smart gateways in a greenhouse to bolster automatic decision making on water supplied to the crops in real-time. The system consists of several sensor nodes interconnected by Zigbee to measure ambient and soil parameters to control the greenhouse irrigation process. In addition, a web service is included to help the system manager to visualize and operate the greenhouse on a web platform. The system also supports human decision making to cope with undesirable and unexpected environmental events. Smart gateways enable data reading, storage and edge computing using automatic rules to manage actions in the greenhouse, as well as data transmission for centralized processing in cloud services. The service communication system layer is supported by choreography middleware for messaging distribution, which enables agile scalability. This research proposes a hybrid scheme and compares to a centralized scheme. The latency times in the choreography system were analyzed to find a suitable solution adapted to infrastructure deployment features. Numerical results shows that such an adaptive deployment of the irrigation services among edge and fog layers can reduce the computational load on the gateways, improve system response times, and enhance device performance. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

3. 'OR' of Rule-Based Specification for Service Choreography

Author

Abidin, Nor Najihah Zainal, A. Manaf, Nurulhuda, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Luo, Min, editor, and Zhang, Liang-Jie, editor

Published
2024
Full Text
View/download PDF

4. Correctness of Automatically Generated Choreography Specifications

Author

Manaf, Nurulhuda A., Abidin, Nor Najihah Zainal, Jamaludin, Nur Amalina, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Moschoyiannis, Sotiris, editor, Peñaloza, Rafael, editor, Vanthienen, Jan, editor, Soylu, Ahmet, editor, and Roman, Dumitru, editor

Published
2021
Full Text
View/download PDF

5. Nexus Services in Smart City Ecosystems.

Author

Tsoutsa, Paraskevi, Fitsilis, Panos, Anthopoulos, Leonidas, and Ragos, Omiros

Abstract

According to market research, the number of smart cities is increasing rapidly. Information and communication technologies (ICT) provide the smart infrastructure that is the foundation for all the key themes related to a smart city, such as smart economy, smart governance, smart mobility, smart health, smart buildings, and smart water. As such, a smart city is constituted of various infrastructure components that form a complex system of systems, which is essential to collaborate effectively. Services play a central role in this vision of smart cities, as they are used as building blocks for effective collaboration, i.e., to achieve interoperability between heterogeneous parties and independence from the underlying infrastructure. In order to cope with the problem of complexity and the scalability in smart cities' systems, a solution is to provide autonomous, collaborating services that have situation awareness and are able to adapt dynamically to the changing needs of the environment forming a nexus of services. In this research, we propose a nexus model for smart cities' services collaboration by using the role modeling approach enhanced by the introduction of service teamwork roles. The teamwork roles definition is inspired both by human and agent team working models. We determine the dominant teamwork roles that prevail during service group cooperation, where the main goal of each role is to intervene and "act as a connector" during collaboration to keep the team of component services consistent with the goal of the group–team. The teamwork functionality is applied through the introduction of a new layer in the architecture of smart cities and is exploited to overcome some of the aforementioned problems. A case study that presents how teamwork roles could affect and benefit the service collaboration in a smart city environment is also provided. [ABSTRACT FROM AUTHOR]

Published
2021
Full Text
View/download PDF

6. 基于服务编排的云制造服务协同.

Author

陆剑峰, 韩调娟, and 俞耀平

Subjects
VALUE creation, MANUFACTURED products, CHOREOGRAPHY, WEB services, TECHNICAL specifications, QUALITY of service
Abstract

Copyright of China Mechanical Engineering is the property of Editorial Board of China Mechanical Engineering and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Published
2021
Full Text
View/download PDF

7. A Formal Method for Service Choreography Verification Based on Description Logic.

Author

Tingting Zhang, Yushi Lan, Minggang Yu, Changyou Zheng, and Kun Liu

Subjects
DESCRIPTION logics, CHOREOGRAPHY, WEB services, SEMANTICS, FORMAL languages
Abstract

Web Services Choreography Description Language lacks a formal system to accurately express the semantics of service behaviors and verify the correctness of a service choreography model. This paper presents a new approach of choreography model verification based on Description Logic. A meta model of service choreography is built to provide a conceptual framework to capture the formal syntax and semantics of service choreography. Based on the framework, a set of rules and constraints are defined in Description Logic for choreography model verification. To automate model verification, the UML-based service choreography model will be transformed, by the given algorithms, into the DL-based ontology, and thus the model properties can be verified by reasoning through the ontology with the help of a popular DL reasoned. A case study is given to demonstrate applicability of the method. Furthermore, the work will be compared with other related research. [ABSTRACT FROM AUTHOR]

Published
2020
Full Text
View/download PDF

9. A Model-Based Approach for the Pragmatic Deployment of Service Choreographies

Author

Gomes, Raphael, Lima, Júnio, Costa, Fábio, da Rocha, Ricardo, Georgantas, Nikolaos, Barbosa, Simone Diniz Junqueira, Series editor, Chen, Phoebe, Series editor, Filipe, Joaquim, Series editor, Kotenko, Igor, Series editor, Sivalingam, Krishna M., Series editor, Washio, Takashi, Series editor, Yuan, Junsong, Series editor, Zhou, Lizhu, Series editor, Celesti, Antonio, editor, and Leitner, Philipp, editor

Published
2016
Full Text
View/download PDF

10. A Service Discovery Solution for Edge Choreography-Based Distributed Embedded Systems

Author

Sara Blanc, José-Luis Bayo-Montón, Senén Palanca-Barrio, and Néstor X. Arreaga-Alvarado

Subjects
Internet of Things, service choreography, middleware, distributed embedded systems, edge, fog computing, Chemical technology, TP1-1185
Abstract

This paper presents a solution to support service discovery for edge choreography based distributed embedded systems. The Internet of Things (IoT) edge architectural layer is composed of Raspberry Pi machines. Each machine hosts different services organized based on the choreography collaborative paradigm. The solution adds to the choreography middleware three messages passing models to be coherent and compatible with current IoT messaging protocols. It is aimed to support blind hot plugging of new machines and help with service load balance. The discovery mechanism is implemented as a broker service and supports regular expressions (Regex) in message scope to discern both publishing patterns offered by data providers and client services necessities. Results compare Control Process Unit (CPU) usage in a request–response and datacentric configuration and analyze both regex interpreter latency times compared with a traditional message structure as well as its impact on CPU and memory consumption.

Published
2021
Full Text
View/download PDF

11. Semantic Annotation of Service Choreographies

Author

Luu, Vinh Thinh, Ciuciu, Ioana, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Meersman, Robert, editor, Panetto, Hervé, editor, Mishra, Alok, editor, Valencia-García, Rafael, editor, Soares, António Lucas, editor, Ciuciu, Ioana, editor, Ferri, Fernando, editor, Weichhart, Georg, editor, Moser, Thomas, editor, Bezzi, Michele, editor, and Chan, Henry, editor

Published
2014
Full Text
View/download PDF

12. AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications

Author

Dalla Preda, Mila, Giallorenzo, Saverio, Lanese, Ivan, Mauro, Jacopo, Gabbrielli, Maurizio, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Combemale, Benoît, editor, Pearce, David J., editor, Barais, Olivier, editor, and Vinju, Jurgen J., editor

Published
2014
Full Text
View/download PDF

15. Towards the Integration of Ontologies with Service Choreographies

Author

Cortes-Cornax, Mario, Ciuciu, Ioana, Dupuy-Chessa, Sophie, Rieu, Dominique, Front, Agnès, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Demey, Yan Tang, editor, and Panetto, Hervé, editor

Published
2013
Full Text
View/download PDF

16. Synthesis of Resilient Choreographies

Author

Autili, Marco, Di Salle, Amleto, Tivoli, Massimo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Gorbenko, Anatoliy, editor, Romanovsky, Alexander, editor, and Kharchenko, Vyacheslav, editor

Published
2013
Full Text
View/download PDF

17. On Deriving Detailed Component Design from High-Level Service Specification

Author

Fatima, Urooj, Bræk, Rolv, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Haugen, Øystein, editor, Reed, Rick, editor, and Gotzhein, Reinhard, editor

Published
2013
Full Text
View/download PDF

20. On Guaranteeing Global Dependability Properties in Collaborative Business Process Management

Author

Cardellini, Valeria, Casalicchio, Emiliano, Grassi, Vincenzo, Lo Presti, Francesco, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Ardagna, Claudio A., editor, Damiani, Ernesto, editor, Maciaszek, Leszek A., editor, Missikoff, Michele, editor, and Parkin, Michael, editor

Published
2012
Full Text
View/download PDF

21. Lightweight Coordination Calculus for Agent Systems: Retrospective and Prospective

Author

Robertson, David, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Sakama, Chiaki, editor, Sardina, Sebastian, editor, Vasconcelos, Wamberto, editor, and Winikoff, Michael, editor

Published
2012
Full Text
View/download PDF

22. A Petri Net Method for Compatibility Enforcement to Support Service Choreography

Author

Jing Bi, Haitao Yuan, and Mengchu Zhou

Subjects
Service choreography, Petri net, hybrid optimal controller, deadlock prevention, Web service, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
Abstract

Non-local choice mismatch is one of the most important problems in the Internet-scale and service-based workflow ecosystems. The state-of-the-art method can solve it by generating adaptors to check deadlock-freeness based on a reachability graph. The states in the reachability graph give clues to re-design the composition. Deadlocks are resolved via an iterative process. However, this method is inefficient due to the overlook of the future deadlock state and the requirement of many interactions with a developer. In this paper, an abnormity prevention strategy based on an optimal controller is proposed for collaboration services described by Web Services Choreography Description Language. To overcome the deficiencies of the previous work, we describe service choreography by using service workflow nets. Then, by combining structure and reachability analyses, we formulate a different reachability graph called controlled reduced one. We next develop a maximally permissive state feedback control policy to prevent abnormity. We finally construct an optimal controller for the administrator of service composition to avoid deadlocks in service choreography. The advantage of our methodology is verified via an example.

Published
2016
Full Text
View/download PDF

25. From Flow-Global Choreography to Component Types

Author

Kathayat, Surya Bahadur, Bræk, Rolv, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Kraemer, Frank Alexander, editor, and Herrmann, Peter, editor

Published
2011
Full Text
View/download PDF

26. Analyzing Web Service Choreography Specifications Using Colored Petri Nets

Author

Caliz, Enrique, Umapathy, Karthikeyan, Sánchez-Ruíz, Arturo J., Elfayoumy, Sherif A., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Jain, Hemant, editor, Sinha, Atish P., editor, and Vitharana, Padmal, editor

Published
2011
Full Text
View/download PDF

27. Realizability Is Controllability

Author

Lohmann, Niels, Wolf, Karsten, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Laneve, Cosimo, editor, and Su, Jianwen, editor

Published
2010
Full Text
View/download PDF

28. Requirements for Service Composition in Ultra-Large Scale Software-Intensive Systems

Author

Farcas, Claudiu, Farcas, Emilia, Krüger, Ingolf, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Choppy, Christine, editor, and Sokolsky, Oleg, editor

Published
2010
Full Text
View/download PDF

29. Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates.

Author

Autili, Marco, Inverardi, Paola, and Tivoli, Massimo

Subjects
*DISTRIBUTED computing, *COMPUTER software, *CLOUD computing, *INTERNET, *WEB services
Abstract

In the near future we will be surrounded by a virtually infinite number of software applications that provide services in the digital space. This situation promotes reuse-based software production through composition of existing software services distributed over the Internet. Choreographies are a form of decentralized composition that model the external interaction of the participant services by specifying peer-to-peer message exchanges from a global perspective. When third-party (possibly black-box) services are to be composed, obtaining the distributed coordination logic required to enforce the realizability of the specified choreography is a non-trivial and error prone task. Automatic support is then needed. In this paper, we propose a formal approach to the enforcement of choreography realizability through the automatic synthesis of distributed Coordination Delegates (CDs). CDs are additional software entities with respect to the choreography participants. They are synthesized in order to proxify and control the participant services interaction. When interposed among the services, the synthesized entities enforce the collaboration prescribed by the choreography specification. We state correctness of our synthesis method and illustrate its formalization at work on an explanatory example. [ABSTRACT FROM AUTHOR]

Published
2018
Full Text
View/download PDF

30. Future Directions

Author

Maña, Antonio, Spanoudakis, George, Kokolakis, Spyros, Kokolakis, Spyros, editor, Gómez, Antonio Maña, editor, and Spanoudakis, George, editor

Published
2009
Full Text
View/download PDF

31. A Petri-Net-Based Approach to QoS Estimation of Web Service Choreographies

Author

Xia, Yunni, Chen, Jun, Zhou, Mingqiang, Huang, Yu, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Chen, Lei, editor, Liu, Chengfei, editor, Zhang, Xiao, editor, Wang, Shan, editor, Strasunskas, Darijus, editor, Tomassen, Stein L., editor, Rao, Jinghai, editor, Li, Wen-Syan, editor, Candan, K. Selçuk, editor, Chiu, Dickson K. W., editor, Zhuang, Yi, editor, Ellis, Clarence A., editor, and Kim, Kwang-Hoon, editor

Published
2009
Full Text
View/download PDF

32. Service Interaction: Patterns, Formalization, and Analysis

Author

van der Aalst, Wil M. P., Mooij, Arjan J., Stahl, Christian, Wolf, Karsten, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Bernardo, Marco, editor, Padovani, Luca, editor, and Zavattaro, Gianluigi, editor

Published
2009
Full Text
View/download PDF

33. Modeling Service Choreographies Using BPMN and BPEL4Chor

Author

Decker, Gero, Kopp, Oliver, Leymann, Frank, Pfitzner, Kerstin, Weske, Mathias, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Bellahsène, Zohra, editor, and Léonard, Michel, editor

Published
2008
Full Text
View/download PDF

34. WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic

Author

Roman, Dumitru, Kifer, Michael, Fensel, Dieter, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Bechhofer, Sean, editor, Hauswirth, Manfred, editor, Hoffmann, Jörg, editor, and Koubarakis, Manolis, editor

Published
2008
Full Text
View/download PDF

35. Scaling Choreography Modelling for B2B Value-Chain Analysis

Author

Hettel, Thomas, Flender, Christian, Barros, Alistair, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Dumas, Marlon, editor, Reichert, Manfred, editor, and Shan, Ming-Chien, editor

Published
2008
Full Text
View/download PDF

36. Extending BPMN for Modeling Complex Choreographies

Author

Decker, Gero, Puhlmann, Frank, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Meersman, Robert, editor, and Tari, Zahir, editor

Published
2007
Full Text
View/download PDF

39. 3-Level Service Composition and Cashew: A Model for Orchestration and Choreography in Semantic Web Services

Author

Norton, Barry, Pedrinaci, Carlos, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Meersman, Robert, editor, Tari, Zahir, editor, and Herrero, Pilar, editor

Published
2006
Full Text
View/download PDF

40. A Rule-Based Language and Verification Framework of Dynamic Service Composition

Author

Willy Kengne Kungne, Georges-Edouard Kouamou, and Claude Tangha

Subjects
rule-based approach, service choreography, flexibility by change, adaptability, dsl, model checking, Information technology, T58.5-58.64
Abstract

The emergence of BPML (Business Process Modeling Language) has favored the development of languages for the composition of services. Process-oriented approaches produce imperative languages, which are rigid to change at run-time because they focus on how the processes should be built. Despite the fact that semantics is introduced in languages to increase their flexibility, dynamism is limited to find services that have disappeared or become defective. They do not offer the possibility to adapt the composite service to execution. Although rules-based languages were introduced, they remain very much dependent on the BPML which is the underlying technology. This article proposes the specification of a rule-based declarative language for the composition of services. It consists of the syntactic categories which make up the concepts of the language and a formal description of the operational semantics that highlights the dynamism, the flexibility and the adaptability of the language thus defined. This paper also presents a verification framework made of a formal aspect and a toolset. The verification framework translates service specifications into Promela for model checking. Then, a validation framework is proposed that translates the verified specifications to the operational system. Finally, a case study is presented.

Published
2020
Full Text
View/download PDF

41. Dynamic Discovery, Invocation and Composition of Semantic Web Services

Author

Sycara, Katia, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Vouros, George A., editor, and Panayiotopoulos, Themistoklis, editor

Published
2004
Full Text
View/download PDF

43. Deadlock prevention for service orchestration via controlled Petri nets

Author

Haitao Yuan, Jing Bi, and Wei Tan

Subjects
Computer Networks and Communications, Computer science, Distributed computing, Service choreography, 020206 networking & telecommunications, 02 engineering and technology, Deadlock, Petri net, Theoretical Computer Science, Artificial Intelligence, Hardware and Architecture, Reachability, 0202 electrical engineering, electronic engineering, information engineering, Graph (abstract data type), 020201 artificial intelligence & image processing, Deadlock prevention algorithms, Software
Abstract

In multi-party Web service composition, the non-local choice mismatch is one of the most important problems. To solve it, the reachability graph-based method is widely adopted to check deadlock-freeness by generating adaptors. However, this method is inefficient due to the neglect of future deadlock states and requirements of many possible interactions. This work proposes an abnormity prevention strategy and an optimal controller for service collaboration. To overcome drawbacks of previous studies, this work describes service choreography by using service workflow nets. Moreover, this work formulates a novel reachability graph by combining structures and reachability analysis. To present abnormity, a maximally permissive state feedback control policy is then proposed. Furthermore, to avoid deadlocks in service orchestration, this work constructs an optimal controller for administrators of service composition. Finally, experiments demonstrate the advantage of the proposed method via a realistic example.

Published
2019
Full Text
View/download PDF

44. A Service Discovery Solution for Edge Choreography-Based Distributed Embedded Systems

Author

Universitat Politècnica de València. Departamento de Informática de Sistemas y Computadores - Departament d'Informàtica de Sistemes i Computadors, Universitat Politècnica de València, Blanc Clavero, Sara, Bayo-Monton, Jose Luis, Palanca-Barrio, Senén, Arreaga-Alvarado, Néstor X., Universitat Politècnica de València. Departamento de Informática de Sistemas y Computadores - Departament d'Informàtica de Sistemes i Computadors, Universitat Politècnica de València, Blanc Clavero, Sara, Bayo-Monton, Jose Luis, Palanca-Barrio, Senén, and Arreaga-Alvarado, Néstor X.

Abstract

[EN] This paper presents a solution to support service discovery for edge choreography based distributed embedded systems. The Internet of Things (IoT) edge architectural layer is composed of Raspberry Pi machines. Each machine hosts different services organized based on the choreography collaborative paradigm. The solution adds to the choreography middleware three messages passing models to be coherent and compatible with current IoT messaging protocols. It is aimed to support blind hot plugging of new machines and help with service load balance. The discovery mechanism is implemented as a broker service and supports regular expressions (Regex) in message scope to discern both publishing patterns offered by data providers and client services necessities. Results compare Control Process Unit (CPU) usage in a request¿response and datacentric configuration and analyze both regex interpreter latency times compared with a traditional message structure as well as its impact on CPU and memory consumption.

Published
2021

45. Toward Automatic Transformation of Service Choreography Into UMLState Machine.

Author

Rastegari, Yousef and Shams, Fereidoon

Subjects
UNIFIED modeling language, MACHINE learning, BUSINESS logistics, DATA structures, MATHEMATICAL transformations
Abstract

An adaptive process consists of dynamic elements, and management rules which govern their run-time behaviors. The WS-CDL describes collaborative business processes between service consumers and providers. Adapting the processes to runtime changes becomes a demanding challenge, because the WS-CDL has static technology-dependent structure, and does not support the separation of concerns. Here, we propose a model-driven approach to transform WS-CDL into UML state machine (behavioral and protocol models), and subsequently into implementation code. Besides separating the business logic from the implementation, the state machine has a dynamic structure which is verifiable and adaptable. As a result, we can easily modify the process ow or change the management rules at run-time, and re ect their efiects on the running process instances. We present an `itinerary purchase' case study for prototyping the transformation rules. [ABSTRACT FROM AUTHOR]

Published
2015

46. A service evaluation method for cross-cloud service choreography.

Author

Zhang, Shaoqian, Dou, Wanchun, and Chen, Jinjun

Subjects
WEB services, CLOUD computing, CHOREOGRAPHY, QUALITY of service, INTEGER programming
Abstract

Traditionally, a service is often located by its functional specification, and then evaluated by its QoS properties. In practice, a service may have multiple functional specifications for satisfying different users with different expectation descriptions around a similar functional property. For example, a song retrieval service may be enacted by the name of a song or enacted by the lyric of the song if a user does not know the name of the song. In view of this challenge, a service evaluation method promoted by multi-functional specification is proposed for cross-cloud service choreography, in this paper. Concretely speaking, a mixed integer programming model is employed to decompose global constraints into local constraints; then, the evaluation is promoted by multi-functional specification and enacted by brokers for cross-cloud service choreography. At last, experiments are presented to verify our method. Copyright © 2013 John Wiley & Sons, Ltd. [ABSTRACT FROM AUTHOR]

Published
2015
Full Text
View/download PDF

47. Automatic skeleton generation for data-aware service choreographies.

Author

Nguyen, Huu Nghia, Poizat, Pascal, and Zaidi, Fatiha

Abstract

Service-oriented engineering is an emerging software development paradigm for distributed collaborative ap-plications. Services are developed independently and are composed to achieve common requirements. Service choreographies define such requirements from a global perspective, based on interactions among a set of participants that are implemented as services. In this paper, we support a reliable data-aware service choreography development process through a dedicated projection. It extracts, from a choreography, a behavioral skeleton for each of its participants. The projection is valuable in a top-down approach, where developers have only to complete the skeletons with some business code in order to get a distributed application that matches the choreography requirements. The projection is also valuable in a bottom-up approach, where the skeletons can act as controllers between reused services in order to enforce the respect of the choreography. Our approach is supported with a tool that can be downloaded or used online. [ABSTRACT FROM PUBLISHER]

Published
2013
Full Text
View/download PDF

48. Non-functional analysis of service choreographies.

Author

Bartolini, Cesare, Bertolino, Antonia, De Angelis, Guglielmo, Ciancone, Andrea, and Mirandola, Raffaela

Abstract

A highly important aspect in service compositions is to guarantee the established Quality-of-Service (QoS). However, the modeling of non-functional properties of service choreographies is neglected in the OMG standard BPMN notation, so that other, separate languages should be used to specify QoS constraints and then traced back to the functional BPMN model. We introduced an approach called Q4BPMN by which non-functional requirements can be directly expressed within the BPMN model. This paper leverages Model Driven Engineering (MDE) techniques to automatically handle non-functional properties expressed with Q4BPMN in order to obtain information useful both to highlight intrinsic features of the service choreography and to detect possible model criticalities. Specifically, we transform a Q4BPMN model into the pivot KLAPER notation, on which we can directly exploit the analysis tools within the KLAPERSUITE environment. Hence this paper provides the first step towards automated non-functional analysis of service choreographies. [ABSTRACT FROM PUBLISHER]

Published
2012
Full Text
View/download PDF

49. CDLChecker: A WS-CDL analysis tool.

Author

Jiang, Siyuan, Zhou, Lei, and Qi, Yanxia

Abstract

This paper presents a tool for the analysis of WS-CDL, which gives a global view on the collaboration among a collection of services involving multiple different organizations for independent processes. This tool is named by CDLChecker with providing three functionalities. The first one is the simulation of real WS-CDL programs. The CDLChecker can simulate the execution of WSCDL programs involving Web services provided by the third-party, where external variable definitions are resolved by an XML parser we designed. The second one is to validate the constraints specified in WS-CDL specification. The static and dynamic constraints are specified by abstract machines from B method, and the corresponding validation algorithm is integrated into this tool. The last part of this tool can verify the user-related properties of service choreography, such as channel absence and channel redundancy. The back-end verification engine we used here is the Spin model checker. [ABSTRACT FROM PUBLISHER]

Published
2012
Full Text
View/download PDF

50. Service Choreography and Orchestration with Conversations

Author

Bultan, Tevfik, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, van Breugel, Franck, editor, and Chechik, Marsha, editor

Published
2008
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results