Ceci est une ancienne révision du document !

Middleware for Ubiquitous Computing

Course 1

Introduction

What does Traditional Middleware Mean ?

Motivations

make development faster and easier

to assist distributed software

promoting software reuse

A bridge between OS and application [Krakoviak]

High level network abstractions matching the application computational model [Issarny]

First Definitions

Middleware Taxonomies

W. Emmerich Taxonomy (2000)
D.E. Baken (2001)
R. E. Schantz and D. C. Schmidt Taxonomy (2002)

Transactional Middleware

Tuplespace-based Middleware

Message-oriented Middleware

Remote procedure Calls Middleware

Object oriented Middleware

Component oriented Middleware

Service-oriented Middleware

Exercices

References

A Perspective on the Future of Middleware-based Software Engineering. V. Issarny, M. Caporuscio, N. Georgantas. In Future of Software Engineering 2007 (FOSE) at ICSE (International Conference on Software Engineering). L. Briand and A. Wolf editors, IEEE-CS Press. 2007. link

E-book: Middleware Architecture with Patterns and Frameworks, Prof. Sacha Krakowiak

What does Ubiquitous Computing Mean ?

Exercices

videos

The following scenes together are a complete movie about ubiquitous computing at Xerox PARC

References

GATECH Course about Ubiquitous computing course

What does Middleware for Ubiquitous Computing Mean ?

New motivations

High level device and ressource abstractions matching the application computational model
device and ressource abstraction is often transparency in multiple access
Distribution with or without nertwork …

Example in distributed systems

Example in OS and Virtual Machine

Example in HMI

application computational model : widgets
low level device drivers : mouse and screen
Middleware :

Example in Robotics

Trends on the future of Middleware

From Mobility to Ubiquity

New Requirements

Exercices

Projets de recherche :

OpenCOM and ReMMoC Web Page, Paul Grace and Gordon S. Blair - link

ARLES Project-Team, V. Issarny, link

Project AMAZONES, Citi Lab, INSA Lyon, Frenot Stéphane, Le Mouel Frédéric link

Course 2 : Formal Methods for Middleware verification

There are currently two families of formal methods. These two approaches are complementary.

Proof-based verification

Example : such as B or Z

In proof-based methods, the model is described by means of axioms, properties are theorems to be verified using a theorem prover.

Proof-based techniques allow the analysis of infinite systems. However, the use of a theorem prover is a very difficult and a very technical task that is hard to automate.

References

Abrial, J., “Z: an introduction to formal methods,” Cambridge University Press, 1995.
Diller, A., “The B-book,” John Willey & SONS, 1994.

Model-checking

Example : such as Spin or Lustre.

In model checking, the model is expressed using a language from which an exhaustive execution can be computed (this usually requires a mathematically based definition). An “execution engine” produces the exhaustive state space associated to the system as a graph where actions (atomic instructions in the language) relate to states (a given possible value of the system’s context). It is then possible to explore the graph to check if a property is satisfied.

Model checking is dedicated to finite-state systems but modeling and verification can be done using graphical toolkits and most steps can be automated

References

Halbwachs, N., A tutorial of Lustre (1993).

References

On the Formal Verification of Middleware Behavioral Properties, Jérôme Huguesa, Thomas Vergnauda, Laurent Pauteta, Yann Thierry-Miega, Soheib Baarira, and Fabrice Kordona, Electronic Notes in Theoretical Computer Science, Elsevier editor, Volume 133, 31 May 2005, Pages 139-157, Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004)

Course 3

ACME

ACME Overview

ACME Studio Download

ACME Studio Tutorial

References :

A Perspective on the Future of Middleware-based Software Engineering. V. Issarny, M. Caporuscio, N. Georgantas. In Future of Software Engineering 2007 (FOSE) at ICSE (International Conference on Software Engineering). L. Briand and A. Wolf editors, IEEE-CS Press. 2007. link

E-book: Middleware Architecture with Patterns and Frameworks, Prof. Sacha Krakowiak

A Survey on Service Composition Middleware in Pervasive Environments Ibrahim N., Le Mouël F. International Journal of Computer Science Issues (IJCSI) 1 (2009) 1–12 link

Middleware Technologies for Ubiquitous Computing, Ibrahim N., Le Mouël F., Frénot S, in Handbook of Research on Next Generation Networks and Ubiquitous Computing, IGI Global Publication (Ed.) (2009)

Middleware for Robotics: A Survey, Mohamed, N. Al-Jaroodi, J. Jawhar, I., Coll. of Inf. Technol., United Arab Emirates Univ., Al Ain in 2008 IEEE Conference on Robotics, Automation and Mechatronics,21-24 Sept. 2008, p. 736-742, Chengdu, ISBN: 978-1-4244-1675-2 link

http://www.hydramiddleware.eu/hydra_papers/A_Survey_of_Context-aware_Middleware.pdf

http://www.sce.carleton.ca/wmc/middleware/middleware.pdf

http://hal.archives-ouvertes.fr/docs/00/32/64/79/PDF/ACI08-INRIA-TechRep.pdf

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.1.9321&rep=rep1&type=pdf http://users.cis.fiu.edu/~sadjadi/Publications/AdaptiveMiddlewareSurvey.ps

https://rainbow.i3s.unice.fr/~tigli/References/Autre/2CACB8FEd01.pdf

https://rainbow.i3s.unice.fr/~tigli/References/Autre/8E123188d01.pdf

https://rainbow.i3s.unice.fr/~tigli/References/Autre/C11.pdf

https://rainbow.i3s.unice.fr/~tigli/References/Autre/RapportIntellAmbiante.V1.2finale.pdf

https://rainbow.i3s.unice.fr/~tigli/References/Context-aware/07937E4Fd01.pdf

https://rainbow.i3s.unice.fr/~tigli/References/Context-aware/1C34FA30d01.pdf

https://rainbow.i3s.unice.fr/~tigli/References/Context-aware/2EE1E94Bd01.pdf

https://rainbow.i3s.unice.fr/~tigli/References/Context-aware/7CCDDAE4d01.pdf