Formal modeling of service session management

DOI10.1007/3-540-45812-3_4MaRDI QIDQ4412425zbMATH OpenFDO

Authors M. van le, B. J. F. van Beijnum, B. L. de Goede

Publication date 15 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2496/24960036.htm

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1390340
• Formal modelling of services for getting a better understanding of the feature interaction problem: A multi-view approach
• Assembling Sessions
• Service-oriented systems engineering: modeling services and layered architectures
• Modeling telecom networks and systems architecture. Conceptual tools and formal methods

Cited in

(4)

• An ATM-based connection management architecture for telecommunications services
• Beyond discrete e-services: Composing session-oriented services in telecommunications
• Stack service model
• scientific article; zbMATH DE number 1390340 (Why is no real title available?)

This page was built for publication: Formal modeling of service session management

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4412425)