The demand for more complex but also more reliable and correct computer based systems
on the one hand, and the fact that several changes in the user requirements through the …

The value proposition of Web service technology lies in composability, reusability, and
substitutability, a set of key characteristics that however give rise to major challenges when …

The paper discusses the modelling aspects of systems with dynamic processes and
dynamic structure. A combination of models bringing together the benefits of two paradigms …

Reliability and trust are fundamental prerequisites for the establishment of functional
relationships among peers in a Collaborative Networked Organisation (CNO), especially in …

The dynamic nature of biological systems' structure, and the continuous evolution of their
components require new modelling approaches. In this paper it will be investigated how …

Multi-agent systems exhibit highly dynamic behaviour within dynamic environments.
Modelling of individual agents within such systems demands considering both evolving data …

Recent advances in both the testing and verification of software based on formal
specifications of the system to be built have reached a point where the ideas can be applied …

We believe that the task of develo** large systems requires a formal approach. The
complexity of these systems demands techniques and tool support to simplify the task of …

Social insect colonies present an interesting problem for formal modelling due to their
outstanding characteristics, such as self-organisation and emergence. In this paper, we …

Currently, the issues of trust and dependability on thirdparty Web services are becoming key
challenges in the success of service oriented computing in industrial environments. One …