129documents trouvés
Formal verification of secure group communication protocols modelled in UML
P.DE SAQUI SANNES, T.VILLEMUR, B.FONTAN, S.MOTA GONZALEZ , M.S.BOUASSIDA, N.CHRIDI, I.CHRISMENT, L. VIGNERON
OLC, Thales com, ITESM, Mexico, HEUDIASYC, LORIA
Revue Scientifique : Innovations in Systems and Software Engineering, Vol.6, N°1-2, pp.125-133, Mars 2010 , N° 09755
Diffusion restreinte
120813Full framework specification of M2M service network
K.DRIRA, T.VILLEMUR, S.TAZI, G.SANCHO, I.BOUASSIDA
OLC
Rapport de Contrat : UseNet ITEA2 06004, Mars 2010, 126p. , N° 10258
Diffusion restreinte
121283UML Modeling and Formal Verification of Secure Group Communication Protocols
P.DE SAQUI SANNES, T.VILLEMUR, B.FONTAN, S.MOTA GONZALEZ , M.S.BOUASSIDA, N.CHRIDI, I.CHRISMENT, L. VIGNERON
HEUDIASYC, OLC, ITESM, Mexico, LORIA, Thales com
Manifestation avec acte : 2nd IEEE International workshop UML and Formal Methods (UMF & FM'09), Rio de Janeiro (Brésil), 8 Décembre 2009, 6p. , N° 09218
Diffusable
120104A model-driven adaptive approach for collaborative ubiquitous systems
I.BOUASSIDA, G.SANCHO, T.VILLEMUR, S.TAZI, K.DRIRA
OLC
Manifestation avec acte : The ACM International Conference on Pervasive Services (ACM ICPS'09), Londres (UK), 13-17 Juillet 2009, 6p. , N° 09211
Diffusable
Plus d'informations
Abstract
Ubiquitous communicating systems have particular characteristics, such as their dynamic nature and the great number of users and heterogeneous devices involved. In our work, we focus on collaborative activities. For such activities, users are organized into groups and communicate in order to achieve a common goal. Therefore, the problem of designing and implementing collaborative applications on top of ubiquitous communicating systems is a complex task that requires adequate modeling. In our view, addressing this problem needs a model-driven approach in order to ensure the coherence and correctness of the built systems. In this paper, we propose a multi-level modeling approach for collaborative ubiquitous systems. Moreover, relevant abstraction levels are identified and means are provided for inter-level model transformation (refinement) and for adaptation to context changes (selection). This adaptation is guided by both high level requirements and low level constraints.
Mots-Clés / Keywords
Ubiquitous computing; Collaboration; Multi-level modelling;
Student centered distance learning experiments over a communication and collaboration platform
V.BAUDIN, T.VILLEMUR
2I, OLC
Revue Scientifique : Interactive Technology and Smart Education, Vol.6, N°1, pp.60-75, 2009 , N° 08611
Diffusable
Plus d'informations
Abstract
The purpose of this paper is to present two classes of distance learning experiments, with feedbacks. The experiments are based on constructivism theory.
Déploiement dynamique d'applications coopératives distribuées dans une architecture orientée service
V.BAUDIN, T.VILLEMUR, N.TA, K.DRIRA
2I, OLC
Manifestation avec acte : NOTERE 2009 - , Montréal (Canada), 29 Juin - 1er Juillet 2009 , N° 09370
Diffusable
118183A model-driven adaptive framework for collaborative ubiquitous systems
G.SANCHO, I.BOUASSIDA, T.VILLEMUR, S.TAZI, K.DRIRA
OLC
Manifestation avec acte : NOTERE 2009, Montréal (Canada), 29 Juin - 3 Juillet 2009, 12p. , N° 09025
Diffusable
Plus d'informations
Abstract
Ubiquitous computing environments provide a wide range of new perspectives in Computer Science. Among these, the dynamic collaborative activities carried out by groups of users present particularly complex issues. The highly dynamic nature of such activities, along with the heterogeneity of devices and communication systems, requires adaptive software solutions. In this paper, we propose a multi-layer modeling of system architectures in order to address this problem. This is necessary for taking into account both high level requirements and low level constraints. Moreover, this approach allows adapting the system architecture to handle context changes. We consistently handle inter-layer adaptation actions by considering a lower layer architecture as a refinement of an upper layer architecture. First, modeling layers for collaborative ubiquitous systems are provided. Then, we detail an implementation using OWL and graphs for models and rule oriented techniques, such as SWRL and graph grammar productions, for refinement. Finally, we consider a scenario on board of urban bus fleets as a case study from the more general group collaborative systems to which our models and procedures apply.
Mots-Clés / Keywords
Ubiquitous computing; Context awareness; Computer supported collaborative work; Graph grammars; Ontologies;
Multi-level modeling for adaptive collaborative ubiquitous systems
I.BOUASSIDA, G.SANCHO, S.TAZI, T.VILLEMUR, K.DRIRA, C.CHASSOT, M.JMAIEL
ReDCAD Laboratory, OLC
Rapport LAAS N°09067, Mars 2009, 15p.
Diffusable
Plus d'informations
Mots-Clés / Keywords
Ubiquitous computing; Collaboration; Multi-level modelling; Context awareness;
Specification of smart usage demonstrator
P.ROSSIGNOL, C.SAUVIGNAC, P.MEURICE, J.M.TRAN, P.MASERES, B.TESNIERE, S.RAMOS, V.BAUDIN, I.BOUASSIDA, K.DRIRA, G.SANCHO, S.TAZI, T.VILLEMUR, D.PIREZ, Y.LOPEZ
BULL, 2I, OLC, THALES Paris
Rapport de Contrat : UseNet ITEA2 06004, Février 2009, 41p. , N° 09014
Diffusion restreinte
116334Initial framework specification of M2M service network
J.LATVAKOSKI, S.TAZI, T.VILLEMUR, P.ROSSIGNOL, C.SAUVIGNAC, J.HOEBEKE, P.DEDECKER, I.MOERMAN, F.MARTINEZ, D.PIREZ, A.DECKERS, J.MOREELS, P.DOBBELAERE
VTT, OLC, BULL, IBBT, Ikerlan, THALES Paris, ALCATEL
Rapport de Contrat : Contrat UseNet ITEA2 06004, Janvier 2009, 123p. , N° 09013
Diffusion restreinte
116324