To adapt to rapidly changing market conditions and increase the return of investment, today’s IT solutions usually combine service-oriented architecture (SOA) and event-driven architecture (EDA) that support reusability, flexibility, and responsiveness of business processes. Programming languages for development of event-driven service compositions face several main challenges. First, a languag...

TRAP/BPEL is a framework that adds autonomic behavior into existing BPEL processes automatically and transparently. We define an autonomic BPEL process as a composite Web service that is capable of responding to changes in its execution environment (e.g., a failure in a partner Web service). Unlike other approaches, TRAP/BPEL does not require any manual modifications to the original code of the...

Geospatial Web Services (GWS) provide access to geospatial data and expose basic processing functionality using Web Service technology. The complexity of geo-processing tasks necessitates the discovery of basic Web Services and their combination to user-oriented and application-specific service compositions. Semantic heterogeneity has been identified as a core problem that hinders the full expl...

To provide a framework to compose lots of specialised services flexibly, BPEL is proposed to describe Web service flows. Since the Web service flow description is basically a distributed collaboration, writing correct programs in BPEL is not easy. Verifying BPEL program prior to its execution is essential. This paper proposes a method to extract the behavioral specification from a BPEL appliati...

Web service technology offers a promising approach for realizing enterprisewide and cross-organizational business applications. With the Business Process Execution Language for Web Services (BPEL, also known as WS-BPEL or BPEL4WS) a powerful language for the process-oriented composition and orchestration of Web services exists. However, BPEL flow specifications tend to be too complex, and curre...

The paper presents a Petri net infrastructure that should allow sharing Petri nets on the Semantic Web. Previous solutions only provide model interchange mechanisms between Petri net tools. The Petri net ontology is a central part of our solution. The ontology is closely related to the Petri Net Markup Language (PNML) – an ongoing Petri net community sharing effort. We developed the Petri net o...

Configuring production processes based on process platforms has been well recognized as an effective means for companies to provide product variety while maintainingmass production efficiency. The production processes of product families involve diverse variations in manufacturing and assembly processes resulted from a large variety of component parts and assemblies. This paper develops a multi...