Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets-Reference-Cited by-同舟云学术

Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets

Published:2012-03 Issue:3 Volume:77 Page:290-313
ISSN:0167-6423
Container-title:Science of Computer Programming
language:en
Short-container-title:Science of Computer Programming

Author:

Valero Valentín,Macià Hermenegilda,Pardo Juan José,Cambronero María Emilia,Díaz Gregorio

Publisher

Elsevier BV

Subject

Software

Reference44 articles.

1. Interval timed coloured Petri nets and their analysis;van der Aalst;Lecture Notes in Computer Science,1993

2. Analysis of railway stations by means of interval timed coloured Petri nets;van der Aalst;Real-Time Systems,1995

3. W.M.P. van der Aalst, M. Dumas, C. Ouyang, A. Rozinat, H.M.W. Verbeek, Choreography conformance checking: an approach based on BPEL and Petri nets, in: Dagstuhl Seminar Proccedings 06291, The Role of Business Processes in SOA, 2006. http://drops.dagstuhl.de/opus/volltexte/2006/830.

4. On Petri nets with stochastic timing;Ajmone Marsan,1985

5. Web Services;Alonso,2002

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Compositional workflow modeling with priority constraints;Science of Computer Programming;2021-03

2. Service Orchestration with Priority Constraints;Fundamentals of Software Engineering;2019

3. Service Modelling and Verification: A Formal Approach;Webservices;2018-12-01

4. Usage of CPN Models in Web Service Compositions-A Survey;2017 International Conference on Technical Advancements in Computers and Communications (ICTACC);2017-04

5. Web Service Choreography Verification Using Z Formal Specification;International Journal of Engineering;2016-11