Learn More
Systems based on the service-oriented architecture (SOA) principles have become an important cornerstone of the development of enterprise-scale software applications. They are characterized by separating functions into distinct software units, called services, which can be published , requested and dynamically combined in the production of business(More)
– Redundant sensing capabilities are often required in sensor network applications due to various reasons, e.g. robustness, fault tolerance, or increased accuracy. At the same time high sensor redundancy offers the possibility of increasing network lifetime by scheduling sleep intervals for some sensors and still providing continuous service with help of(More)
We present a framework for the simulation and formal analysis of workflow models. We discuss (i) how a workflow model, implemented in the BPEL language, can be transformed into a dataflow network model, (ii) how potentially incorrect execution paths can be incorporated, and (iii) how the properties of a workflow can be formally verified using the SPIN model(More)
Due to the increasing need of highly dependable services in Service-Oriented Ar-chitectures (SOA), service-level agreements include more and more frequently such non-functional aspects as security, safety, availability, reliability, etc. Whenever a service can no longer be provided with the required QoS, the service requester needs to switch dynamically to(More)
As Web service-based system integration recently became the mainstream approach to create composite services, the dependability of such systems becomes more and more crucial. Therefore, extensions of the common service composition techniques are urgently needed in order to cover dependability aspects and a core concept for the dependability estimation of(More)
—As the Internet of Things (IoT) pervasively extends to all facets of life, the " Things " are increasingly extending to include the interconnection of the Internet to Critical Infrastructures (CI) such as telecommunication, power grid, transportation, e-commerce systems, etc. The objective of this paper is twofold: (i) addressing IoT from a CI protection(More)
—Robustness, fault tolerance, and a long lifetime are key requirements of sensor networks used in real-world applications. Dense sensor networks with high sensor redundancy offer the possibility of redundant sensing and low duty-cycle operation at the same time; thus, the required robust sensing services can be provided along with an elongated lifetime. In(More)
As more and more business-critical systems are based upon services deployed over flexible and dynamic platforms like Service-Oriented Architecture (SOA), there is an increasing need for such services to meet their non-functional requirements like reliability, availability, security, etc. To achieve such objectives, these services need to be designed(More)