Modes in component behavior specification via EBP and their application in product lines

Information and Software Technology

Volumn 51, Issue 1, 2009, Pages 31-41

  Kofroň, Jan ^a,b   Plášil, František ^a,b   Šerý, Ondřej ^a  

^a CHARLES UNIVERSITY   (Czech Republic)

^b INSTITUTE OF COMPUTER SCIENCE   (Czech Republic)

Author keywords

Behavior specification; Component modes; Software product lines

Indexed keywords

COMMUNICATION;

AUTOMATIC VERIFICATIONS; BEHAVIOR SPECIFICATION; BEHAVIOR SPECIFICATIONS; CASE STUDIES; COMMUNICATION ERRORS; COMPONENT MODES; DEVELOPMENT COSTS; IN COMPONENTS; PRODUCT LINES; PRODUCT VARIANTS; SOFTWARE COMPONENTS; SOFTWARE DEVELOPMENTS; SOFTWARE PRODUCT LINES; TIME TO MARKETS;

SPECIFICATIONS;

EID: 56649114354     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2008.09.011     Document Type: Article

References (33)

1. Adamek J., and Plasil F. Component composition errors and update atomicity: static analysis. Journal of Software Maintenance and Evolution: Research and Practice 17 5 (2004)
2. Bernardo M., Ciancarini P., and Donatiello L. Architecting families of software systems with process algebras. ACM Transaction on Software and Engineering Methodology 11 4 (2002) 386-426
3. G. Brataas, S. Hallsteinsen, R. Rouvoy, F. Eliassen, Scalability of decision models for dynamic product lines, in: Proceedings in International SPLC Workshop on Dynamic Software Product Line (DSPL'07), 2007, p. 10.
4. Brim L., Cerna I., Varekova P., and Zimmerova B. Component-interaction automata as a verification-oriented component-based system specification. SIGSOFT Software Engineering Notes 31 2 (2006) 4
5. E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, J.B. Stefani, An open component model and its support in Java, in: CBSE, 2004, pp. 7-22.
6. S. Buhne, K. Lauenroth, K. Pohl, Modelling requirements variability across product lines, in: RE'05: Proceedings of the 13th IEEE International Conference on Requirements Engineering, IEEE Computer Society, Washington, DC, USA, 2005, pp. 41-52.
7. Clements P., and Northrop L. Software Product Lines: Practices and Patterns (2001), Addison-Wesley Longman Publishing Co. Inc., Boston, MA, USA
8. L. de Alfaro, T.A. Henzinger, Interface automata, in: Proceedings of the 9th Annual Symposium on Foundations of Software Engineering (FSE), ACM Press, January 2001, pp. 109-120. Available from: .
9. A. Garg, M. Critchlow, P. Chen, C.V. der Westhuizen, A. van der Hoek, An environment for managing evolving product line architectures, in: ICSM'03: Proceedings of the International Conference on Software Maintenance, IEEE Computer Society, Washington, DC, USA, 2003, p. 358.
10. H. Gomaa, M. Hussein, Model-based software design and adaptation, in: SEAMS'07: Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems, IEEE Computer Society, Washington, DC, USA, 2007, p. 7.
11. J. Happe, H. Koziolek, R.H. Reussner. Parametric performance contracts for software components with concurrent behaviour, in: F.S. de Boer, V. Mencl (Eds.), Proceedings of the Third International Workshop on Formal Aspects of Component Software (FACS06), Electronical Notes in Computer Science, Prague, Czech Republic, September 2006, pp. 41-55.
12. S.A. Hendrickson, A. van der Hoek, Modeling product line architectures through change sets and relationships, in: ICSE'07: Proceedings of the 29th International Conference on Software Engineering, IEEE Computer Society, Washington, DC, USA, 2007, pp. 189-198.
13. D. Hirsch, J. Kramer, J. Magee, S. Uchitel, Modes for software architectures, in: V. Gruhn, F. Oquendo, (Eds.), EWSA, volume 4344 of Lecture Notes in Computer Science, Springer, 2006, pp. 113-126.
14. Holzmann G. The spin model checker. Primer and Reference Manual (2003), Addison-Wesley, Reading, MA
15. J.S. Kim, D. Garlan, Analyzing architectural styles with alloy, in: ROSATEA'06: Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis, ACM, New York, NY, USA, 2006, pp. 70-80.
16. J. Kofron, Behavior protocols extensions. PhD Thesis, Charles University in Prague, 2007.
17. N. Lynch, M. Tuttle, An introduction to input/output automata. Technical Memo MIT/LCS/TM-373, Massachusetts Institute of Technology, November 1988.
18. Mach M., Plášil F., and Kofroň J. Behavior protocol verification: fighting state explosion. International Journal of Computer and Information Science 2005 1 (2005) 22-30
19. Magee J., and Kramer J. Dynamic structure in software architectures. SIGSOFT Software Engineering Notes 21 6 (1996) 3-14
20. Magee J., and Kramer J. Concurrency: State Models and Java Programs (1999), Wiley
21. Plasilm F., and Visnovsky S. Behavior protocols for software components. IEEE Transactions on Software Engineering 28 9 (2002)
22. In: Rausch A., Reussner R., Mirandola R., and Plasil F. (Eds). The Common Component Modeling Example: Comparing Software Component Models, volume 5153 of LNCS (2008), Springer, Heidelberg
23. M. Riebisch, D. Streitferdt, I. Pashov, Modeling variability for object-oriented product lines, in: LNCS 3013, Springer, 2004, pp. 165-178.
24. D.B. Roberto, E. Lopez-Herrejon, Modeling features in aspect-based product lines with use case slices: an exploratory case study, 2006.
25. Roscoe A.W., Hoare C.A.R., and Bird R. The Theory and Practice of Concurrency (1997), Prentice-Hall PTR, Upper Saddle River, NJ, USA
26. M. Sinnema, S. Deelstra, J. Nijhuis, J. Bosch, Covamof: a framework for modeling variability in software product families, in: Proceedings of the Third Software Product Line Conference (SPLC 2004), Springer-Verlag, 2004, pp. 197-213.
27. M. Sinnema, S. Deelstra, J. Nijhuis, J. Bosch, Managing variability in software product families, in: Proceedings of the Second Groningen Workshop on Software Variability Management (SVMG 2004), 2004.
28. Svahnberg M., van Gurp J., and Bosch J. A taxonomy of variability realization techniques: research articles. Software Practice Experimental 35 8 (2005) 705-754
29. S. Thiel, A. Hein, Systematic integration of variability into product line architecture design, in: SPLC 2: Proceedings of the Second International Conference on Software Product Lines, Springer-Verlag, London, UK, 2002, pp. 130-153.
30. R. van Ommering, Building product populations with software components, in: ICSE'02: Proceedings of the 24th International Conference on Software Engineering, ACM, New York, NY, USA, 2002, pp. 255-265.
31. van Ommering R., van der Linden F., Kramer J., and Magee J. The koala component model for consumer electronics software. Computer 33 3 (2000) 78-85
32. Sun Enterprise Java Beans, .
33. Unified Modeling Language, .