Formal Modeling of Service Session Management

Authors:
M. van Le;Bert-Jan van Beijnum;Leo de Goede
Affiliations:
-;-;-
Venue:
MMNS '02 Proceedings of the 5th IFIP/IEEE International Conference on Management of Multimedia Networks and Services: Management of Multimedia on the Internet
Year:
2002

Citing 7
Cited 0

Concurrency: state models & Java programs

Concurrency: state models & Java programs
Specifying Distributed Software Architectures

Proceedings of the 5th European Software Engineering Conference
Exposing the Skeleton in the Coordination Closet

COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
Analysing Dynamic Change in Software Architectures: A Case Study

CDS '98 Proceedings of the International Conference on Configurable Distributed Systems
Implementing Interactive Configuration Management for Distributed Systems

ICCDS '96 Proceedings of the 3rd International Conference on Configurable Distributed Systems
A formal approach to software architecture

A formal approach to software architecture
The future generations of mobile communications based on broadband access technologies

IEEE Communications Magazine

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper proposes a concept to apply modeling tools to Multi-Provider Telematics Service Management. The service architecture is based on the framework called "Open Service Components" which serves as building blocks to compose end-to-end telematics services in terms of service components offered by different service providers. Our work presented in this paper contributes to the abstract way of modeling end-to-end Service Management using Architectural Description Language and an underlying Formal Description Language.