Dynamic Testing and Deployment of a Contract Monitoring Service

Ellis Solaiman, Ioannis Sfyrakis, Carlos Molina-Jimenez

2015

Abstract

Internet and cloud based services involve electronic interactions that are normally regulated using service agreements (SA). Once an agreement between business partners is in place, a service can be monitored and/or enforced using an SA equivalent electronic contract. Because of the dynamic nature of such Internet and cloud based relationships, the rapidity at which electronic contracts are constructed, verified for correctness, tested, and deployed is an extremely important factor. This paper describes a model checker based framework for supporting the automated testing and deployment of electronic contracts. The central components of the framework are a contract monitoring service called the Contract Compliance Checker (CCC), the SPIN model checker, and EPROMELA, a language developed specifically for modeling electronic contracts. We describe how SPIN can be used to automatically generate execution sequences from an EPROMELA model of a contract, and how such sequences can then be used to test the correctness of the model equivalent electronic contract deployed to the CCC.

References

  1. Abdelsadiq, A., Molina-Jimenez, C., and Shrivastava, S. (2011). A high level model checking tool for verifying service agreements. In The 6th IEEE International Symposium on Service-Oriented System Engineering (SOSE 2011). IEEE.
  2. El-Far, I. K. (2001). Enjoying the perks of model-based testing. In Proc. of the Software Testing, Analysis, and Review Conference (STARWEST 2001).
  3. Fraser, G., Wotawa, F., and Ammann, P. (2009). Testing with model checkers: A survey. Software Testing, Verification and Reliability, pages 215-261.
  4. Galton, A. (1987). Temporal logics and computer science: An overview. Academic Press, pages ch. 1, pp. 2748.
  5. Holzmann, G. J. (2003). The Spin model checker: primer and reference manual. AddisonWesley Professional.
  6. Hvitved, T. (2010). A survey of formal languages for contracts. In n Fourth Workshop on Formal Languages and Analysis of ContractOriented Software (FLACOS10).
  7. Ludwig, H. and Stolze, M. (2003). Simple obligation and right model (sorm)-for the runtime management of electronic service contracts. In 2nd Intl Workshop on Web Services, eBusiness, and the Semantic Web (WES03) LNCS, volume 3095, pages 62-76.
  8. Molina-Jimenez, C. and Shrivastava, S. (2013). Establishing conformance between contracts and choreographies. In 15th IEEE Conference on Business Informatics (CBI). 2013, Vienna, Austria: IEEE Computer Society. IEEE.
  9. Molina-Jimenez, C., Shrivastava, S., and Cook, N. (2007). Implementing business conversations with consistency guarantees using message-oriented middleware. In IEEE 11th Intl Enterprise Computing Conf. (EDOC 07), pages 51-62.
  10. Molina-Jimenez, C., Shrivastava, S., Solaiman, E., and Warne, J. (2003). Contract representation for runtime monitoring and enforcement. In 2003 IEEE International Conference on E-Commerce (CEC 2003). IEEE.
  11. Molina-Jimenez, C., Shrivastava, S., and Strano, M. (2009). Exception handling in electronic contracting. In IEEE Conference on Commerce and Enterprise Computing (CEC). 2009, Vienna, Austria. IEEE.
  12. Molina-Jimenez, C., Shrivastava, S., and Strano, M. (2012). A model for checking contractual compliance of business interactions. IEEE TRANSACTIONS ON SERVICES COMPUTING, 5(2):276-289.
  13. Molina-Jimenez, C., Shrivastava, S., and Wheater, S. (2011). An architecture for negotiation and enforcement of resource usage policies. In IEEE International Conference on Service Oriented Computing & Applications (SOCA). IEEE.
  14. OASIS (2006). ebXML Business Process Specification Schema Technical Specification v2.0.4. Available: http://docs.oasis-open.org/ebxmlbp/2.0.4/OS/spec/ebxmlbp-v2.0.4-Spec-os-en.pdf.
  15. OMG (2011). process model and notation (bpmn) version 2.0. http://www.omg.org/spec/BPMN/2.0/.
  16. Pezze, M. and Young, M. (2008). Software Testing and Analysis: Process, Principles and Techniques. Wiley.
  17. RedHat (2013). ”Drools”. http://www.drools.org/.
  18. RedHat (2014). JBoss Enterprise Application Platform v 6.3. http://www.redhat.com/en/technologies/jbossmiddleware/application-platform.
  19. Solaiman, E., Molina-Jimenez, C., and Shrivastava, S. (2003). Model checking correctness properties of electronic contracts. In International Conference on Service Oriented Computing (ICSOC03). Springer.
  20. Strano, M., Molina-Jimenez, C., and Shrivastava, S. (2008). A rule-based notation to specify executable electronic contracts. In Rule Representation, Interchange and Reasoning on the Web: International Symposium (RuleML). Springer-Verlag.
  21. Strano, M., Molina-Jimenez, C., and Shrivastava, S. (2009). Implementing a rule-based contract compliance checker. In Software Services for e-Business and e-Society: 9th IFIP WG 6.1 Conference on e-Business, e-Services and e-Society (I3E). Springer.
  22. Torsel, A.-M. (2013). A testing tool for web applications using a domain-specific modelling language and the nusmv model checker. In IEEE Sixth International Conference on Software Testing, Verification and Validation.
  23. Ungureanu, V. and Minsky, N. H. (2000). Establishing business rules for interenterprise electronic commerce. In 14th International Symposium on Distributed Computing (DISC00), pages 179-193.
  24. Utting, M. and Legeard, B. (2006). Practical Model-Based Testing: A Tools Approach. MorganKaufmann.
  25. Van der Aalst, W. and Pesic, M. (2006). Decserflow: Towards a truly declarative service flow language. In Bravetti M, Nunez M, Zavattaro G (eds) International Conference on Web Services and Formal Methods (WS-FM 2006), volume 4184, pages 1-23. Lecture Notes in Computer Science Springer-Verlag.
Download


Paper Citation


in Harvard Style

Solaiman E., Sfyrakis I. and Molina-Jimenez C. (2015). Dynamic Testing and Deployment of a Contract Monitoring Service . In Proceedings of the 5th International Conference on Cloud Computing and Services Science - Volume 1: CLOSER, ISBN 978-989-758-104-5, pages 463-474. DOI: 10.5220/0005453704630474


in Bibtex Style

@conference{closer15,
author={Ellis Solaiman and Ioannis Sfyrakis and Carlos Molina-Jimenez},
title={Dynamic Testing and Deployment of a Contract Monitoring Service},
booktitle={Proceedings of the 5th International Conference on Cloud Computing and Services Science - Volume 1: CLOSER,},
year={2015},
pages={463-474},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005453704630474},
isbn={978-989-758-104-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Conference on Cloud Computing and Services Science - Volume 1: CLOSER,
TI - Dynamic Testing and Deployment of a Contract Monitoring Service
SN - 978-989-758-104-5
AU - Solaiman E.
AU - Sfyrakis I.
AU - Molina-Jimenez C.
PY - 2015
SP - 463
EP - 474
DO - 10.5220/0005453704630474