EconBiz - Find Economic Literature
    • Logout
    • Change account settings
  • A-Z
  • Beta
  • About EconBiz
  • News
  • Thesaurus (STW)
  • Academic Skills
  • Help
  •  My account 
    • Logout
    • Change account settings
  • Login
EconBiz - Find Economic Literature
Publications Events
Search options
Advanced Search history
My EconBiz
Favorites Loans Reservations Fines
    You are here:
  • Home
  • Search: subject:"Open Workflow Nets"
Narrow search

Narrow search

Year of publication
Subject
All
BPEL 1 CTL 1 Compatibility 1 Formal Analysis 1 Model Checking 1 Open Workflow Nets 1 Petri Nets 1 Web Services Composition 1
more ... less ...
Online availability
All
Undetermined 1
Type of publication
All
Article 1
Language
All
English 1
Author
All
Guerfel, Rawand 1 Sbaï, Zohra 1
Published in...
All
International Journal of Service Science, Management, Engineering, and Technology (IJSSMET) 1
Source
All
Other ZBW resources 1
Showing 1 - 1 of 1
Cover Image
CTL Model Checking of Web Services Composition based on Open Workflow Nets Modeling
Sbaï, Zohra; Guerfel, Rawand - In: International Journal of Service Science, Management, … 7 (2016) 1, pp. 27-42
Web services composition (WSC) has an enormous potential for the organizations in the B2B area. In fact, different services collaborate through the exchange of messages to implement complex business processes. BPEL is one of the most used languages to develop such cooperation. However, it has...
Persistent link: https://www.econbiz.de/10012048093
Saved in:
A service of the
zbw
  • Sitemap
  • Plain language
  • Accessibility
  • Contact us
  • Imprint
  • Privacy

Loading...