摘要: A projection is a simplified system description or viewpoint that emphasizes some of the properties while hiding others. In this paper, we describe transformation that, when applied to SDL components, produces semantic interface descriptions. Contrary traditional object interfaces restrict declaration operation signatures, dialogues and constraints between can be exploited build behaves correctly. Using projections simplifies validation analysis, enables designer comprehend single interfaces. When following approach, ambiguous conflicting behaviors identified at design time.
springer.com
sci-hub.st 参考文章(8)
Jacqueline Floch, Rolv Bræk, Using SDL for modeling behavior composition Lecture Notes in Computer Science. pp. 36- 54 ,(2003) , 10.1007/3-540-45075-0_3
Robin Milner, Communication and Concurrency ,(1989)
Frederick C. Hennie, Finite-state Models for Logical Machines ,(1968)
Finn Arve Aagesen, Bjarne E. Helvik, Vilas Wuwongse, Hein Meling, Rolv Bræk, Ulrik Johansen, Towards a Plug and Play Architecture for Telecommunications ifip international conference on intelligence in networks telecommunication network intelligence. pp. 321- 334 ,(1999) , 10.1007/978-0-387-35581-8_25
A. Watson, OMG (Object Management Group) architecture and CORBA (common object request broker architecture) specification Distributed Object Management, IEE Colloquium on. ,(2002)
David C. Luckham, James Vera, Sigurd Meldal, Three Concepts of System Architecture Stanford University. ,(1995)
M.G. Rodd, Engineering real-time systems Computing & Control Engineering Journal. ,vol. 6, pp. 233- 240 ,(1995) , 10.1049/CCE:19950506
Simon S. Lam, A. Udaya Shankar, Protocol Verification via Projections IEEE Transactions on Software Engineering. ,vol. SE-10, pp. 325- 342 ,(1984) , 10.1109/TSE.1984.5010246