Formal Modelling of an Adaptable Service System.

Mazen Malek Shiaa Finn Arve Aagesen Cyril Carrez

Published in: INTELLCOMM (2005)

Keyphrases

service providers
service oriented
web services
mobile services
processor sharing
information systems
service times
formal methods
service discovery
information services
formal model
service oriented architecture
service composition
loosely coupled
network resources
heavy traffic
formal language