In order to develop a Supercomputing Cloud Platform (SCP) prototype system using Service-Oriented Architecture (SOA) and Petri nets, we researched some technologies for Web service composition. Specifically, in this paper, we propose a reliability calculation method for Web service compositions, which uses Fuzzy Reasoning Colored Petri Net (FRCPN) to verify the Web service compositions. We put ...

During the last years, many approaches have been proposed in order to address the issue of automated service composition. In this chapter, we discuss the so-called “Roman model”, in which services are abstracted as transition systems and the objective is to obtain a composite service that preserves a desired interaction, expressed as a (virtual) target service. We will also outline its deployme...

In this paper, we propose a new algorithm for the derivation of a protocol specification in Pr/T-nets, which is the specification of communicating N entities (N can be given), from a given service specification in Pr/T-nets and an allocation of the places of the service specification to the N entities. Our algorithm decomposes each transition of the service specification into a set of communica...

Japan’s mid-century strategy for reducing greenhouse gas emissions by 80% in 2050 would require large-scale energy system transformation and associated increases mitigation costs. Nevertheless, the role of demand reduction, especially reductions related to services such as behavioral changes material use efficiency improvements, have not been sufficiently evaluated. This study aims identify key...

Cross-organizational business processes are gaining increased attention these days, especially with the service oriented architecture (SOA) as a realization for business process management (BPM). In SOA, interaction agreements between business partners are defined as choreographies containing common interaction patterns. However, complex interactions are difficult to specify, basically because ...

xi 1 Workshop Introduction 1 1.1 SOA Research Agenda 1 1.1.1 Service-Oriented Systems Life Cycle 1 1.1.2 Taxonomy of SOA Research Topics 1 1.2 Evolution of the SOA Research Agenda through MESOA 2 1.2.1 Tools, Techniques, and Environments to Support Maintenance Activities 3 1.2.2 Multilanguage System Analysis and Maintenance 3 1.2.3 Reengineering Processes for Migration to SOA Environments 4 1.2...