A foundation for behavioural conformance in software product line architectures

Proceedings of the ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis, ROSATEA '06

Volumn 2006, Issue , 2006, Pages 39-48

  Fischbein, Dario ^a   Uchitel, Sebastian ^a   Braberman, Victor ^b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b UNIVERSIDAD DE BUENOS AIRES   (Argentina)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SOFTWARE MAINTENANCE; SEMANTICS; SOFTWARE ARCHITECTURE; SOFTWARE TESTING; USER INTERFACES;

BEHAVIOUR MODELLING; SOFTWARE PRODUCT LINE ARCHITECTURES;

SOFTWARE PACKAGES;

EID: 34247370256     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1147249.1147254     Document Type: Conference Paper

References (36)

1. A. Bertolino and S. Gnesi. Use Case-Based Testing of Product Lines. In Proceedings of the 9th European Software Engineering Conference held jointly with the 10th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE), pages 355-358, Sept. 2003.
2. J. Bosch. Design and use of software architectures: adopting and evolving a product-line approach. ACM Press/Addison-Wesley Publishing Co., New York, NY, USA, 2000.
3. G. Brunet. "A Characterization of Merging Partial Behavioural Models". Master's thesis, Univ. of Toronto, January 2006.
4. G. Brunet, M. Chechik, and S. Uchitel. "Properties of Behavioural Model Merging", formal methods 2006, hamilton, Ontario canada. 2006.
5. G. Bruns and P. Godefroid. "Model Checking Partial State Spaces with 3-Valued Temporal Logics". In CAV'99, volume 1633 of LNCS, pages 274-287, 1999.
6. E. Clarke and J. Wing. "Formal Methods: State of the Art and Future Directions". ACM Computing Surveys, 28(4):626-643, December 1996.
7. R. Cleaveland and M. Hennessy. Testing equivalence as a bisimulation equivalence. Formal Asp. Comput., 5(1):1-20, 1993.
8. P. Clements and L. Northrop. Software Product Lines: Practices and Patterns. Addison-Wesley Professional, Boston, MA, USA, 2002.
9. D. Dams. Abstract Interpretation and Partition Refinement for Model Checking. PhD thesis, Eindhoven University of Technology, The Netherlands, July 1996.
10. A. Dovier, C. Piazza, and A. Policriti. A fast bisimulation algorithm. In CAV, pages 79-90, 2001.
11. D. Fischbein. Branching semantics for modal transition systems. Master's thesis, University of Buenos Aires, Department of Computing, April 2006.
12. A. Garg, M. Critchlow, P. Chen, C. V. der Westhuizen, and A. van der Hoek. An environment for managing evolving product line architectures. In International Conference on Software Maintenance, pages 358-367, 2003.
13. D. Garlan, R. T. Monroe, and D. Wile. Acme: Architectural description of component-based systems. In G. T. Leavens and M. Sitaraman, editors, Foundations of Component-Based Systems, pages 47-68. Cambridge University Press, 2000.
14. D. Garlan and D. E. Perry. Introduction to the special issue on software architecture. IEEE Trans. Softw. Eng., 21(4):269-274, 1995.
15. R. v. Glabbeek. What is branching time semantics and why to use it? In M. Nielsen, editor, The Concurrency Column, pages 190-198. Bulletin of the EATCS 53, 1994.
16. M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. J. ACM, 32(1):137-161, 1985.
17. M. Huth. "Model-Checking Modal Transition Systems Using Kripke Structures". In Proceedings of Third International Workshop on Verification, Model-Checking, and Abstract Interpretation, Venice, Italy, January 2002.
18. M. Huth. Refinement is complete for implementations. Formal Asp. Comput., 17(2):113-137, 2005.
19. M. Huth, R. Jagadeesan, and D. A. Schmidt. "Modal Transition Systems: A Foundation for Three-Valued Program Analysis". In ESOP'01, volume 2028 of LNCS, pages 155-169, 2001.
20. M. Jackson. Software requirements & specifications: a lexicon of practice, principles and prejudices. ACM Press/Addison-Wesley Publishing Co., New York, NY, USA, 1995.
21. M. Jazayeri, A. Ran, and F. van der Linden. Software architecture for product families: principles and practice. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2000.
22. E. Kamsties, K. Pohl, S. Reis, and A. Reuys. Testing Variabilities in Use Case Models. In International Workshop on Product Family Engineering (PFE), 2003.
23. R. M. Keller. Formal verification of parallel programs. Commun. ACM, 19(7):371-384, 1976.
24. K. Larsen and B. Thomsen. "A Modal Process Logic". In LICS'88, pages 203-210, 1988.
25. K. Larsen and L. Xinxin. "Equation Solving Using Modal Transition Systems". In 5th Annual IEEE Symposium on Logic in Computer Science, pages 108-117, 1990.
26. J. Magee and J. Kramer. Concurrency: state models & Java programs. John Wiley & Sons, Inc., New York, NY, USA, 1999.
27. J. D. McGregor. Testing a Software Product Line. Technical Report CMU/SEI-2001-TR-022, Software Engineering Institute, Carnegie Mellon University, Dec. 2001.
28. R. Milner. A modal characterisation of observable machine-behaviour. In CAAP '81: Proceedings of the 6th Colloquium on Trees in Algebra and Programming, pages 25-34, London, UK, 1981. Springer-Verlag.
29. H. Muccini and A. Bucchiarone. Formal behavioral specification of a product line architecture. Technical Report TRCS 014/2004, University of L'Aquila, 2004.
30. C. Nebut, F. Fleurey, Y. L. Traon, and J.-M. Jézéquel. A Requirement-based Approach to Test Product Families. In International Workshop on Product Family Engineering (PFE), 2003.
31. D. E. Perry and A. L. Wolf. Foundations for the study of software architecture. SIGSOFT Softw. Eng. Notes, 17(4):40-52, 1992.
32. S. Schneider and S. A. Schneider. Concurrent and Real Time Systems: The CSP Approach. John Wiley & Sons, Inc., New York, NY, USA, 1999.
33. S. Uchitel, J. Kramer, and J. Magee. "Behaviour Model Elaboration using Partial Labelled Transition Systems". In ESEC/FSE'03, pages 19-27, 2003.
34. R. J. van Gabbeek and W. P. Weijland. Branching time and abstraction in bisimulation semantics. J. ACM, 43(3):555-600, 1996.
35. R. van Ommering, F. van der Linden, J. Kramer, and J. Magee. The koala component model for consumer electronics software. Computer, 33(3):78-85, 2000.
36. T. Ziadi, L. Hélouët, and J.-M. Jézéquel. Modeling Behaviors in Product Lines. In International Workshop on Requirements Engineering for Product Lines (REPL), pages 33-38, Sept. 2002.