TY - GEN
T1 - A Language for Modeling Network Availability
AU - Petre, Luigia
AU - Sere, Kaisa
AU - Walden, Marina
PY - 2006
Y1 - 2006
N2 - Computer networks have become ubiquitous in our society and thus, the various types of resources hosted by them are becoming increasingly important. In this paper we study the resource availability in networks by defining a dedicated middleware language. This language is a conservative extension of the action system formalism, a general state-based approach to modeling and analyzing distributed systems. Our language formally treats aspects such as resource accessibility, replicated and homonym resources, their mobility, as well as node failure and maintenance in networks. The middleware approach motivates the separation of the views and formalisms used by the various roles such as the network user, the application developer, and the network manager.
AB - Computer networks have become ubiquitous in our society and thus, the various types of resources hosted by them are becoming increasingly important. In this paper we study the resource availability in networks by defining a dedicated middleware language. This language is a conservative extension of the action system formalism, a general state-based approach to modeling and analyzing distributed systems. Our language formally treats aspects such as resource accessibility, replicated and homonym resources, their mobility, as well as node failure and maintenance in networks. The middleware approach motivates the separation of the views and formalisms used by the various roles such as the network user, the application developer, and the network manager.
M3 - Published conference proceeding
VL - 4260
T3 - Lecture Notes in Computer Science
SP - 639
EP - 659
BT - Proceedings of the 8th International Conference on Formal Methods (ICFEM06)
PB - Springer
ER -