grid computing is an emerging computing paradigm that will have significant impact on the next generation information infrastructure. due to the largeness and complexity of grid system, its quality of service, performance and reliability are difficult to model, analyze and evaluate. this paper proposes a virtual tree-structured model of the grid service. this model simplifies the physical struc...

Service composition is an important mean for integrating the individual Web services to create new value added systems that satisfy complex requirements. However, it is challenging to guarantee the reliability of service composition in a distributed, dynamic and complex environment. This paper proposes an approach to constructing the reliable service composition. The underlying formalism is Pet...

Web services are becoming the prominent paradigm for distributed computing and electronic business. This has raised the opportunity for service providers and application developers to develop value-added services by combining existing web services. However the current web service composition solutions, even for the applications developed on the basis of the standard Business Process Execution L...

Based on the Petri net definitions and theorems already formalized in the Mizar article [13], in this article we were able to formalize the definition of cell Petri nets. It is based on [12]. Colored Petri net has already been defined in [11]. In addition, the conditions of the firing rule and the colored set to this definition, that defines the cell Petri nets are further extended to CPNT.i fu...

With the rapid advances of computer-based technology in mission-critical domains such as aerospace, military, and power industries, critical systems exhibit more complex, dependent, and dynamic behaviors. Such dynamic system behaviors cannot be fully captured by existing reliability modelling tools. In this paper, we introduce a new reliability modelling tool, called dynamic reliability block d...

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 combination of basic Web Services to user-oriented and application-specific service compositions. Semantic heterogeneity and lack of automation have been identified as core problems that hinder the full ex...

The Web services architecture defines separate specifications for the composition and the coordination of Web services. BPEL is a language for creating service compositions in the form of business processes, whereas the WS-Coordination framework defines coordination protocols for distributed activities. In this paper, we investigate the combination of these two aspects to compose coordinated We...

An approach generating automatically the data dependency diagrams of the orchestrated complex Web services is presented. The method is derived from the Model-Based Reasoning paradigm, whose origin comes from Artificial Intelligence applied to engineered systems. It is achieved by modeling BPEL activities by Petri nets, enriched to represent data dependencies, and by proposing aggregation rules ...

E very organization faces the challenge of integrating diverse IT systems. Developers must first solve communication-level integration issues, ensuring that systems using different transport protocols and data formats can exchange information. Once these issues are resolved, organizations must decide how their various IT systems can interact to support business processes. Business process model...