Web Service Interaction Modeling with Colored Petri Nets

Gozhyj, Aleksandr; Калініна, Ірина; Gozhyj, Victor; Vysotska, Victoria

doi:10.1109/idaacs.2019.8924400

Cited by 13 publications

(5 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The following methods can be used to solve assignment problems: linear programming (Hungarian algorithm, simplex method), integer programming (Branchand-Bound method, Cutting-plane method) (Bowman et al, 2002;Flesch et al, 2003;Neogy et al, 2020;Torabi Yeganeh & Zegordi, 2020), ant colony (Dowsland & Thompson, 2008;Wang et al, 2009), genetic algorithm (Dey et al, 2019;Sahu & Tapadar, 2006), graphs colouring (Gozhyj et al, 2019;Monasson, 2004;Zais & Laguna, 2016), artificial neural networks (Philipsen & Stok, 1991;Zhu & Yang, 2006), heuristic methods (Wu & Sweeting, 1994).…”

Section: An Overview Of Problem-solving Methodsmentioning

confidence: 99%

Game problem of assigning staff to project implementation

Kowalska-Styczeń¹,

Kravets²,

Lytvyn³

et al. 2023

Decis. Mak. Appl. Manag. Eng.

View full text Add to dashboard Cite

This article describes how to solve the game problem of assigning staff to work on projects based on the ontological approach. The stochastic game algorithm for colouring an undirected random graph has been used to plan project implementation. The stochastic game mathematical model has been described, and the self-learning Markov method has been used for its solution. It is highlighted that the goal of the players is to minimize the functions of average losses. The Markov recurrent method that provides the adaptive choice of colours for the vertices of the random graph based on dynamic vectors of mixed strategies, the values of which depend on the current losses of players has been used. A computer experiment was carried out, which confirmed the convergence of the stochastic game for the problem of colouring the random graph. In conclusion. the possibility of defining the procedure for appointing staff to implement projects has been justified.

show abstract

Section: An Overview Of Problem-solving Methodsmentioning

confidence: 99%

Game problem of assigning staff to project implementation

Kowalska-Styczeń¹,

Kravets²,

Lytvyn³

et al. 2023

Decis. Mak. Appl. Manag. Eng.

View full text Add to dashboard Cite

show abstract

“…For the joint use of basic and combined operations of the algebra of services, an example of building a composite (pharmaceutical) service is presented, in which modelling of the interaction of web services based on Petri nets is used [33]. parallel telecom operator, simulating the execution of a combined service, which activates the execution of two PHWS and PhWS services simultaneously with synchronization and information exchange.…”

Section: Building Models Of a Composite Web Servicementioning

confidence: 99%

Models of risk management in development projects for housing and utility service providers

Gozhyj¹,

Kalinina²,

Gozhyj³

2022

AAIT

View full text Add to dashboard Cite

The article describes a method for developing and modelling composite web-services. Web-service composition is used to derive new functionality from the interaction of existing web-services. Composite web-services are built in several stages: specifications (determining the type of service); development of the structure of the service based on the algebra of services; service composition modelling; selecting a service variant and generating a service. The main elements of the proposed approach are the algebra of services and web-services interaction models (basic and composite). The above approach formally presents the consideration of the main aspects in solving problems related to the construction of effective composite web-services and the selection of mathematical models, namely: description of web-services, determining the structure of web-services, taking into account the dynamics of information changes, taking into account the main uncertainties in building the structure web-services. Based on the approach, a method for constructing composite web-services has been developed. The method is based on an algebraic description of a web-service based on a specialized algebra of services. The method consists of the following steps: description of the task of developing a web-service; development of the structure of a web service based on the algebra of services; formal description of the structure and clarification of service operations; building models of functioning and interaction of service components; building simulation models of the composite service; defining the final structure of the composite service; web-service implementation. The main tool for describing composite services is the algebra of services, and the model building tool is colouredPetri nets implemented using СPN Tools. As an example of the application of the developed method, the construction of a pharmaceutical service is described, in which the modellingof the interaction of web-services based on Petri nets is used. The process of building a composite model of a web-service is considered. The process begins with building a pharmaceutical web-service model structure based on the service algebra. Based on the service algebra, operators were developed to implement composite services. The structure of the model is developed, which is presented in the form of a formal description. The process of building pharmaceutical service models in the СPN Tools environment is described in detail.

show abstract

“…And a usable tool, CPN Tools [25], can be used for CPN modelling, simulation, and model checking analysis. Petri net and its extension are widely used in software design and management [26], workflow analysis [27,28], modelling analysis [29,30], fault diagnosis, and protocol verification [31,32]. Additionally, the CPN can provide technical support for error detection by model checking.…”

Section: Related Workmentioning

confidence: 99%

Concurrent software fine‐coarse‐grained automatic modelling by Coloured Petri Nets for model checking

2022

View full text Add to dashboard Cite

The state space explosion restricts the error detection of concurrent software. The abstraction can provide a solution to avoid state space explosion, but it is easy to ignore important details, resulting in inaccurate detection results. This paper proposes a methodology of fine-coarse-grained automatic modelling for Java source programs. By the principle that the execution details of property-unchecked, non-interactive, and unrelated statements do not affect the model checking results, we model coarse-grained model fragments for such statements, while fine-grained model fragments for property-checked, interactive, and related statements. Our method reduces the model and state space and ensures the error detection of the source program based on model checking. Moreover, we prove the equivalence of the fine-grained model, the coarse-grained model, and the program. Finally, this paper gives an experiment to verify the effectiveness of the proposed method.

show abstract

Web Service Interaction Modeling with Colored Petri Nets

Cited by 13 publications

References 9 publications

Game problem of assigning staff to project implementation

Game problem of assigning staff to project implementation

Models of risk management in development projects for housing and utility service providers

Concurrent software fine‐coarse‐grained automatic modelling by Coloured Petri Nets for model checking

Contact Info

Product

Resources

About