Service oriented architecture-based design of bank-ATM and its verification with Petri-net

2021 ◽  
Vol 16 (4) ◽  
pp. 343
Author(s):  
Amar Nath ◽  
Santanu Kumar Rath
Keyword(s):  
Petri Net ◽  
Service Oriented Architecture ◽  
Service Oriented

scholarly journals QoS Measurement of Workflow-Based Web Service Compositions Using Colored Petri Net

2014 ◽  
Vol 2014 ◽  
pp. 1-14 ◽  
Author(s):  
Hossein Nematzadeh ◽  
Homayun Motameni ◽  
Radziah Mohamad ◽  
Zahra Nematzadeh
Keyword(s):  
Web Services ◽  
Web Service ◽  
Petri Net ◽  
Process Model ◽  
Service Oriented Architecture ◽  
Colored Petri Net ◽  
Service Oriented ◽  
Business Process Execution ◽  
And Performance

Workflow-based web service compositions (WB-WSCs) is one of the main composition categories in service oriented architecture (SOA). Eflow, polymorphic process model (PPM), and business process execution language (BPEL) are the main techniques of the category of WB-WSCs. Due to maturity of web services, measuring the quality of composite web services being developed by different techniques becomes one of the most important challenges in today’s web environments. Business should try to provide good quality regarding the customers’ requirements to a composed web service. Thus, quality of service (QoS) which refers to nonfunctional parameters is important to be measured since the quality degree of a certain web service composition could be achieved. This paper tried to find a deterministic analytical method for dependability and performance measurement using Colored Petri net (CPN) with explicit routing constructs and application of theory of probability. A computer tool called WSET was also developed for modeling and supporting QoS measurement through simulation.

A Novel Framework of Using Petri Net to Timed Service Business Process Modeling

2016 ◽  
Vol 26 (04) ◽  
pp. 633-652 ◽  
Author(s):  
Xiaoxian Yang ◽  
Tao Yu ◽  
Huahu Xu
Keyword(s):  
Business Process ◽  
Petri Net ◽  
Business Processes ◽  
Service Oriented Architecture ◽  
Functional Requirements ◽  
Service Model ◽  
Distributed Services ◽  
Service Business ◽  
Service Oriented ◽  
Time Requirements

In open and changeful Internet, the enterprise business process needs to be organized or restructured dynamically in order to adapt to environment changes and business logic updates. The solution of Web service and service-oriented architecture (SOA) provides a promising approach. The business processes working as a temporary workflow can be composed by distributed services. However, the cross-organizational service feature of business process requires considering not only the functional requirements but also the timed constraints. The timed property plays an important role in service interactions between business processes, such as timed activity, timeout and timed deadlock. Thus, if time requirements cannot be guaranteed, the new created business process will not be acceptable. In this paper, it proposes a framework of using Petri Net to model timed service business process. First, it defines the behavior model of service business process and gives process composition patterns for different structural forms. Second, service model is extended with time specifications, describing timed constraints among business activity interactions. Third, to support further verifications, it introduces a method for the automatic timed properties generation in the form of temporal logic formulae. Our framework gives a reference in practice to formalize service business process into timed service model.

The Decision-Making Method of Web Services Composition Based on Action Patterns of Open Fuzzy Petri Net

2014 ◽  
Vol 667 ◽  
pp. 89-92
Author(s):  
Xin Jian Fang ◽  
Xian Wen Fang
Keyword(s):  
Web Services ◽  
Petri Net ◽  
Service Oriented Architecture ◽  
Web Services Composition ◽  
Behavioral Profile ◽  
Services Composition ◽  
Fuzzy Petri Net ◽  
Behavioral Constraints ◽  
Service Oriented ◽  
And Behavior

In the word of service-oriented architecture and collaboration, it is important to deal with sub-services of cooperating components. In existing research, functions to meet and behavior predictability are two major aspects of Web services composition, but there are some limitations to treatment of behavioral constraints. Based on an open fuzzy Petri net, by using action patterns of behavioral profile, the paper analyzes behavior constraint under the condition that subnets composition are satisfied, puts forward a kind of method of deciding the composability of the subnets. Finally, the theoretical analysis and simulation results show the effectiveness of the method.

Sign in / Sign up

Export Citation Format

Share Document