Narrow search
Showing 1 - 7 of 7
Cover Image
Comparing and evaluating Petri net semantics for BPEL
Lohmann, Niels; Verbeek, Eric; Ouyang, Chun; Stahl, … - In: International journal of business process integration … 4 (2009) 1, pp. 60-73
Persistent link: https://www.econbiz.de/10003867266
Cover Image
A declarative language and toolkit for scientific workflow implementation and execution
Jamil, Hasan; Islam, Aminul; Hossain, Shahriyar - In: International journal of business process integration … 5 (2010/11) 1, pp. 3-17
Persistent link: https://www.econbiz.de/10003984412
Cover Image
Process space-based scientific workflow enactment
Sonntag, Mirko; Görlach, Katharina; Karastoyanova, Dimka; … - In: International journal of business process integration … 5 (2010/11) 1, pp. 32-44
Persistent link: https://www.econbiz.de/10003984454
Cover Image
A methodology for domain-specific business process modelling and implementation
Brahe, Steen; Bordbar, Behzad - In: International journal of business process integration … 4 (2009) 1, pp. 5-17
Persistent link: https://www.econbiz.de/10003875647
Cover Image
Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis
Amme, Wolfram; Martens, Axel; Moser, Simon - In: International journal of business process integration … 4 (2009) 1, pp. 47-59
Persistent link: https://www.econbiz.de/10003875657
Cover Image
Specifying the business collaboration framework in the Contract Expression Language
Wang, Xin - In: International journal of business process integration … 4 (2009) 3, pp. 200-208
Persistent link: https://www.econbiz.de/10003944223
Cover Image
Interface theory-based formalisation and verificaiton of orchestration in BPEL4WS
Chen, Zhengbang; Wang, Ji; Dong, Wei; Qi, Zhichang - In: International journal of business process integration … 2 (2007) 4, pp. 262-281
Persistent link: https://www.econbiz.de/10003720912