http://www.cnr.it/ontology/cnr/individuo/prodotto/ID168905
On mobility extensions of UML Statecharts; a pragmatic approach (Contributo in atti di convegno)
- Type
- Label
- On mobility extensions of UML Statecharts; a pragmatic approach (Contributo in atti di convegno) (literal)
- Anno
- 2003-01-01T00:00:00+01:00 (literal)
- Alternative label
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
- Latella D., Massink M. (literal)
- Pagina inizio
- Pagina fine
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume
- Formal Methods for Open Object-Based Distributed Systems (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
- In: Formal Methods for Open Object-based Distributed Systems (Paris, 19-21 November 2003). Proceedings, pp. 199 - 213. Najm E., Nestmann U.and Stevens P (eds.). (Lecture Notes in Computer Science, vol. 2884). Springer Verlag, 2003. ISTI Technical Report 2003-TR-12 (literal)
- Note
- ISI Web of Science (WOS) (literal)
- Scopu (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
- CNR-ISTI; CNR-ISTI (literal)
- Titolo
- On mobility extensions of UML Statecharts; a pragmatic approach (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
- Abstract
- In this paper an extension of a behavioural subset of UML Statecharts for modeling mobility issues is proposed. In this extension we relax the unique association between each Statechart - in a collection of Statecharts modeling a system - and its input-queue and we allow the use of (queue) name variables in communication actions. The resulting communication paradigm is much more exible than the standard asymmetric one and is well suited for the modelling of mobility-oriented as well as fault tolerant systems. (literal)
- Editore
- Prodotto di
- Autore CNR
- Insieme di parole chiave
Incoming links:
- Autore CNR di
- Prodotto
- Editore di
- Insieme di parole chiave di
