The BPMSOA: evaluating the enactment of a business process using application domain specific grid services

ABSTRACT

The Business Process Models and grid-enabled Service Oriented Architecture (BPMSOA) framework facilitates the enactment of a business process using application domain specific grid services. In this paper, we use a role-based instance of BPMSOA to enact the Search process of the digital libraries domain. Furthermore, in order to find the extent to which the BPMSOA contributes in bridging the gap between business process models and grid systems, an evaluation framework has been defined. Using this evaluation framework the structural, flow and informational translations are verified at different levels of the BPMSOA for correctness and consistency. In addition, the evaluation framework is used to validate the behavioural correctness of the process being enacted. The BPMSOA evaluation using the Search process reveals that the step by step model translations enable the Search process model to be enacted using Pi-Architectural Description Language (π-ADL) and to be executed using application domain specific grid services as a step towards bridging the gap between business process models and grid-enabled SOA (GSOA).

REFERENCES

• 1: Khan, Z. A. and Odeh, M. 2007. A Framework for Translating RAD business process models into Pi-ADL. Proceeding of Arab Conference of IT (ACIT) 2007, (Syria -- 2007).
• 2: Khan, Z. A. and Odeh, M. 2008. Business Process Modelling: Coarse to Fine Grain Mapping Using Metamodels. Proceedings of IASTED Software Engineering 2008, (Innsbruck, Austria -- February 2008).
• 3: Khan, Z. A. and Odeh, M. 2008. The BPMSOA: Linking Utility Grid Services with Executable Business Processes using the pi-ADL based Proxy Router. Proceedings of the 3rd Int. Conf. on Info. & Communication Technologies from Theory to Application. (Damascus, Syria -- April 2008).
• 4: Khan, Z. A, Odeh, M. and McClatchey R. 2006. Digital Libraries: From Process Modelling to Grid-based Service Oriented Architecture, Proceedings of the 2nd Int. Conference on Information & Communication Technologies from Theory to Application. (Damascus, Syria -- 2006). 1(). 280--285. ISBN: 0-7803-9521-2.
• 5: Muhammad Ali Babar , Liming Zhu , Ross Jeffery, A Framework for Classifying and Comparing Software Architecture Evaluation Methods, Proceedings of the 2004 Australian Software Engineering Conference, p.309, April 13-16, 2004
• 6: Liliana Dobrica , Eila Niemelä, A survey on software architecture analysis methods, IEEE Transactions on Software Engineering, v.28 n.7, p.638-653, July 2002 [doi>10.1109/TSE.2002.1019479]
• 7: Ian Sommerville, Software Engineering (7th Edition), Pearson Addison Wesley, 2004
• 8: Flavio Oquendo, π-ADL: an Architecture Description Language based on the higher-order typed π-calculus for specifying dynamic and mobile software architectures, ACM SIGSOFT Software Engineering Notes, v.29 n.3, May 2004 [doi>10.1145/986710.986728]
• 9: Juristo, N. and Morant, J. "Common framework for the evaluation process of KBS and conventional software". Elsevier Knowledge-Based Systems. 11 (2) 1998. 145--159.
• 10: Ian Sommerville , Gerald Kotonya, Requirements Engineering: Processes and Techniques, John Wiley & Sons, Inc., New York, NY, 1998
• 11: RADModeller. 2006. RADModeller: Instream Tools, Access URL: http://www.instream.co.uk/radmodeller.html, Accessed on: 10/09/2006.
• 12: J2SE. 2007. Java Standard Edition (JDK 6), Access URL: http://java.sun.com/, Accessed on: 1/12/2007.
• 13: ArchWare Project, ArchWare EmptyStore Repository, Access URL: http://intranet.cs.man.ac.uk/ipg/research/projects/AW/, Accessed on: 26/03/2008, 2007.
• 14: Sotomayor B. 2005. The Globus Toolkit 4.0, Access URL: http://gdp.globus.org/gt4-tutorial/multiplehtml/index.html, Accessed on: 14/12/2007.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.1 Requirements/Specifications

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.4 Software/Program Verification
          Subjects: Model checking; Validation

General Terms:
Algorithms, Design, Experimentation, Verification

Keywords:
SOA, business process modelling, digital libraries, execution and evaluation, grid services, process enactment