Jump to : Note | Abstract | Keywords | Contact | BibTex reference | EndNote reference |

FHTH05

Pascal Fradet, St�phane Hong Tuan Ha. Syst�mes de gestion de ressources et aspects de disponibilit�. In 2�me Journ�e Francophone sur le D�veloppement de Logiciels Par Aspects (JFDLPA 2005), Lille, France, September 2005.

Note on this paper

(In French)

Abstract

In this paper, we consider resource management in isolation (separation of concerns) and the prevention of denial of service (i.e. availability) as aspects. We concentrate on denials of service caused by resource management (starvations, deadlocks). Our aspects specify time limits or orderings in the allocation of resources. They can be seen as the specification of an availability policy. The approach relies on timed automata to specify services and aspects. It allows us to implement weaving as an automata product and to use model-checking tools to verify that aspects enforce the required availability properties

Keywords

[ Resource management ] [ Availability ] [ Aspect ] [ Weaving ] [ Verification ] [ Denial of service ]

Contact

Pascal Fradet http://pop-art.inrialpes.fr/people/fradet/

BibTex Reference

@InProceedings{FHTH05,
   Author = {Fradet, Pascal and Hong Tuan Ha, St�phane},
   Title = {Syst�mes de gestion de ressources et aspects de disponibilit�},
   BookTitle = {2�me Journ�e Francophone sur le D�veloppement de Logiciels Par Aspects (JFDLPA 2005)},
   Address = {Lille, France},
   Month = {September},
   Year = {2005}
}

EndNote Reference [help]

Get EndNote Reference (.ref)