A modeling and simulation-based methodology to support dynamic negotiation for web service applications

SIMULATION ◽  
2010 ◽  
Vol 88 (3) ◽  
pp. 315-328 ◽  
Author(s):  
Moath Jarrah ◽  
Bernard Zeigler
Keyword(s):  
Web Service ◽  
Service Oriented Architecture ◽  
Discrete Event ◽  
Discrete Event System ◽  
Event System ◽  
System Entity Structure ◽  
Simulation Based ◽  
Message Structure ◽  
Service Oriented ◽  
Geographically Distributed

Different negotiation engineering domains require the system designer to tailor the negotiation framework according to the domain under which it will be used. This process of system design is timely consuming when supporting different geographically distributed and dynamic environments. Here we show a methodology to design negotiation systems by integrating domain-dependent message structure ontology with domain-independent marketplace architecture. The methodology gives the system designers a powerful modeling tool that can be used to tailor the framework in order to support different negotiation behaviors under different domains. The system entity structure formalism is used to build the domain-dependent ontology while the finite deterministic discrete event system formalism is used to build the marketplace model. The discrete event system with service oriented architecture simulation environment was employed to demonstrate a proof of concept of applicability to web service domains.

Discrete Event Models for Web Service Processes

2012 ◽  
pp. 91-132
Author(s):  
Yuhong Yan ◽  
May Haydar
Keyword(s):  
Web Service ◽  
Business Processes ◽  
Discrete Event ◽  
Expressive Power ◽  
Discrete Event System ◽  
Service Process ◽  
System Models ◽  
Event System ◽  
Process Engine ◽  
Description Languages

Web service processes are business processes composed of individual Web services. Web service process description languages, used in both choreography and orchestration, are influenced by techniques from workflow modeling, formal methods and software engineering. Since such languages are based on software scripts to be executed by a process engine, their expressive power indeed is beyond classic discrete event system models, such as process algebra and Petri nets. This chapter analyzes and compares different Web service process description languages, discusses the issues in using discrete event system models to model Web service processes, and also compares Web service processes with workflow processes. The chapter also discusses the suitable methods based on the formal models for various computing tasks, such as verification and validation.

Web Service Candidate Identification Using the Firefly Algorithm

2018 ◽  
Vol 15 (4) ◽  
pp. 45-60
Author(s):  
Negar Abbasi ◽  
Ali Moeini ◽  
Taghi Javdani Gandomani
Keyword(s):  
Web Service ◽  
Firefly Algorithm ◽  
Service Oriented Architecture ◽  
High Reliability ◽  
Legacy Software ◽  
Service Identification ◽  
Service Oriented ◽  
Automatic Methods ◽  
Reservation System ◽  
Candidate Identification

Identification of web service candidates in legacy software is a crucial process in the reengineering of legacy systems to service oriented architecture. Researchers have proposed various automatic and semi-automatic methods for this purpose, some of which have proved to be quite efficient, but there are still certain gaps which need to be addressed. This article discovers the strengths and weaknesses of previous methods and develops a method with improved service candidate identification performance. In this article, service identification is considered as a search and optimization problem and a firefly algorithm is developed accordingly to give high-quality solutions in reasonably short times. A filtering method is also developed to remove excess modules (false positives) from the algorithm outputs. A case study on a legacy flight reservation system demonstrates the high reliability of the outputs given by the proposed method.

scholarly journals Discrete Event System Control in Max-Plus Algebra: Application to Manufacturing Systems

2020 ◽  
Vol 53 (4) ◽  
pp. 143-150
Author(s):  
Gabriel Freitas Oliveira ◽  
Renato Markele Ferreira Candido ◽  
Vinicius Mariano Gonçalves ◽  
Carlos Andrey Maia ◽  
Bertrand Cottenceau ◽  
...  
Keyword(s):  
Manufacturing Systems ◽  
Discrete Event ◽  
Discrete Event System ◽  
System Control ◽  
Event System

scholarly journals Mitigation of Classes of Attacks using a Probabilistic Discrete Event System Framework

2020 ◽  
Vol 53 (4) ◽  
pp. 35-41
Author(s):  
Ze Yang Wang ◽  
Rômulo Meira-Góes ◽  
Stéphane Lafortune ◽  
Raymond H. Kwong
Keyword(s):  
Discrete Event ◽  
Discrete Event System ◽  
System Framework ◽  
Event System
Sign in / Sign up

Export Citation Format

Share Document