The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Discrete Event Models for Web Service Processes
Abstract
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.
Related Content
|
Yuvika Singh, Esha Bansal, Nisha Chanana.
© 2024.
26 pages.
|
|
Nitish Kumar Minz, Anshika Prakash, Meenal Arora, Rishi Chaudhary, Saurav Dixit.
© 2024.
14 pages.
|
|
Manoj Govindaraj, Chandramowleeswaran Gnanasekaran, R. Kandavel, Parvez Khan, Sinh Duc Hoang.
© 2024.
20 pages.
|
|
Ravishankar Krishnan, Elantheraiyan Perumal, Manoj Govindaraj, Logasakthi Kandasamy.
© 2024.
22 pages.
|
|
Sanjay Taneja, Rishi Prakash Shukla, Amandeep Singh.
© 2024.
11 pages.
|
|
Mune Moğol Sever.
© 2024.
23 pages.
|
|
Sujay Vikram Singh, Terrance Ancheary, Anish Mondal, Shashank Rajauria.
© 2024.
17 pages.
|
|
|