Abstract
Adaptable service systems are service systems that adapt dynamically to changes in both time and position related to users, nodes, capabilities, status, and changed service requirements. We present a formal model for the basic entity used for the implementation of the service functionality in the Telematics Architecture for Play-based Adaptable Service systems (TAPAS). This basic entity is the role-figure, which executes in the nodes of the network. The formal model is denoted as the role-figure model. It comprises behaviour specification, interfaces, capabilities, queue of messages, and executing methods for role-figures. Its semantics is based on an ODP (Open Distributed Processing) semantic model and rewriting logic, and is used to prove properties such as: plug ability, consumption ability, and play ability.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
F. A. Aagesen, B. E. Helvik, V. Wuvongse, H. Meling, R. Bræk, and U. Johansen, Towards a plug and play architecture for telecommunications, in SmartNet’99 (1999)
F. A. Aagesen, B. E. Helvik, U. Johansen, and H. Meling, Plug&play for telecommunication Functionality: architecture and demonstration issues, in IConlT’01 (May 2001)
F. A. Aagesen, B. E. Helvik, C. Anutariya, and M. M. Shiaa, On adaptable networking, in ICT 2003 (April 2003)
R. Milner, J. Parrow, and D Walker, A calculus of mobile processes (parts I and II), in Information and Computation, 100:1–77 (1992)
E. Najm and J.B. Sstefani, A formal semantics for the ODP formal model, in Computer Networks and ISDN systems 27, pp. 1305–1329 (1995)
J. Dustzadeh and E. Najm, Consistent semantics for ODP information and computational models, in Proceedings of FORTE/PSTV’ 97 (Osaka, Japan, November 97)
N. Marti-Oliet and J. Meseguer, Rewriting logic as a logical and semantic framework, SRI International, Computer Science Laboratory Technical Report, August 1993
C. L. Talcott, An actor rewriting theory”, in ETCS, 4 (1996)
G. Denker, J. Meseguer, and C. Talcote, Formal specification and analysis of active networks and communication protocols, in DISCEX’2000 (January 2000)
B. Wang, J. Meseguer, and C. Gunter, Specification and formal analysis of PLAN algorithm in Maude, in Workshop on Distributed system validation and verification, (2000)
M. M. Shiaa, Mobility support framework in adaptable service architecture, in Net-Con’2003 (Muscat Oman, October 2003)
C. Carrez, A. Fantechi, and E. Najm, Behavioural contracts for a sound assembly of components, in Proc. of FORTE 2003, LNCS 2767 (Berlin, Germany, September 2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 International Federation for Information Processing
About this paper
Cite this paper
Shiaa, M.M., Aagesen, F.A., Carrez, C. (2005). Formal Modelling of an Adaptable Service System. In: Glitho, R., Karmouch, A., Pierre, S. (eds) Intelligence in Communication Systems. INTELLCOMM 2005. IFIP — The International Federation for Information Processing, vol 190. Springer, Boston, MA. https://doi.org/10.1007/0-387-32015-6_12
Download citation
DOI: https://doi.org/10.1007/0-387-32015-6_12
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-29121-5
Online ISBN: 978-0-387-32015-1
eBook Packages: Computer ScienceComputer Science (R0)