Towards compositional synthesis of evolving systems

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2008, Pages 285-296

  Nejati, Shiva ^a   Sabetzadeh, Mehrdad ^a   Chechik, Marsha ^a   Uchitel, Sebastian ^b,c   Zave, Pamela ^d  

^a UNIVERSITY OF TORONTO   (Canada)

^b UNIVERSIDAD DE BUENOS AIRES   (Argentina)

^c IMPERIAL COLLEGE LONDON   (United Kingdom)

^d AT AND T LABS RESEARCH   (United States)

Author keywords

Behavioural Design Patterns; Feature Based Development; I O Automata; Pipelines; Synthesis

Indexed keywords

COMPOSITIONAL SYNTHESIS; DESIGN PATTERNS; EVOLVING SYSTEMS; EXISTING SYSTEMS; FEATURE-BASED; I/O AUTOMATA; PIPELINE CONFIGURATION; SYSTEM CONFIGURATIONS;

COMPUTER SOFTWARE; DESIGN; PIPELINES; TRANSLATION (LANGUAGES);

SYNTHESIS (CHEMICAL);

EID: 77950478186     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1453101.1453143     Document Type: Conference Paper

References (39)

1. D. Batory. "Feature-Oriented Programming and the AHEAD Tool Suite". In Proceedings of ICSE'04, pages 702-703, 2004.
2. A. Betin-Can, T. Bultan, M. Lindvall, B. Lux, and S. Topp. "Application of Design for Verification with Concurrency Controllers to Air Traffic Control Software". In Proceedings of ASE'05, pages 14-23, 2005.
3. J. Blom, B. Jonsson, and L. Kempe. "Using Temporal Logic for Modular Specification of Telephone Services". In Proceedings of FIW'94, pages 197-216, 1994.
4. K. Braithwaite and J. Atlee. "Towards Automated Detection of Feature Interactions". In Proceedings of FIW'94, pages 36-59, 1994.
5. D. Brand and P. Zafiropulo. "On Communicating Finite-State Machines". J. ACM, 30(2):323-342, 1983.
6. R. Brooks. "A Robust Layered Control System for a Mobile Robot". IEEE J. of Robotics and Automation, pages 2-27, 1986.
7. G. Bruns. "Foundations for Features". In Proceedings of FIW'05, pages 3-11, 2005.
8. B. Cheng, R. Stephenson, and B. Berenbach. "Lessons Learned from Automated Analysis of Industrial UML Class Models (An Experience Report)". In Proceedings of MoDELS'05, pages 324-338, 2005.
9. E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.
10. J. Cobleigh, D. Giannakopoulou, and C. Pasareanu. "Learning Assumptions for Compositional Verification". In Proceedings of TACAS'03, pages 331-346, 2003.
11. A. J. Dominguez and N. Day. "Compositional Reasoning for Port-Based Distributed Systems". In Proceedings of ASE'05, pages 376-379, 2005.
12. A. Emerson and V. Kahlon. "Reducing Model Checking of the Many to the Few". In Proceedings of CADE'00, pages 236-254, 2000.
13. A. Emerson and K. Namjoshi. "Reasoning about Rings". In Proceedings of POPL'95, pages 85-94, 1995.
14. A. Felty and K. Namjoshi. "Feature Specification and Automated Conflict Detection". ACM TOSEM, 12(1):3-27, 2003.
15. K. Fisler and S. Krishnamurthi. "Decomposing Verification by Features". In Proceedings of VSTTE'05, 2005.
16. X. Fu, T. Bultan, and J. Su. "Analysis of Interacting BPEL Web Services". In Proceedings of WWW'04, pages 621-630, 2004. (Pubitemid 40752796)
17. R. Hall. "Feature Combination and Interaction Detection via Foreground/Background Models". Computer Networks, 32(4):449-469, 2000.
18. W. Harrison, H. Ossher, P. Tarr, V. Kruskal, and F. Tip. "CAT: A toolkit for assembling concerns". Technical Report RC22686, IBM Research, 2002.
19. J. Hay and J. Atlee. "Composing Features and Resolving Interactions". In Proceedings of FSE'00, pages 110-119, 2000.
20. D. Jackson. Software Abstractions Logic, Language, and Analysis. The MIT Press, 2006.
21. M. Jackson and P. Zave. "Distributed Feature Composition: a Virtual Architecture for Telecommunications Services". IEEE TSE, 24(10):831-847, 1998.
22. F. Laburthe and N. Jussien. "The Choco Constraint Programming System". http://choco-solver.net/.
23. K. Larsen, B. Steffen, and C. Weise. "A Constraint Oriented Proof Methodology based on Modal Transition Systems". In Proceedings of TACAS'95, LNCS, pages 13-28. Springer, May 1995. (Pubitemid 126004020)
24. H. Li, S. Krishnamurthi, and K. Fisler. "Verifying Cross-cutting Features as Open Systems". In Proceedings of FSE'02, pages 89-98, 2002.
25. H. Li, S. Krishnamurthi, and K. Fisler. "Modular Verification of Open Features Using Three-Valued Model Checking". J. of Automated Softw. Eng., 12(3):349-382, 2005.
26. N. Lynch and M. Tuttle. "Hierarchical Correctness Proofs for Distributed Algorithms". In Proceedings of PODC'87, pages 137-151, 1987.
27. J. Magee and J. Kramer. "Concurrency: State models and Java Programming: 2nd Edition". Wiley, 2006.
28. P. Mehlitz and J. Penix. "Design for Verification with Dynamic Assertions". In Proceedings of SEW'05, pages 285-292, 2005. (Pubitemid 44419306)
29. R. Milner. "Communication and Concurrency". Prentice-Hall, New York, 1989.
30. S. Nejati. "Translating BoxTalk Models to I/O Automata", 2007. http://www.cs.toronto.edu/-shiva/synthesis/.
31. M. Plath and M. Ryan. "Feature Integration Using a Feature Construct". Science of Computer Programming, 41(1):53-84, 2001.
32. A. Pnueli. "In Transition from Global to Modular Temporal Reasoning about Programs". Logic and Models of Concurrent Systems, pages 123-144, 1985.
33. K. Pomakis and J. Atlee. "Reachability Analysis of Feature Interactions: A Progress Report". In Proceedings of ISSTA'96, pages 216-223, 1996.
34. C. Prehofer. "Feature-Oriented Programming: A Fresh Look at Objects". In Proceedings of ECOOP'97, pages 419-443, 1997.
35. N. Sharygina, J. Browne, and R. P. Kurshan. "A Formal Object-Oriented Analysis for Software Reliability: Design for Verification". In Proceedings of FASE'01, pages 318-332, 2001.
36. M. Shaw and D. Garlan. "Software Architecture: Perspectives on an Emerging Discipline". Prentice-Hall, Inc., 1996.
37. P. Zave. "FAQ Sheet on Feature Interaction". http://www.research.att.com/-pamela/faq.html.
38. P. Zave and M. Jackson. "A Call Abstraction for Component Coordination". Elect. Notes in Theor. CS, 66(4), 2002.
39. A. Zimmer. "Prioritizing Features Through Categorization: An Approach to Resolving Feature Interactions". PhD thesis, University of Waterloo, 2007.