Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
The increasing trend towards powerful mobile phones opens many possibilities for valuable personalised services to be available on the phone. Client-side personalisation for these ...
Simon Gerber, Michael Fry, Judy Kay, Bob Kummerfel...
We promote the use of transactional attributes for modelling business processes in the service-oriented scenario. Transactional attributes have been introduced in Enterprise JavaBe...
Laura Bocchi, Roberto Guanciale, Daniele Strollo, ...
In this article, we present the GI-Cat web service: a SOAP-based service which provides the basic functionalities for GI dataset cataloguing and access. The introduced GI-Cat data...
Lorenzo Bigagli, Stefano Nativi, Paolo Mazzetti, G...