The importance of modelling the dynamic characteristics of the architecture of software
systems has long been recognised. However, the nature of the dynamics of service-oriented …

Abstract Service-oriented Computing is rapidly gaining importance across several
application domains due to its capability of composing autonomous and loosely-coupled …

In the last decades, development turned from monolithic software products towards more
flexible software components that can be provided on world-wide markets in form of …

We put forward an interface and component algebra through which we characterise
fundamental structures that support service-oriented design independently of the specific …

The importance of modelling the dynamic architectural characteristics of software systems
has long been recognised. However, the nature of the dynamic architectural characteristics …

We propose a logic-independent approach to logic programming through which the
paradigm as we know it for Horn-clause logic can be explored for other formalisms. Our …

Formally describing and analysing quantitative requirements of software components might
be important in software engineering; in the paradigm of API-based software systems might …

In this paper, we provide a mathematical semantics for a fragment of a language–SRML–
that we have defined in the IST-FET-GC2 Integrated Project SENSORIA for modelling …

We present, a bounded to statically analyse Quality of Service () properties of message-
passing systems. We consider QoS properties on measurable application-level attributes as …

We develop formal foundations for notions and mechanisms needed to support service-
oriented computing. Our work builds on recent theoretical advancements in the algebraic …