We present a model for the dynamics of discrete deterministic systems, based on an extension of the Petri nets framework. Our model relies on the definition of a priority relation between conflicting transitions, which is encoded by orienting the edges of a transition conflict graph. We provide...

A humanoid robot is inherently complex due to the heterogeneity of accessory devices and to the interactions of various interfaces, which will be exponentially increased in multiple robotics collaboration. Therefore, the design and implementation of multiple humanoid robotics (MHRs) remains a...

The paper presents a systematic method of the design of cooperative task planning and execution for complex robotic systems using multiple robots. Because individual robots can autonomously execute their dedicated tasks, in cooperative multi-robot systems, robotic activities should be designed...

Web services composition (WSC) has an enormous potential for the organizations in the B2B area. In fact, different services collaborate through the exchange of messages to implement complex business processes. BPEL is one of the most used languages to develop such cooperation. However, it has...

Diagnosing faults in a service-oriented architecture (SOA) is a difficult task due to limited accessibility of software services. Probabilistic approaches of diagnostic faults may be insufficient due to the black-box nature of services. In SOA, software services may be obtained by different...

The emerging service-oriented computing paradigm advocatesbuilding distributed information systems by chaining reusable servicesinstead of by programming from scratch. To do so, not only businessprocesses, but also business rules, policies and constraints need tobe encoded in a process language...

In der Dissertation wird ein Spezifikationsrahmen dargestellt, mit dem sich die Au?ensicht von (Software-) Komponenten in einer normierten und vollst?ndigen Weise beschreiben l?sst. Dazu werden verschiedene methodische Vorgaben geschaffen, mit denen sich die f?r die betriebliche...

Information Confidentiality and Data Protection Networks (ICPN) support process modelers and process managers in not only taking a purely technical view of data protection and confidentiality, but also in taking it into account at an early stage in the design of business processes. The Petri-net...

Ergebnis der Arbeit ist ein wissensbasierter Ansatz zum Aufbau elektronischer Marktsysteme und die Beschreibung seiner Umsetzung in ein in der Praxis erprobtes und mehrfach erfolgreich eingesetztes System. Zielgruppe der Entwicklung sind kleine und mittlere Unternehmen (KMU), die mit diesem...