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 …

We propose a formal operational semantics for service discovery and binding. This
semantics is based on a graph-based representation of the configuration of global …

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 present a tracking algorithm based on motion analysis of regional affine invariant image
features. The tracked object is represented with a probabilistic occupancy map. Using this …

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 …

Complexity, not in the formal sense of the theory of algorithms or complexity science, but in
the more current meaning of “the state or quality of being intricate or complicated”, seems to …

At present, there exist many modeling techniques for capturing business semantics from
different perspectives: transactional, goal-oriented, aspect-oriented, value-oriented, etc. The …

There are a huge number of scientific papers and reports intended for practitioners, not
forgetting whole books and websites, presenting modelling methods in the field of software …