Abstract
Today, incompatibilities in component specifications make their composition hard to handle in practical terms. Incompatibilities can be classified into three conflict categories: type conflicts, behavioral conflicts, and property conflicts. This paper describes a framework for the identification of compositional conflicts in component-based systems that analyses conflicts of all three categories. Furthermore, the conflict analysis framework can be integrated into the software development process and handles component transformations between different abstraction levels.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Garlan, D., Monroe, R.T., Wile, D.: Acme: Architectural description of component-based systems. In: Leavens, G.T., Sitaraman, M. (eds.) Foundations of Component-Based Systems., pp. 47–68. Cambridge University Press, Cambridge (2000)
Magee, J., Dulay, N., Kramer, J.: Regis: A constructive development environment for distributed programs. Distributed Systems Engineering 1, 304–312 (1994)
Magee, J., Dulay, N., Eisenbach, S., Kramer, J.: Specifying Distributed Software Architectures. In: Schafer, W., Botella, P. (eds.) ESEC 1995. LNCS, vol. 989, pp. 137–153. Springer, Heidelberg (1995)
Luckham, D.C., Kenney, J.L., Augustin, L.M., Vera, J., Bryan, D., Mann, W.: Specification and analysis of system architecture using rapide. IEEE Transactions on Software Engineering 21, 336–355 (1995)
Magee, J., Kramer, J.: Concurrency, State Models & Java Programs. John Wiley & Sons, Chichester (1999)
Hoare, C.: Communicating Sequential Processes. Prentice Hall PTR (1985)
Garlan, D., Allen, R., Ockerbloom, J.: Architectural mismatch, or, why it’s hard to build systems out of existing parts. In: Proceedings of the 17th International Conference on Software Engineering, Seattle, Washington, pp. 179–185 (1995)
Mehta, N.R., Medvidovic, N., Phadke, S.: Towards a taxonomy of software connectors. In: Proceedings of the 22nd international conference on Software engineering, pp. 178–187. ACM Press, New York (2000)
Mehta, N.R.: Software connectors: A taxonomy approach. In: Workshop on Evaluating Software Architectural Solutions 2000, Institute for Software Research University of California, Irvine (2000), http://www.isr.uci.edu/events/wesas2000/position-papers/mehta.pdf
Shaw, M., Clements, P.C.: A field guide to boxology: Preliminary classification of architectural styles for software systems. In: Proceedings of the 21st International Computer Software and Applications Conference, pp. 6–13. IEEE Computer Society, Los Alamitos (1997)
Davis, L., Gamble, R., Payton, J.: The impact of component architectures on interoperability. Journal of Systems and Software 61, 31–45 (2002) (based on the Technical Report UTULSA-MCS-99-30)
Davis, L., Flagg, D., Gamble, R., Karatas, C.: Classifying interoperability conflicts. In: Erdogmus, H., Weng, T. (eds.) ICCBSS 2003. LNCS, vol. 2580, pp. 62–71. Springer, Heidelberg (2003)
Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology (TOSEM) 6, 213–249 (1997)
Kelkar, A., Gamble, R.: Understanding the architectural characteristics behind middleware choices. In: 1st International Conference in Information Reuse and Integration 1999 (1999)
Yakimovich, D., Bieman, J.M., Basili, V.R.: Software architecture classification for estimating the cost of cots integration. In: Proceedings of the 21st international conference on Software engineering, pp. 296–302. IEEE Computer Society Press, Los Alamitos (1999)
Mehta, N.R., Medvidovic, N.: Understanding software connector compatibilites using a connector taxonomy. In: Proceedings of First Workshop on Software Design and Architecture (SoDA 2002), Bangalore, India (2002)
Pahl, C.: An ontology for software component matching. In: Pezzé, M. (ed.) FASE 2003. LNCS, vol. 2621, pp. 6–21. Springer, Heidelberg (2003)
Sintek, M., Decker, S.: TRIPLE–A query, inference, and transformation language for the semantic web. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, p. 364. Springer, Heidelberg (2002)
Mellor, S.J., Clark, A.N., Futagami, T.: Model-driven development. IEEE Software 20, 14–18 (2003)
Miller, J., Mukerji, J.: MDA Guide Version 1.0. Web Document Number omg/2003-05-01 (2003), http://www.omg.org
Gädicke, J.: Metadatengestützte analyse der kommunikationsfähigkeit von enterprise java beans und.net. Master’s thesis, TU Berlin, German (2004)
Czarnecki, K., Eisenecker, U.: Generative Programming - Methods, Tools, and Applications. Addison-Wesley, Reading (2000)
Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University (1990)
Süß, J.G., Leicher, A., Weber, H., Kutsche, R.D.: Model-centric engineering with the evolution and validation environment. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 31–43. Springer, Heidelberg (2003)
Billig, A., Busse, S., Leicher, A., Süß, J.G.: Platform independent model transformation based on TRIPLE. In: Jacobsen, H.-A. (ed.) Middleware 2004. LNCS, vol. 3231, pp. 493–511. Springer, Heidelberg (2004)
Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of the ACM 42, 741–843 (1995)
W3C: RDF Vocabulary Description Language 1.0: RDF Schema (2003), URL: http://www.w3.org/TR/rdf-schema/
Wiederhold, G.: Mediators in the Architecture of Future Information Systems. In: Huhns, M.N., Singh, M.P. (eds.) Readings in Agents, pp. 185–196. Morgan Kaufmann, San Francisco (1997)
Pierce, B.C.: Types and programming languages. MIT Press (2002) ISBN 0-262-16209-1
van Glabbeek, R.J., Weijland, W.P.: Branching time and abstraction in bisimulation semantics. J. ACM 43, 555–600 (1996)
Leicher, A.: A framework for identifying compositional conflicts in component-based systems. Technical Report 2004-23, TU Berlin (2004) (to appear)
Inverardi, P., Tivoli, M.: Software architecture for correct components assembly. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol. 2804, pp. 92–121. Springer, Heidelberg (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 IFIP International Federation for Information Processing
About this paper
Cite this paper
Leicher, A., Busse, S., Süß, J.G. (2005). Analysis of Compositional Conflicts in Component-Based Systems. In: Gschwind, T., Aßmann, U., Nierstrasz, O. (eds) Software Composition. SC 2005. Lecture Notes in Computer Science, vol 3628. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11550679_6
Download citation
DOI: https://doi.org/10.1007/11550679_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28748-3
Online ISBN: 978-3-540-28749-0
eBook Packages: Computer ScienceComputer Science (R0)