A call abstraction for component coordination

Electronic Notes in Theoretical Computer Science

Volumn 66, Issue 4, 2002, Pages 36-55

  Zave, Pamela ^a   Jackson, Michael ^b  

^a AT AND T LABS RESEARCH   (United States)

^b ATandT Laboratories Research   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; MULTIMEDIA SYSTEMS; SIGNAL FILTERING AND PREDICTION; SIGNAL PROCESSING; TELECOMMUNICATION SERVICES;

DISTRIBUTED FEATURE COMPOSITION (DFC); DOMAIN-SPECIFIC PROGRAMMING LANGUAGES; FEATURE BOXES; FEATURE MODULARITY;

COMPUTER SCIENCE;

EID: 18944392685     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80448-1     Document Type: Conference Paper

References (20)

1. Greg Bond, Eric Cheung, Andrew Forrest, Michael Jackson, Hal Purdy, Chris Ramming, and Pamela Zave. DFC as the basis for ECLIPSE, an IP communications software platform. In Proceedings of the IP Telecom Services Workshop 2000, pages 19-26. Atlanta, Georgia, September 2000.
2. Gregory W. Bond, Eric Cheung, K. Hal Purdy, J. Christopher Ramming, and Pamela Zave. An open architecture for next-generation telecommunication services. Submitted for publication.
3. Gregory W. Bond, Franjo Ivančić, Nils Klarlund, and Richard Trefler. ECLIPSE feature logic analysis. In Proceedings of the Second IP Telephony Workshop, pages 49-56. Columbia University, New York, New York, April 2001.
4. Bouma L.G., Velthuijsen H. Feature Interactions in Telecommunications Systems. 1994;IOS Press, Amsterdam
5. Broy Manfred. Compositional refinement of interactive systems. Journal of the ACM. IVIV:(6):November 1987;850-891
6. Broy Manfred. Functional specification of time-sensitive communicating systems. ACM Transactions on Software Engineering and Methodology. 146:(II(1)):January 1983
7. Calder M., Magill E. Feature Interactions in Telecommunications and Software Systems VI. 2000;IOS Press, Amsterdam
8. Cheng K.E., Ohta T. Feature Interactions in Telecommunications Systems III. 1995;IOS Press, Amsterdam
9. Dini P., Boutaba R., Logrippo L. Feature Interactions in Telecommunication Networks IV. 1997;IOS Press, Amsterdam
10. Gerard Holzmann J. Design and validation of protocols: A tutorial. Computer Networks and ISDN Systems. XXV:1993;981-1017
11. Daniel Jackson, Ian Schechter and Ilya Shlyakhter. Alcoa: the Alloy Constraint Analyzer. In Proceedings of the International Conference on Software Engineering, Limerick, Ireland, June 2000.
12. Jackson Michael, Zave Pamela. Distributed feature composition: A virtual architecture for telecommunications services. IEEE Transactions on Software Engineering. XXIV:(10):October 1998;831-847
13. Michael Jackson and Pamela Zave. The DFC Manual. AT&T Research Technical Report, August 2001. Available at http://www.research.att.com/info/ pamela.
14. Kimbler K., Bouma L.G. Feature Interactions in Telecommunications and Software Systems V. 1998;IOS Press, Amsterdam
15. Shaw Mary, Garlan David. Software Architecture. Prentice-Hall, Inc. 1996
16. Pamela Zave. Address translation in telecommunication features. Submitted for publication.
17. Pamela Zave. An architecture for three challenging features. In Proceedings of the Second IP Telephony Workshop, pages 176-187. Columbia University, New York, New York, April 2001.
18. Pamela Zave. An experiment in feature engineering. In Essays by the Members of the IFIP Working Group on Programming Methodology, Springer-Verlag, to appear.
19. Pamela Zave. Formal description of telecommunication services in Promela and Z. In Manfred Broy and Ralf Steinbrüggen, editors, Calculational System Design (Proceedings of the Nineteenth International NATO Summer School), pages 395-420. IOS Press, 1999.
20. Zave Pamela, Jackson Michael. New feature interactions in mobile and multimedia telecommunication services. Calder M., Magill E. Feature Interactions in Telecommunications and Software Systems VI. 2000;51-66 IOS Press