Figure 6: Verification of ordering process properties using Petri Net based software tool.
REFERENCES
Aalst Van der W.M.P. and Weske M. 2001. The P2P
approach to Interorganizational Workflows. In Proc.
of CAiSE'01, LNCS Vol. 2068, pp.140-156. Springer.
Aalst van der W. M. P., Van Hee K., ter Hofstede A.,
Sidorova N., Verbeek H., 2010. Soundness of
Workflow Nets: classification, decidability, and
analysis. Formal Aspects of Computing, pp. 1-31.
Adam, Hofer, Zhang, 2004. Cross-Enterprise Business
Process Management Architecture – Methods and
Tools for Flexible Collaboration, In Proc. of MIOS.
Bauer B., Müller P., and Roser S., 2006. A Decentralized
Broker Architecture for Collaborative Business
Process Modelling and Enactment, In Proc. of the 2nd
Int. Conference IESA’2006, pp. 115-126.
Bauer B. Muller J.P ., Roser S., 2005. A model-driven
approach to designing cross-enterprise business
processes, Volume 3292 of LNCS, Springer,.
Bézivin, J., Dupé, G., Jouault F., 2003. First Experiments
with the ATL Model Transf. Language: Transforming
XSLT into XQuery, In proc. of 2nd OOPSLA.
Chebbi I., Dustdar S., Tata S., 2006. The view-based
approach to dynamic inter-organizational workflow
cooperation, DKE, Vol. 56, pp.139-173.
Chen M., Zhang D., Zhou L., 2007. Empowering
collaborative commerce with Web services enabled
business process management systems, Decision
Support Systems, Vol.43, pp. 530-546.
Dorn J., Grün C., Werthner H., and Zapletal M. 2007. A
Survey of B2B Methodologies and Technologies:
From Business Models towards Deployment Artifacts.
Proceedings of HICSS’07, USA.
Eclipse Oranisation: Eclipse Platform, URL:
http://www.eclipse.org , accessed on June 2012.
Frankel D.S., 2003. Model Driven Architecture –
Applying MDA to Enterprise Computing. Wiley.
Greiner, U., Lippe, S., Kahl, T., Ziemann, J. 2006.
Designing and implementing cross-organizational
business processes. In Proc. of I-ESA’2006.
Hammoudi S., Alouini W., Lopes D., Huchard M.
2010. Towards A Semi-Automatic Transformation
Process in MDA: Architecture, Methodology and First
Experiments. IJISMD, Vol.1 Issue 4, pp. 48-76.
Huemer C., Liegl P., Schuster R., Werthner H., and
Zapletal M., 2008. Inter-organizational Systems: From
Business Values over Business Processes to
Deployment. Proc. of DEST’2008.
Legner C., Vogel Tobias, Löhe Jan, 2008. Transforming
Inter-Organizational Business Processes into Service-
Oriented Architectures. Method and Application, In
Proc. of KiVS’2007, Switzerland.
Lippe, Greiner, Barros, 2005. A Survey on State of the Art
to Facilitate Modelling of Cross-Organisational
Business Processes. In Proc. of XML4BPM 2005.
Santos N., Duarte F.J., 2013. A Transformation of
Business Process Models into Software-Executable
Models Using MDA, LNBIP Vol.133, pp 147-167.
OMG: BPMN 2.0, 2011. available at:
http://www.omg.org/BPMN/, accessed on June 2012.
Ouyang, C., Dumas, M., Aalst, W. M. P., Ter Hofstede,
A.H.M., 2009. “From business process models to
process-oriented software systems”, ACM Trans. on
Software Eng. Methodology, Vol. 19(1), pp.1-37.
Peltz Chris, 2003. Web services Orchestration and
Choreography, IEEE Computer, 36(10), pp.45-52,
Touzi J., Bénaben F., 2009. A Model-driven approach for
collaborative service-oriented architecture, Int. J. of
Production Economics, Vol. 121 No 1, pp. 5-20.
Ziemann Jorg, Matheis Thomas, Freiheit Jorn, 2007.
Modelling of Cross-Organizational Business
Processes, Proceedings EMISA’2007, LNI, Vol.119,
pp.87-100.
AFrameworkforProcess-basedCollaborativeSystemsDesign
97