Performance prediction of service-oriented systems with layered queueing networks

M Tribastone, P Mayer, M Wirsing - International Symposium On …, 2010 - Springer
We present a method for the prediction of the performance of a service-oriented architecture
during its early stage of development. The system under scrutiny is modelled with the UML …

Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity

M Wirsing, M Hölzl, L Acciai, F Banti, A Clark… - … Applications of Formal …, 2008 - Springer
Abstract The IST-FET Integrated Project Sensoria is developing a novel comprehensive
approach to the engineering of service-oriented software systems where foundational …

From BPEL to SRML: a formal transformational approach

L Bocchi, Y Hong, A Lopes, JL Fiadeiro - Web Services and Formal …, 2008 - Springer
Abstract The SENSORIA Reference Modelling Language (SRML) provides primitives for
modelling business processes in a technology agnostic way. At the core of SRML is the …

[PDF][PDF] Specification, composition and provision of trustworthy context-dependent services

NI Ibrahim - 2012 - spectrum.library.concordia.ca
Ubiquitous computing opened big markets for service provision and consumption bringing
benefits for both service providers and consumers. At the same time, it introduced many …

An exploratory survey on SOA knowledge, adoption and trend in the Italian industry

M Leotta, F Ricca, M Ribaudo, G Reggio… - 2012 14th IEEE …, 2012 - ieeexplore.ieee.org
The main aim of this work is investigating the level of knowledge and diffusion of SOA
(Service Oriented Architecture) in the Italian industry. We are also interested to understand …

A context-dependent service model

N Ibrahim, V Alagar, M Mohammmed - EAI Endorsed Transactions on …, 2014 - eudl.eu
In service-oriented systems a service invariably is bound to a contract. This contract includes
the functionalities and quality of services guarantees that the provider can make. But such …

A service-oriented architecture for the provision and ranking of student-oriented courses

N Ibrahim - EAI Endorsed Transactions on e-Learning, 2016 - publications.eai.eu
Research has long proved that student learn in different styles. Different students have
different capabilities and needs. On the other hands, in the last few years the popularity of …

Engineering service oriented applications: From StPowla processes to SRML models

L Bocchi, S Gorton, S Reiff-Marganiec - International Conference on …, 2008 - Springer
Abstract Service Oriented Computing is a paradigm for developing software systems as the
composition of a number of services. Services are loosely coupled entities, can be …

Sensoria – Software Engineering for Service-Oriented Overlay Computers

M Wirsing, M Hölzl, N Koch, P Mayer - Rigorous Software Engineering for …, 2011 - Springer
Abstract Service-Oriented Computing is a paradigm where services are understood as
autonomous, platform-independent computational entities that can be described, published …

Policy-driven Reconfiguration of Service-targeted Business Processes

SM Gorton - 2011 - figshare.le.ac.uk
Workflows are a key part of Business Process Management, o ering the potential to
automate a number of business activities. Workflows are though constrained to their design …