Simulation and Execution of Service Models using ISDL

Dick Quartel

2008

Abstract

This paper presents a technique and tool to simulate and execute service models specified in the Interaction System Design Language (ISDL). This language allows one to model the interacting behaviour of a service, at successive abstraction levels, and from the perspective of the different roles a system can play in the service. A distinction is made between basic and composite modelling concepts. Simulation is performed on the basic concepts of ISDL. In this way, any composite concept that is defined as a composition of the basic concepts can be simulated. Composite concepts can be added as shorthands to ISDL. An example is the operation concept. In addition, ISDL allows model elements to be stereotyped, such that they can be handled differently by the simulator. The paper shows how web-service operations can be modelled in this way, and be executed as part of the simulation of a web-service composition.

References

  1. van der Aalst W, ter Hofstede A, Kiepuszewski B and Barros A. 'Workflow Patterns'. In: Distributed and Parallel Databases, 14(3), 2003, pp. 5-51.
  2. Baader F, et al. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press. 2003. ISBN 0521781760.
  3. Barros A, Dumas M and ter Hofstede A. Service Interaction Patterns. In: Proceedings of the 3rd International Conference on Business Process Management, 2005, pp. 302-318.
  4. Belecheanu R, et al. Business Process Ontology Framework. Deliverable 1.1. Project IST 026850 SUPER, 2007.
  5. de Bruijn J, et al. Web Service Modeling Ontology (WSMO) - W3C Member Submission 3 June 2005. http://www.w3.org/Submission/WSMO/.
  6. Colombo M, Di Nitto E, Di Penta M, Distante D, Zuccalà M. Speaking a Common Language: 'A Conceptual Model for Describing Service-Oriented Systems'. In: Proc. of the 3rd International Conference on Service-Oriented Computing (ICSOC), 2005, pp. 48-60.
  7. CPNTools - Computer Tools for Coloured Petri Nets. http://wiki.daimi.au.uk/cpntools//cpntools.wiki.
  8. Dirgahayu T, Quartel D and van Sinderen M. Development of Transformations from Business Process Models to Implementations by Reuse, In: 3th International Workshop on Model-Driven Enterprise Information Systems, 2007, pp. 41-50.
  9. van Eck P, Blanken H, Wieringa R. Project GRAAL: Towards Operational Architecture Alignment. In: Int. Journal of Cooperative Information Systems 13(3), 2004, pp. 235-255.
  10. Elenius D, et al. The OWL-S Editor - A Development Tool for Semantic Web Services. In: Proc. of the Second European Semantic Web Conference (ESWC), 2005, pp. 78-92.
  11. ElipseUML. http://www.eclipsedownload.com/.
  12. ISDL. http://ctit.isdl.utwente.nl.
  13. JAX-WS and JAXB. http://java.sun.com/webservices/technologies/index.jsp.
  14. Jonkers H, et al. Concepts for Modelling Enterprise Architectures. In: International Journal of Cooperative Information Systems, vol. 13, no. 3, 2004, pp. 257-287.
  15. Martin D, et al. OWL-S: Semantic Markup for Web Services - W3C Member Submission 22 November 2004. http://www.w3.org/Submission/OWL-S.
  16. McGuinnes D and van Harmelen F. OWL Web Ontology Language Overview - W3C Recommendation 10 February 2004. http://www.w3.org/TR/owl-features/.
  17. Milanovic N and Malek M. Current Solutions for Web Service Composition. In: IEEE Internet Computing, Vol. 8, No. 6, 2004, pp. 51-59.
  18. Narayanan S. and McIlraith S. 'Simulation, verification and automated compostion of web services'. Proceedings of the 11th International Conference on World Wide Web, 2002, pp. 77-88.
  19. Octopus tool. http://www.klasse.nl/octopus/index.html.
  20. OMG-BPMN, 2006. Business Process Modeling Notation Specification. dtc/06-02-01.
  21. OMG-OCL. (2006) Object Constraint Language - Version 2.0. formal/06-05-01.
  22. Prud'hommeaux E and Seaborne A. SPARQL Query Language for RDF - W3C Proposed Recommendation 12 November 2007. http://www.w3.org/TR/rdf-sparql-query/.
  23. Quartel D, Steen M, et al. COSMO: a conceptual framework for service modelling and refinement. In: Information Systems Frontiers, 9 (2-3), 2007, pp. 225-244.
  24. Quartel D and van Sinderen M. On interoperability and conformance assessment in service composition. In: Proceedings of the Eleventh IEEE International EDOC Enterprise Computing Conference (EDOC 2007), 2007, pp. 229-240.
  25. Quartel D, et al. On Architectural Support for Behaviour Refinement in Distributed Systems Design. Journal of Integrated Design & Process Science, 6 (1), 2002, pp. 1-30.
  26. SaaS. http://en.wikipedia.org/wiki/SaaS.
  27. Scicluna J, Abela C and Montebello M. 'Visual Modeling of OWL-S Services'. Proceedings of the IADIS Internation Conference WWW/Internet, 2004.
  28. W3C. Web Services Architecture W3C Working Group Note 11 February 2004. http://www.w3.org/TR/ws-arch/.
  29. Web Service Modeling Toolkit. http://sourceforge.net/projects/wsmt.
  30. Web Service Modeling Language, at http://www.wsmo.org/wsml/.
  31. WSMO (Web Service Modeling Ontology) Studio. http://www.wsmostudio.org/.
Download


Paper Citation


in Harvard Style

Quartel D. (2008). Simulation and Execution of Service Models using ISDL . In Proceedings of the 2nd International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing - Volume 1: ACT4SOC, (ICSOFT 2008) ISBN 978-989-8111-55-5, pages 52-64. DOI: 10.5220/0001899100520064


in Bibtex Style

@conference{act4soc08,
author={Dick Quartel},
title={Simulation and Execution of Service Models using ISDL},
booktitle={Proceedings of the 2nd International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing - Volume 1: ACT4SOC, (ICSOFT 2008)},
year={2008},
pages={52-64},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001899100520064},
isbn={978-989-8111-55-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing - Volume 1: ACT4SOC, (ICSOFT 2008)
TI - Simulation and Execution of Service Models using ISDL
SN - 978-989-8111-55-5
AU - Quartel D.
PY - 2008
SP - 52
EP - 64
DO - 10.5220/0001899100520064