Railway Stations are prone to emergency due to various reasons and proper monitor of railway stations are of immense importance from various angles. A Petri-net representation of a web-service-based Emergency management system has been proposed in this paper which will help in monitoring situation of train, track, signal etc. and in case of any emergency, necessary resources can be dispatched. ...

Web services are widely used thanks to their features of universal interoperability between software assets, platform independent and loose-coupled. Web services composition is one of the most challenging topics in service computing area. In this paper, an approach based on High Level Petri-Net model as dynamic configuration schema of web services composition is proposed to achieve self adaptat...

In Agent Based Scheduling and Planning Systems, autonomous agents are used to represent enterprises and operating scheduling/planning tasks. As application domains become more and more complex, agents are required to handle a number of changing and uncertain factors. This requirement makes it necessary to embed state prediction mechanisms in Agent Based Scheduling and Planning Systems. In this ...

Workflow provenance is an important supportive component that encompasses knowledge sharing, product reusability and process verification. The emerging cloud computing paradigm offers new application opportunities but also raises research challenges, such as integrity, privacy, security and legal related issues. In this paper, we propose a Colored Petri Net (CPN) model for diagnosis based on Op...

Web Service: Self-contained software module available via a network. SOA: Service-oriented architecture, a software architecture based on Web services. BP: A Business Process “consists of a set of activities that are performed in coordination in an organizational and technical environment.”[42] BPM: Business Process Management “includes concepts, methods, and techniques to support the design, a...

Configurable business software solutions are increasingly being implemented based on service oriented architectures (SOA). Hereunto model driven approaches for the definition and implementation of such software systems are indispensable. In addition reference models with pre-defined business processes can accelerate decisively the implementation of standard software solutions. In this paper we ...

The negotiation on Service Level Agreement (SLA) in current complex cloud environment often involves the multilateral negotiation. Therefore, this paper presents an SLA-oriented multiparty trust negotiation model based on Hierarchical Colored Petri Net (HCPN) in cloud environment. This model mainly provides trust negotiation of SLA parameters such as credibility, reliability, availability and s...

The Web is rapidly becoming the platform through which many companies deliver services to businesses and individual customers. E-Services are typically delivered point-to-point; however, the e-service environment creates the opportunity for providing value-added, integrated services, which are delivered by composing existing e-services, possibly offered by different companies. In order to enabl...

This thesis presents an approach to design, specify, validate, verify, implement, and evaluate composed web/grid services. Web and grid services can be composed to create new services with complex behaviours. The BPEL (Business Process Execution Language) standard was created to enable the orchestration of web services, but there have also been investigation of its use for grid services. BPEL s...