Software Engineering with Petri Nets: A Web Service and Agent Perspective

Author(s):  
Tobias Betz ◽  
Lawrence Cabac ◽  
Michael Duvigneau ◽  
Thomas Wagner ◽  
Matthias Wester-Ebbinghaus

Commercial-off-the-shelf (COTS) Simulation Packages (CSPs) are widely used in industry primarily due to economic factors associated with developing proprietary software platforms. Regardless of their widespread use, CSPs have yet to operate across organizational boundaries. The limited reuse and interoperability of CSPs are affected by the same semantic issues that restrict the inter-organizational use of software components and web services. The current representations of Web components are predominantly syntactic in nature lacking the fundamental semantic underpinning required to support discovery on the emerging Semantic Web. The authors present new research that partially alleviates the problem of limited semantic reuse and interoperability of simulation components in CSPs. Semantic models, in the form of ontologies, utilized by the authors’ Web service discovery and deployment architecture, provide one approach to support simulation model reuse. Semantic interoperation is achieved through a simulation component ontology that is used to identify required components at varying levels of granularity (i.e. including both abstract and specialized components). Selected simulation components are loaded into a CSP, modified according to the requirements of the new model and executed. The research presented here is based on the development of an ontology, connector software, and a Web service discovery architecture. The ontology is extracted from example simulation scenarios involving airport, restaurant and kitchen service suppliers. The ontology engineering framework and discovery architecture provide a novel approach to inter-organizational simulation, by adopting a less intrusive interface between participants Although specific to CSPs this work has wider implications for the simulation community. The reason being that the community as a whole stands to benefit through from an increased awareness of the state-of-the-art in Software Engineering (for example, ontology-supported component discovery and reuse, and service-oriented computing), and it is expected that this will eventually lead to the development of a unique Software Engineering-inspired methodology to build simulations in future.


Author(s):  
XUDONG HE

Petri nets, a formal model for concurrent and distributed systems, have been widely applied in system modeling and analysis in almost every branch of computer science and many other scientific and engineering disciplines in the past half century. In this comprehensive survey, we review some major developments of Petri nets that have enhanced their modeling capabilities and in particular the methods to incorporate well-known software engineering development paradigms in Petri nets to support general software system modeling.


2014 ◽  
Vol 6 (2) ◽  
pp. 110-113 ◽  
Author(s):  
Mohammad Salah Uddin ◽  
S. Ripon ◽  
Nakul C. Das ◽  
Orin Hossain

2012 ◽  
Vol 605-607 ◽  
pp. 2351-2357 ◽  
Author(s):  
Shi Yang Deng ◽  
Yu Yue Du

A new model is proposed based on logic Petri nets for web service clusters. The service parameters of a cluster are unified and logical expressions are introduced to represent the indeterminacy of service clusters. A service cluster can be used as an integrated unit and parameter matching can be decided based on semantic similarity and logical inference in a service cluster. Some algorithms of web service discovery and composition are given based on logic Petri nets, and the redundant services are removed from service compositions by a backward method. The availability and efficiency of the proposed approach are illustrated by the experiments with large repositories of different sizes.


Sign in / Sign up

Export Citation Format

Share Document