Abstract
A projection is a simplified system description or viewpoint that emphasizes some of the system properties while hiding others. In this paper, we describe a projection transformation that, when applied to SDL components, produces semantic interface descriptions. Contrary to traditional object interfaces that restrict the declaration of operation signatures, semantic interfaces describe dialogues and constraints between components, and can be exploited to build a system that behaves correctly. Using projections simplifies the validation analysis, and enables the designer to comprehend single interfaces. When following this approach, ambiguous and conflicting behaviors can be identified at design time.
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
F.A. Aagesen et.al. Towards a Plug and Play Architecture for Telecommunications. Fifth International Conference on Intelligence in Networks (1999).
AVANTEL. Information at http://www.item.ntnu.no/avantel/avantel.html
S. S. Lam, A.U. Shankar. Protocol Verification via Projections. IEEE Transactions on Software Engineering, vol. 10, no. 4 (1984).
R. Bræk, Ø. Haugen. Engineering Real Time Systems. Prentice Hall (1993).
ITU-T. Recommendation Z.100 (08/02), Specification and Description Language (SDL). International Telecommunication Union, Geneva.
T. Reenskaug and al. OORASS: Seamless support for the creation and maintenance of object oriented systems. Journal of O-O programming (1992).
J. Floch, R. Bræk. Using SDL for Modeling Behavior Composition. 11th SDL Forum (2003), this volume.
OMG. The Common Request Object Broker: Architecture and Specification. CORBA revision 2.5. September 2001.
D.C. Luckham, J. Vera, S. Melda. Three Concepts of Architecture. Stanford University Technical Report CSL-TR-95-674 (1995).
A. Milner. Communication and Concurrency. Prentice Hall. (1989)
F. C. Hennie. Finite-state models for logical machines. John Wiley & Sons (1968).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Floch, J., Bræk, R. (2003). Using Projections for the Detection of Anomalous Behaviors. In: Reed, R., Reed, J. (eds) SDL 2003: System Design. SDL 2003. Lecture Notes in Computer Science, vol 2708. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45075-0_15
Download citation
DOI: https://doi.org/10.1007/3-540-45075-0_15
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40539-9
Online ISBN: 978-3-540-45075-7
eBook Packages: Springer Book Archive