A calculus of mobile processes, I
Information and Computation
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
FlowManager: A Workflow Management System Based on Petri Nets
COMPSAC '02 Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment
XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology
CAiSE '02/ WES '02 Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web
An adaptive distributed workflow system framework
APSEC '00 Proceedings of the Seventh Asia-Pacific Software Engineering Conference
Architectural styles and the design of network-based software architectures
Architectural styles and the design of network-based software architectures
Web Services Platform Architecture: SOAP, WSDL, WS-Policy, WS-Addressing, WS-BPEL, WS-Reliable Messaging and More
Developing web services choreography standards: the case of REST vs. SOAP
Decision Support Systems - Special issue: Web services and process management
Microformats: a pragmatic path to the semantic web
Proceedings of the 15th international conference on World Wide Web
Concurrency and Computation: Practice & Experience - Workflow in Grid Systems
Fundamental Modeling Concepts: Effective Communication of IT Systems
Fundamental Modeling Concepts: Effective Communication of IT Systems
Semantics and analysis of business process models in BPMN
Information and Software Technology
Bite: Workflow Composition for the Web
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
The Petri net markup language: concepts, technology, and tools
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Hypermedia-driven RESTful service composition
ICSOC'10 Proceedings of the 2010 international conference on Service-oriented computing
Formal modeling of RESTful systems using finite-state machines
ICWE'11 Proceedings of the 11th international conference on Web engineering
A finite-state machine approach for modeling and analyzing restful systems
Journal of Web Engineering
Control-Flow Patterns for Decentralized RESTful Service Composition
ACM Transactions on the Web (TWEB)
Hi-index | 0.00 |
Representational State Transfer (REST) has received a lot of attention recently as architectural style for distributed systems made up of loosely coupled resources. While most research in process enactment focuses on BPEL and SOAP, most internet applications are based on REST. To leverage this new architectural style also for process enactment, this paper introduces process enactment in REST environments. The approach is based on Service Nets, a specific class of Petri nets supporting value passing and link passing mobility. Implementation considerations of a prototype are presented. The approach is compared with the traditional BPEL/SOAP approach to process enactment.