Verification of Models in a MDA Approach for Collaborative Business Processes

[1]  Omar Chiotti,et al.  Transforming Collaborative Business Process Models into Web Services Choreography Specifications , 2006, DEECS.

[2]  Laure Petrucci,et al.  The Petri Net Markup Language: Concepts, Technology, and Tools , 2003, ICATPN.

[3]  Omar Chiotti,et al.  MDA Approach for Collaborative Business Processes: Generating Technological Solutions based on Web Services Composition , 2006, CIbSE.

[4]  Andrea Ferrara,et al.  Web services: a process algebra approach , 2004, ICSOC '04.

[5]  Omar Chiotti,et al.  Applying Model-Driven Development to Collaborative Business Processes , 2005, CIbSE.

[6]  Fabio Casati,et al.  Model-Driven Web Service Development , 2004, CAiSE.

[7]  Remco M. Dijkman,et al.  Service-Oriented Design: A Multi-Viewpoint Approach , 2004, Int. J. Cooperative Inf. Syst..

[8]  Bran Selic,et al.  The Pragmatics of Model-Driven Development , 2003, IEEE Softw..

[9]  Marcello La Rosa,et al.  From Collaboration Models to BPEL Processes Through Service Models , 2005, Business Process Management Workshops.

[10]  Gerti Kappel,et al.  Comparing WSDL-Based and ebXML-Based Approaches for B2B Protocol Specification , 2003, ICSOC.

[11]  W.M.P. van der Aalst,et al.  Analyzing BPEL processes using Petri nets , 2005 .

[12]  Sebastián Uchitel,et al.  Model-Based Analysis of Obligations in Web Service Choreography , 2006, Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services (AICT-ICIW'06).

[13]  Youcef Baghdadi.  ABBA: an architecture for deploying business-to-business electronic commerce applications , 2004, Electron. Commer. Res. Appl..