http://iet.metastore.ingenta.com
1887

Dealing with crosscutting and dynamic features in component software using aspect-orientation: requirements and experiences

Dealing with crosscutting and dynamic features in component software using aspect-orientation: requirements and experiences

For access to this article, please select a purchase option:

Buy article PDF
$19.95
(plus tax if applicable)
Buy Knowledge Pack
10 articles for $120.00
(plus taxes if applicable)

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Name:*
Email:*
Your details
Name:*
Email:*
Department:*
Why are you recommending this title?
Select reason:
 
 
 
 
 
IET Software — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

Coping with crosscutting and dynamic features of software systems has significant impacts on software modularity, reusability, adaptability, and maintainability. However, dealing with such features is a tremendous challenge for different software paradigms, particularly component-based software development (CBSD) where components can be used as black box software units. Fortunately, dealing with crosscutting features is the main focus of aspect-orientation (AO). To compromise, a plethora of different AO and CBSD combinations are available. There is, however, little consensus on how AO and CBSD can be combined and what AO qualities need to be integrated for getting maximum benefits from the combination. In the aim to reach a consensus and increase the understanding of requirements for proper combinations that deal with crosscutting and dynamic features, the authors conduct a domain analysis study of existing combination endeavours; they first identify a set of requirements ought to be fulfilled for proper modelling of crosscutting and dynamic features in component software using AO; second, they group the identified requirements into an evaluation model; third, they check the capability of existing combinations to validate the evaluation model. The study highlighted mandatory requirements for proper combinations and revealed that none of the existing endeavours validates the evaluation model.

References

    1. 1)
      • 1. Szyperski, C., Gruntz, D., Murer, S.: ‘Component software: beyond object-oriented programming, component software series’ (ACM Press and Addison Wesley, Boston, MA, USA, 2002, 2nd edn.).
    2. 2)
      • 2. Kiczales, G., Hilsdale, E.: ‘Aspect-oriented programming’. Proc. 8th European Software Engineering Conf. (ESEC/FSE'09), ACM, Vienna, Austria, 2001, pp. 220242, doi: 10.1145/503209.503260.
    3. 3)
      • 3. Filman, R., Elrad, T., Clarke, S.M.: ‘Aspect-oriented software development’ (Addison-Wesley Professional, Boston, MA, USA, 2004).
    4. 4)
      • 4. Böllert, K.: ‘On weaving aspects’. Proc. Workshop on Object-Oriented Technology, Lisbon, Portugal, 1999, pp. 301302.
    5. 5)
      • 5. Gilani, W., Spinczyk, O.: ‘A family of aspect dynamic weavers’, Tech. Rep., RIACS, 2004.
    6. 6)
      • 6. Dantas, D.S., Walker, D., Washburn, G., et al: ‘AspectML: a polymorphic aspect-oriented functional programming language’, ACM Trans. Program., Lang. Syst., 2008, 30, pp. 1460, doi: 10.1145/1353445.1353448.
    7. 7)
      • 7. Coady, Y., Kiczales, G., Feeley, M., et al: ‘Using AspectC to improve the modularity of path-specific customization in operating system code’. Proc. 8th European Software Engineering Conf., ESEC/FSE-9, ACM, Vienna, Austria, 2001, pp. 8898, doi: 10.1145/503209.503223.
    8. 8)
      • 8. Kiczales, G., Hilsdale, E., Hugunin, J., et al: ‘An overview of AspectJ’. Proc. 15th European Conf. on Object-Oriented Programming, ECOOP'01, London, UK, 2001, pp. 327353.
    9. 9)
      • 9. Panunzio, M., Vardanega, T.: ‘A component-based process with separation of concerns for the development of embedded real-time software systems’, J. Syst. Softw., 2014, 96, pp. 105121, doi: 10.1016/j.jss.2014.05.076.
    10. 10)
      • 10. Pessemier, N., Seinturier, L., Duchien, L., et al: ‘A component-based and aspect-oriented model for software evolution’, Int. J. Comput. Appl. Technol., 2008, 31, (1), pp. 94105, doi: 10.1504/IJCAT.2008.017722.
    11. 11)
      • 11. Pinto, M., Fuentes, L.: ‘AO-ADL: an ADL for describing aspect-oriented architectures’. Early Aspects: Current Challenges and Future Directions, Vancouver, BC, Canada, 2007, pp. 94114, doi: 10.1007/978–3-540-76811-1_6.
    12. 12)
      • 12. Duclos, F., Estublier, J., Morat, P.: ‘Describing and using non functional aspects in component based applications’. Proc. 1st Int. Conf. on Aspect-Oriented Software Development, AOSD'02, Enschede, The Netherlands, 2002, pp. 6575, doi: 10.1145/508386.508394.
    13. 13)
      • 13. Adamek, J., Bures, T., Jezek, P., et al: ‘Component reliability extensions for fractal component model: architecture/design manual and user manual’. Academy of Sciences of the Czech Republic France Telecom, Tech. report, France telecom, France, 05 2006.
    14. 14)
      • 14. Kang, K., Cohen, S., Hess, J., et al: ‘Feature-oriented domain analysis (FODA) feasibility study’, Tech. Rep. CMU/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University, 1990.
    15. 15)
      • 15. Apel, S., Batory, D., Kstner, C., et al: ‘Feature-oriented software product lines: concepts and implementation’ (Springer Publishing Company, Berlin, Heidelberg, Germany, 2013), doi: 10.1007/978-3-642-37521-7.
    16. 16)
      • 16. Batista, T., Chavez, C., Garcia, A., et al: ‘Reflections on architectural connection: seven issues on aspects and ADLs’. Proc. 2006 Int. Workshop on Early Aspects at ICSE, EA'06, ACM, Shanghai, China, 2006, pp. 310, doi: 10.1145/1137639.1137642.
    17. 17)
      • 17. Pichler, R., Ostermann, K., Mezini, M.: ‘On aspectualizing component models’, Softw.-Pract. Exp., 2003, 33, (10), pp. 957974, doi: 10.1002/spe.534.
    18. 18)
      • 18. Navasa, A., Pérez, M.A., Murillo, J.M., et al: ‘Aspect-oriented software architecture: a structural perspective’. Proc. AOSD Workshop on Early Aspects, Aspect Oriented Requirement Engineering and Architectural Design, ACM, Enschede, The Netherlands, 2002, p. 6.
    19. 19)
      • 19. Hannousse, A.: ‘Aspectualizing component models: implementation and interferences analysis’ (LAMBERT Academic Publishing, Saarbrücken, Saarland, Germany, 2012).
    20. 20)
      • 20. Hannousse, A., Douence, R., Ardourel, G.: ‘Static analysis of aspect interaction and composition in component models’. Proc. 10th ACM Int. Conf. on Generative Programming and Component Engineering, GPCE'11, ACM, Portland, Oregon, USA, 2011, pp. 4352, doi: 10.1145/2047862.2047871.
    21. 21)
      • 21. Hannousse, A., Douence, R., Ardourel, G.: ‘Composable controllers in fractal: implementation and interference analysis’. Proc. 37th EUROMICRO Conf. on Software Engineering and Advanced Applications (SEAA'11), IEEE Computer Society, Oulu, Finland, 2011, pp. 5154, doi: 10.1109/SEAA.2011.18.
    22. 22)
      • 22. Hannousse, A., Ardourel, G., Douence, R.: ‘Views for aspectualizing component models’. Proc. Ninth AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software, Rennes, France, 2010, pp. 2125.
    23. 23)
      • 23. Harrison, W., Ossher, H., Tarr, P.: ‘Asymmetrically vs. symmetrically organized paradigms for software composition’, Technical Report, IBM Research Division, Thomas J. Watson Research Center, NY, USA, 2002.
    24. 24)
      • 24. Kang, K.C., Lee, J., Donohoe, P.: ‘Feature-oriented product line engineering’, IEEE Softw., 2002, 19, (4), pp. 5865, doi: 10.1109/MS.2002.1020288.
    25. 25)
      • 25. Bynens, M., Truyen, E., Joosen, W.: ‘A sequence of patterns for reusable aspect libraries with easy configuration’. Proc. 10th Int. Conf. on Software Composition, SC'11, Zurich, Switzerland, 2011 (LNCS, 6708), pp. 6883, doi: 10.1007/978-3-642-22045-6_5.
    26. 26)
      • 26. Loughran, N., Rashid, A.: ‘Framed aspects: supporting variability and configurability for AOP’. Proc. 8th Int. Conf. on Software Reuse: Methods, Techniques and Tools, Madrid, Spain, 2004 (LNCS, 3107), pp. 127140, doi: 10.1007/978-3-540-27799-6_11.
    27. 27)
      • 27. Masuhara, H., Endoh, Y., Yonezawa, A.: ‘A fine-grained join point model for more reusable aspects’. Proc. 4th Asian Symp. on Programming Languages and Systems, APLAS'06, Sydney, NSW, Australia, 2006 (LNCS, 4279), pp. 131147, doi: 10.1007/11924661_8.
    28. 28)
      • 28. Griswold, W.G., Sullivan, K., Song, Y., et al: ‘Modular software design with crosscutting interfaces’, IEEE Softw., 2006, 23, (1), pp. 5160, doi: 10.1109/MS.2006.24.
    29. 29)
      • 29. Sant'Anna, C., Garcia, A., Von Staa, A.: ‘On the reuse and maintenance of aspect-oriented software: an assessment framework’. Proc. XVII Brazilian Symp. on Software Engineering, SBES'03, Maunas, Brazil, 2003.
    30. 30)
      • 30. Karl Lieberherr, D.L., Mezini, M.: ‘Programming with Aspectual Components’, Tech. Rep. NU-CSS-99- 01, 1999.
    31. 31)
      • 31. Apel, S., Leich, T., Saake, G.: ‘Aspectual feature modules’, IEEE Trans. Softw. Eng., 2008, 34, (2), pp. 162180, doi: 10.1109/TSE.2007.70770.
    32. 32)
      • 32. Bass, L., Klein, M., Northrop, L.: ‘Identifying aspects using architectural reasoning’. Proc. AOSD Workshop on Early Aspects, Aspect-Oriented Requirement Engineering and Architectural Design, Lancaster, UK, 2004, pp. 5157.
    33. 33)
      • 33. Filman, R.E., Friedman, D.P.: ‘Aspect-oriented programming is quantification and obliviousness’. Proc. Workshop on Advanced Separation of Concerns, OOPSLA'00, ACM, Minneapolis, Minnesota, USA, 2000.
    34. 34)
      • 34. Suvée, D., Vanderperren, W., Jonckers, V.: ‘JAsCo: an aspect-oriented approach tailored for component based software development’. Proc. 2nd Int. Conf. on Aspect-Oriented Software Development (AOSD'03), ACM, Boston, Massachusetts, USA, 2003, pp. 2129, doi: 10.1145/643603.643606.
    35. 35)
      • 35. Leger, P., Tanter, E., Fukuda, H.: ‘An expressive stateful aspect language’, Sci. Comput. Program., 2015, 102, (C), pp. 108141, doi: 10.1016/j.scico.2015.02.001.
    36. 36)
      • 36. Allan, C., Avgustinov, P., Christensen, A.S., et al: ‘Adding trace matching with free variables to AspectJ’, ACM SIGPLAN Notices, 2005, 40, (10), pp. 345364, doi: 10.1145/1103845.1094839.
    37. 37)
      • 37. Avgustinov, P., Bodden, E., Hajiyev, E., et al: ‘Aspects for trace monitoring’. Formal Approaches to Software Testing and Runtime Verification, Seattle, WA, USA, 2006 (LNCS, 4262), pp. 2039, doi: 10.1007/11940197_2.
    38. 38)
      • 38. Nishizawa, M., Chiba, S., Tatsubori, M.: ‘Remote pointcut: a language construct for distributed AOP’. Proc. 3rd Int. Conf. on Aspect-Oriented Software Development, AOSD'04, ACM, Lancaster, UK, 2004, pp. 715.
    39. 39)
      • 39. Li, W., Guo, W.: ‘QoS prediction for dynamic reconfiguration of component based software systems’, J. Syst. Softw., 2015, 102, (C), pp. 1234, doi: 10.1016/j.jss.2014.12.001.
    40. 40)
      • 40. Li, W.: ‘QoS assurance for dynamic reconfiguration of component-based software systems’, IEEE Trans. Softw. Eng., 2012, 38, (3), pp. 658676, doi: 10.1109/TSE.2011.37.
    41. 41)
      • 41. Cafeo, B.B., Cirilo, E., Garcia, A., et al: ‘Feature dependencies as change propagators’, Inf. Softw. Technol., 2016, 69, (C), pp. 3749, doi: 10.1016/j.infsof.2015.08.009.
    42. 42)
      • 42. Atlee, J.M., Fahrenberg, U., Legay, A.: ‘Measuring behaviour interactions between product-line features’. Proc. 3rd FME Workshop on Formal Methods in Software Engineering, Formalise'15, Florence, Italy, 2015, pp. 2025, doi: 10.1109/FormaliSE.2015.11.
    43. 43)
      • 43. Apel, S., Atlee, J.M., Baresi, L., et al: ‘Feature interactions: the next generation (Dagstuhl seminar 14281)’, Dagstuhl. Rep., 2014, 4, (7), pp. 124.
    44. 44)
      • 44. Figueroa, I., Schrijvers, T., Tabareau, N., et al: ‘Compositional reasoning about aspect interference’. Proc. 13th Int. Conf. on modularity, MODULARITY'14, Lugano, Switzerland, 2014, pp. 133144, doi: 10.1145/2577080.2577093.
    45. 45)
      • 45. Disenfeld, C., Katz, S.: ‘A closer look at aspect interference and cooperation’. Proc. 11th Int. Conf. on Aspect-oriented Software Development, AOSD 2012, Germany, 2012, doi: 10.1145/2162049.2162063.
    46. 46)
      • 46. Katz, E., Katz, S.: ‘Incremental analysis of interference among aspects’. Proc. 7th Workshop on Foundations of Aspect-oriented Languages, FOAL'08, ACM, Brussels, Belgium, 2008, pp. 2938, doi: 10.1145/1394496.1394500.
    47. 47)
      • 47. Schuster, S., Schulze, S., Schaefer, I.: ‘Structural feature interaction patterns: case studies and guidelines’. Proc. 8th Int. workshop on Variability Modelling of Software-Intensive Systems, VaMoS'14, ACM, Sophia Antipolis, France, 2014, pp. 14:114:8, doi: 10.1145/2556624.2556640.
    48. 48)
      • 48. Jia Liu, D.B., Nedunuri, S.: ‘Modeling interactions in feature oriented software designs’. Proc. Int. Conf. on Feature Interactions in Telecommunications and Software Systems, ICFI2005, Leicester, UK, 2005, pp. 178198.
    49. 49)
      • 49. Havinga, W., Bergmans, L., Aksit, M.: ‘Prototyping and composing aspect languages’. Proc. European Conf. of Object-Oriented Programming, ECOOP'08, Paphos, Cyprus, 2008 (LNCS, 5142), pp. 180206, doi: 10.1007/978-3-540-70592-5_9.
    50. 50)
      • 50. Lorenz, D.H., Kojarski, S.: ‘Understanding aspect interactions, co-advising and foreign advising’. Proc. European Conf. on Object-Oriented Programming, ECOOP'07, Berlin, Germany, 2007, pp. 2328.
    51. 51)
      • 51. Wang, N., Schmidt, D.C., O'Ryan, C.: ‘Overview of the CORBA component model’ (Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2001), pp. 557571.
    52. 52)
      • 52. Burke, B., Monson-Haefel, R.: ‘Enterprise JavaBeans 3.0’ (O'Reilly Media, Inc., Sebastopol, CA, USA, 2006, 5th Edn.).
    53. 53)
      • 53. Pawlak, R., Seinturier, L., Retaillé, J.-P.: ‘Foundations of AOP for J2EE Development’ (APress, Berkely, CA, USA, 2005).
    54. 54)
      • 54. Mondéjar, R., Garca-López, P., Pairot, C., et al: ‘Damon: a distributed AOP middleware for large-scale scenarios’, Inf. Softw. Technol., 2012, 54, (3), pp. 317330, doi: 10.1016/j.infsof.2011.10.004.
    55. 55)
      • 55. Meja, I.: ‘Towards a proper aspect-oriented model for distributed systems’. Proc. 10th Int. Conf. on Aspect-Oriented Software Development, AOSD'11, ACM, Porto de Galinhas, Brazil, 2011, pp. 8384, doi: 10.1145/1960314.1960346.
    56. 56)
      • 56. Tabareau, N.: ‘A theory of distributed aspects’. Proc. 9th Int. Conf. on Aspect-Oriented Software Development, AOSD'10, ACM, Rennes and Saint-Malo, France, 2010, pp. 133144, doi: 10.1145/1739230.1739246.
    57. 57)
      • 57. Schobbens, P.-Y., Heymans, P., Trigaux, J.-C., et al: ‘Generic semantics of feature diagrams’, Comput. Netw., 2007, 51, (2), pp. 456479, doi: 10.1016/j.comnet.2006.08.008.
    58. 58)
      • 58. Baude, F., Caromel, D., Dalmasso, C., et al: ‘GCM: a grid extension to fractal for autonomous distributed components’, Ann. Telecommun., 2008, 64, (1), pp. 524, doi: 10.1007/s12243-008-0068-8.
    59. 59)
      • 59. Henrio, L., Kulankhina, O., Liu, D., et al: ‘Verifying the correct composition of distributed components: formalization and tool’. Proc. 13th Int. Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA'14, EPTCS, Rome, Italy, 2014, vol. 175, pp. 6985.
    60. 60)
      • 60. Pinto, M., Fuentes, L., Troya, J.M.: ‘A dynamic component and aspect-oriented platform’, Comput. J., 2005, 48, (4), pp. 401420, doi: 10.1093/comjnl/bxh083.
    61. 61)
      • 61. Choi, J.P.: ‘Aspect-oriented programming with enterprise JavaBeans’. Proc. 4th Int. Conf. on Enterprise Distributed Object Computing, EDOC'00, IEEE Computer Society, USA, 2000, pp. 252261, doi: 10.1109/EDOC.2000.882365.
    62. 62)
      • 62. Malohlava, M., Hnetynka, P., Bures, T.: ‘Sofa 2 component framework and its ecosystem’, Electron. Notes Theor. Comput. Sci., 2013, 295, pp. 101106, doi: 10.1016/j.entcs.2013.04.009.
    63. 63)
      • 63. Lionel Seinturier, T.C., Pessemier, N.: ‘AOKell: an aspect-oriented implementation of the fractal specifications’. Objectweb Fractal Workshop, Grenoble, France, 2005.
    64. 64)
      • 64. Söldner, G., Kapitza, R.: ‘AOCI: an aspect-oriented component infrastructure’. Proc. 12th Int. Workshop on Component Oriented Programming, WCOP'07, Berlin, Germany, 2007, pp. 5358.
    65. 65)
      • 65. Mencl, V., Bures, T.: ‘Microcomponent-based component controllers: a foundation for component aspects’. Proc. 12th Asia-Pacific Software Engineering Conf., APSEC'05, IEEE CS, Taipei, Taiwan, 2005, pp. 729737, doi: 10.1109/APSEC.2005.78.
    66. 66)
      • 66. Benavides Navarro, L.D., Südholt, M., Vanderperren, W., et al: ‘Explicitly distributed AOP using AWED’. Proc. 5th Int. Conf. on Aspect-Oriented Software Development, AOSD'06, Bonn, Germany, 2006, pp. 5162, doi: 10.1145/1119655.1119665.
    67. 67)
      • 67. Söldner, G., Schober, S., Schröder-Preikschat, W., et al: ‘AOCI: weaving components in a distributed environment’, in Meersman, R., Tari, Z. (Eds.): ‘On the move to meaningful internet systems: OTM 2008’ (Springer, Berlin, Heidelberg, Germany, 2008), pp. 535552.
    68. 68)
      • 68. Rashid, A., Sawyer, P., Moreira, A.M.D., et al: ‘Early aspects: a model for aspect-oriented requirements engineering’. Proc. 10th Anniversary IEEE Joint Int. Conf. on Requirements Engineering, RE'02, IEEE CS, Essen, Germany, 2002, pp. 199202, doi: 10.1109/ICRE.2002.1048526.
    69. 69)
      • 69. Rong, M., Liu, C., Zhang, G.: ‘Modeling aspect-oriented software architecture based on ACME’. Proc. 6th Int. Conf. on Computer Science & Education, ICCSE'11, IEEE CS, Singapore, 2011, pp. 11591164, doi: 10.1109/ICCSE.2011.6028839.
    70. 70)
      • 70. Pinto, M., Fuentes, L., Linero, J.M.T.: ‘Specifying aspect-oriented architectures in AO-ADL’, Inf. Softw. Technol., 2011, 53, (11), pp. 11651182, doi: 10.1016/j.infsof.2011.04.003.
    71. 71)
      • 71. Pinto, M., Fuentes, L., Fernández, L.: ‘Deriving detailed design models from an aspect-oriented ADL using MDD’, J. Syst. Softw., 2012, 85, (3), pp. 525545, doi: 10.1016/j.jss.2011.05.026.
    72. 72)
      • 72. Fatharani, S.L., Kusumo, D.S., Suwawi, D.D.J.: ‘Software architecture design of collaborative learning system for undergraduate thesis guidance application using aspect oriented architecture description language (AO-ADL)’. Proc. 4th Int. Conf. on Information and Communication Technology, ICoICT'16, Bandung, Indonesia, 2016, pp. 15.
    73. 73)
      • 73. Fabresse, L., Bouraqadi, N., Dony, C., et al: ‘A language to bridge the gap between component-based design and implementation’, Comput. Lang., Syst. Struct., 2012, 38, (1), pp. 2943, doi: 10.1016/j.cl.2011.10.003.
    74. 74)
      • 74. Suvée, D., Fraine, B.D., Vanderperren, W.: ‘A symmetric and unified approach towards combining aspect-oriented and component-based software development’. Proc. Int. Conf. on Component-Based Software Engineering, CBSE'06, Västerås, Sweden, 2006 (LNCS, 4063), pp. 114122, doi: 10.1007/11783565_8.
    75. 75)
      • 75. Navasa, A., Pérez-Toledano, M. A., Murillo, J. M.: ‘An ADL dealing with aspects at software architecture stage’, Inf. Softw. Technol., 2009, 51, (2), pp. 306324, doi: 10.1016/j.infsof.2008.03.009.
    76. 76)
      • 76. Jing, W., Shi, Y., LinLin, Z., et al: ‘AC2-ADL: architectural description of aspect-oriented systems’, Int. J. Softw. Eng. Appl., 2009, 3, (1), pp. 110, doi: 10.1109/ASEA.2008.11.
    77. 77)
      • 77. Cao, Y., Rong, M., Zhang, G.: ‘An aspect-oriented software architecture description language AO-ADL based on XYZ’, Int. J. Hybrid Inf. Technol., 2014, 7, (4), pp. 365376.
    78. 78)
      • 78. Loukil, S., Kallel, S., Zalila, B., et al: ‘Ao4AADL: aspect oriented extension for AADL’, Cent. Eur. J. Comput. Sci., 2013, 3, (2), pp. 4368, doi: 10.2478/s13537-013-0105-1.
    79. 79)
      • 79. Loukil, S., Kallel, S., Zalila, B., et al: ‘An approach based on runtime models for developing dynamically adaptive systems’, Future Gener. Comput. Syst., 2017, 68, pp. 365375, doi: 10.1016/j.future.2016.07.006.
    80. 80)
      • 80. Liu, J., Chen, Y., Li, C., et al: ‘AspectBreeze: integrating trustworthiness aspects into graph grammar supported architecture description language’. Proc. 6th Asia-Pacific Symp. on Internetware on Internetware, ACM, Hong Kong, China, 2014, pp. 8088, doi: 10.1145/2677832.2677834.
    81. 81)
      • 81. Wen, X., Zheng, H., Yang, Z.: ‘A formal method for software architecture analysis based on aspect orientation’, Int. J. Wirel. Mobile Comput., 2018, 14, (2), pp. 191196, doi: 10.1504/IJWMC.2018.091147.
    82. 82)
      • 82. Bruneton, E., Coupaye, T., Leclercq, M., et al: ‘The fractal component model and its support in Java’, Softw.-Pract. Exp., 2006, 36, (11-12), pp. 12571284, doi: 10.1002/spe.767.
    83. 83)
      • 83. de Silva, L., Balasubramaniam, D.: ‘Controlling software architecture erosion: a survey’, J. Syst. Softw., 2012, 85, (1), pp. 132151, doi: 10.1016/j.jss.2011.07.036.
    84. 84)
      • 84. Hnětynka, P., Plášil, F.: ‘Dynamic reconfiguration and access to services in hierarchical component models’. Proc. 9th Int. Conf. on Component-Based Software Engineering, CBSE'06, Västerås, Sweden, 2006, pp. 352359, doi: 10.1007/11783565_2.
    85. 85)
      • 85. Medvidovic, N., Taylor, R. N.: ‘A classification and comparison framework for software architecture description languages’, IEEE Trans. Softw. Eng., 2000, 26, (1), pp. 7093, doi: 10.1109/32.825767.
    86. 86)
      • 86. Tang, C.: ‘A temporal logic language oriented toward software engineering – Introduction to XYZ system’, Chin. J. Adv. Softw. Res., 1994, 1, (1), pp. 127.
    87. 87)
      • 87. Stirling, C.: ‘Modal and temporal logics’ in ‘Handbook of logic in computer science’ (Oxford University Press, Inc., New York, NY, 1992), vol. 2, pp. 477563.
    88. 88)
      • 88. Milner, R.: ‘The polyadic pi-calculus: a tutorial’, in Bauer, F.L., Brauer, W., Schwichtenberg, H. (Eds.): ‘Logic and algebra of specification’ (Springer, Berlin, Heidelberg, Germany, 1993), pp. 203246.
    89. 89)
      • 89. Kofron, J., Adamek, J., Bures, T., et al: ‘Checking fractal component behavior using behavior protocols’. Proc. 5th Fractal Workshop part of ECOOP'06, Nantes, France, 2006.
    90. 90)
      • 90. Ali, N., Ramos, I., Solís, C.: ‘Ambient-PRISMA: ambients in mobile aspect-oriented software architecture’, J. Syst. Softw., 2010, 83, (6), pp. 937958, doi: 10.1016/j.jss.2009.12.009.
    91. 91)
      • 91. Ali, N., Solís, C., Ramos, I.: ‘Comparing architecture description languages for mobile software systems’. Proc. 1st Int. Workshop on Software Architectures and Mobility (SAM'08). ACM, Leipzig, Germany, 2008, pp. 3338, doi: 10.1145/1370888.1370897.
    92. 92)
      • 92. Sanen, F., Truyen, E., Joosen, W.: ‘Classifying and documenting aspect interactions’. Proc. 5th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software, ACPIS'06, Bonn, Germany, 2006, pp. 2326.
    93. 93)
      • 93. Krishnamurthi, S., Fisler, K.: ‘Foundations of incremental aspect model-checking’, ACM Trans. Softw. Eng. Methodol., 2007, 16, (2), pp. 139, doi: 10.1145/1217295.1217296.
    94. 94)
      • 94. Durr, P.E.A.: ‘Resource-based verification for robust composition of aspects’, Ph.D. thesis, University of Twente, Enschede, 2008.
    95. 95)
      • 95. Marot, A., Wuyts, R.: ‘Detecting unanticipated aspect interferences at runtime with compositional intentions’. Proc. Workshop on AOP and Meta-Data for Software Evolution, RAM-SE'09, ACM, Genova, Italy, 2009, pp. 3135, doi: 10.1145/1562860.1562863.
    96. 96)
      • 96. Goldman, M., Katz, E., Katz, S.: ‘Maven: modular aspect verification and interference analysis’, Formal Methods Syst. Des., 2010, 37, pp. 6192, doi: 10.1007/s10703-010-0101-1.
    97. 97)
      • 97. Chen, X., Ye, N., Ding, W.: ‘A formal approach to analyzing interference problems in aspect-oriented designs’. Proc. 3rd Int. Conf. on Unifying Theories of Programming, UTP'10, Shanghai, China, 2010, pp. 157171, doi: 10.1007/978-3-642-16690-7_7.
    98. 98)
      • 98. Crnkovic, I., Sentilles, S., Vulgarakis, A., et al: ‘A classification framework for software component models’, IEEE Trans. Softw. Eng., 2011, 37, (5), pp. 593615, doi: 10.1109/TSE.2010.83.
    99. 99)
      • 99. Malavolta, I., Lago, P., Muccini, H., et al: ‘What industry needs from architectural languages: a survey’, IEEE Trans. Softw. Eng., 2013, 39, (6), pp. 869891, doi: 10.1109/TSE.2012.74.
    100. 100)
      • 100. Oliveira, K.S., Soares, M.D.: ‘A systematic review on aspects in software architecture design’. Proc. 31st Int. Conf. of the Chilean Computer Science Society (SCCC), Chile, 2013, pp. 2128, doi:10.1109/SCCC.2012.10.
http://iet.metastore.ingenta.com/content/journals/10.1049/iet-sen.2018.5324
Loading

Related content

content/journals/10.1049/iet-sen.2018.5324
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
This is a required field
Please enter a valid email address