Service engineering with the SIMS design and validation tools

Authors:
Cyril Carrez;Lotte Johansen;Paweł Cieślak;Stefan Hänsgen
Affiliations:
NTNU, Department of Telematics, Trondheim, Norway and SINTEF ICT, Oslo, Norway;NTNU, Department of Telematics, Trondheim, Norway;Institute of Telecommunications, Warsaw University of Technology, Warsaw, Poland;Gentleware AG, Hamburg, Germany
Venue:
Nordic Journal of Computing
Year:
2008

Citing 6
Cited 1

A behavioral notion of subtyping

ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal Ontology in Information Systems: Proceedings of the 1st International Conference June 6-8, 1998, Trento, Italy

Formal Ontology in Information Systems: Proceedings of the 1st International Conference June 6-8, 1998, Trento, Italy
What Are Ontologies, and Why Do We Need Them?

IEEE Intelligent Systems
Service Specification by Composition of Collaborations--An Example

WI-IATW '06 Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology
Swoop: A Web Ontology Editing Browser

Web Semantics: Science, Services and Agents on the World Wide Web
Describing component collaboration using goal sequences

DAIS'08 Proceedings of the 8th IFIP WG 6.1 international conference on Distributed applications and interoperable systems

A comprehensive engineering framework for guaranteeing component compatibility

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

As service engineering using modelling languages like UML increases, tool support for design and validation becomes important. However, few UML tools support validation of service behaviour. The SIMS project has developed a complete tool chain to support service engineering, with validation opportunities built in the model. This paper presents this tool suite, which consists of three tightly integrated parts, each one developed as plug-ins to the Eclipse platform: a UML editor tailored for service engineering, a service validator called Ramses for behaviour validation, and a tool to link the UML model with an ontology - Artefact Wizard. The tools are such that service developers follow quite smoothly the service development process used in SIMS.