Now showing items 1-10 of 64
a formal approach to adaptive systems using scenario-based concepts
Usually, a component in a distributed system has assumptions about the remaining components of the system. A change in one component might require to change other components as well. It may happen that the change has to ...
Deciding Substitutability of Services with Operating Guidelines
Deciding whether a service S can be substituted by another service S0 is an important problem in practice and one of the research challenges in service-oriented computing. In this paper, we define three substitutability ...
SDL Specification and Simulation of TDM/CDMA VSAT Integrated Service Satellite Communication Network
SDT'88, an implemented tool of SDL'88, is employed for description and simulation of TDM/CDMA VSAT Integrated Service Satellite Communication Network. A complete specification of this large scale system, which includes ...
Distributed Abstract State Machines and Their Expressive Power
Gurevich’s sequential Abstract State Machines (ASMs) are taken as a basis for the construction of distributed ASMs as sets of sequential ASMs. A theorem on the expressive power of distributed ASM is proven in analogy to ...
Prototyping and Simulating Domain-Specific Languages for Wireless Sensor Networks
The development of software for wireless sensor networks is involved and complex. This does not only impose much work on programmers but also prevents domain experts from directly contributing parts of the software. ...