Second generation workflow management systems need to deal with heterogeneity of platforms within and across cooperating enterprises along with legacy applications and data. At the same time, there is increasing demand for advanced features for supporting missioncritical processes, including adaptability through dynamic changes and scalability. The workflow management system METEOR is based on ...

The sh-verification tool supports a verification method for cooperating systems based on formal languages. It comprises computing abstractions of finite-state behaviour representations as well as automata and temporal logic based verification approaches. A small but typical example shows the steps for analysing its dynamic behaviour using the sh-verification tool.

In this research, we focus on active sensing solutions to address challenging properties in complex environments, such as uncertainty, partial observability, non-stationarity, and limited resources. We describe our ongoing contributions, focusing on sensing for both individual agents and cooperating teams. We also outline how we are applying our research to two real-world applications: personal...

This paper investigates the power of the stream X machines ba sed on cooperating distributed grammar systems which replaces relations by functions The case of regular rules is considered The deterministic case is introduced in order to allow the application of some already deve loped testing strategies Some conditions for getting equivalent stream X machines in the derivation mode are studied

Metadata in environmental management systems support searching and browsing operations. XMLbased metadata systems can store metadata in a flexible manner that is suitable also for small and medium size organizations. Our EcoExplorer software package consists of three closely cooperating programs for the management of XML-based environmental metadata. It is implemented in Java and therefore plat...

This article proposes a model-based testing approach for cooperating robotic systems. Coloured Petri Nets are used for capturing the high behavioural multiplicity of such systems in a compact and scalable way. For the purpose of systematically extracting test cases from underlying models, a number of coverage criteria based on different model entities is introduced. Finally, in order to ensure ...

The paper presents diverse control system implementation techniques for autonomous robots. It takes into account that such control systems require programming means for communicating the tasks that have to be executed by the robots and that those devices must have both considerable sensor data gathering capability and technical means for communicating and cooperating with other devices, presuma...