Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > A Language for Modeling Networ...

A Language for Modeling Network Availability

Luigia Petre, Kaisa Sere, Marina Waldén, A Language for Modeling Network Availability. In: Zhiming Liu, Jifeng He (Eds.), Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods (ICFEM 2006), Macao, China, November 1-3, 2006, Proceedings, Lecture Notes in Computer Science 4260, 639–659, Springer Berlin / Heidelberg, 2006.

Abstract:

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.

BibTeX entry:

@INPROCEEDINGS{inpPeSeWa06a,
  title = {A Language for Modeling Network Availability},
  booktitle = {Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods (ICFEM 2006), Macao, China, November 1-3, 2006, Proceedings},
  author = {Petre, Luigia and Sere, Kaisa and Waldén, Marina},
  volume = {4260},
  series = {Lecture Notes in Computer Science},
  editor = {Liu, Zhiming and He, Jifeng},
  publisher = {Springer Berlin / Heidelberg},
  pages = {639–659},
  year = {2006},
  keywords = {Middleware language, Networks, Mobility, Action Systems, Refinement},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Publication Forum rating of this publication: level 1

Edit publication