An approach to modelling and verification of component based systems

We build on a framework for modelling and investigating component-based systems that strictly separates the description of behavior of components from the way they interact. We discuss various properties of system behavior as liveness, local progress, local and global deadlock, and robustness. We present a criterion that ensures liveness and can be tested in polynomial time. © Springer-Verlag Berlin Heidelberg 2007.


Publié dans:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4362 LNCS, 295-308
Présenté à:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Harrachov, Czech republic
Année
2007
ISSN:
03029743
Mots-clefs:
Laboratoires:




 Notice créée le 2013-03-14, modifiée le 2019-03-31

n/a:
Télécharger le document
PDF

Évaluer ce document:

Rate this document:
1
2
3
 
(Pas encore évalué)