Analysis of compositional conflicts in component-based systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3628 LNCS, Issue , 2005, Pages 67-82

  Leicher, Andreas ^a   Busse, Susanne ^a   Süß, Jörn Guy ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; KNOWLEDGE BASED SYSTEMS; PROCESS CONTROL; PRODUCT DEVELOPMENT; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS;

BEHAVIORAL CONFLICTS; COMPONENT-BASED SYSTEMS; COMPOSITIONAL CONFLICTS; INCOMPATIBILITIES; PROPERTY CONFLICTS;

ARTIFICIAL INTELLIGENCE;

EID: 33646125607     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11550679_6     Document Type: Conference Paper

References (32)

1. 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. Cambridge University Press (2000) 47-68
2. Magee, J., Dulay, N., Kramer, J.: Regis: A constructive development environment for distributed programs. Distributed Systems Engineering 1 (1994) 304-312
3. Magee, J., Dulay, N., Eisenbach, S., Kramer, J.: Specifying Distributed Software Architectures. In Schafer, W., Botella, P., eds.: Proc. 5th European Software Engineering Conf. (ESEC 95). Volume 989., Sitges, Spain, Springer-Verlag, Berlin (1995) 137-153
4. 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 (1995) 336-355
5. Magee, J., Kramer, J.: Concurrency, State Models & Java Programs. John Wiley & Sons (1999)
6. Hoare, C.: Communicating Sequential Processes. Prentice Hall PTR (1985)
7. 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 (1995) 179-185
8. Mehta, N.R., Medvidovic, N., Phadke, S.: Towards a taxonomy of software connectors. In: Proceedings of the 22nd international conference on Software engineering, ACM Press (2000) 178-187
9. 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.
10. 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, IEEE Computer Society (1997) 6-13
11. Davis, L., Gamble, R., Payton, J.: The impact of component architectures on interoperability. Journal of Systems and Software 61 (2002) 31-45 based on the Technical Report UTULSA-MCS-99-30.
12. Davis, L., Flagg, D., Gamble, R., Karatas, C.: Classifying interoperability conflicts. In H. Erdogmus, T.W., ed.: COTS-Based Software Systems: Second International Conference, ICCBSS 2003 Ottawa, Canada. Number 2580 in LNCS, SPRINGER (2003) 62-71
13. Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology (TOSEM) 6 (1997) 213-249
14. Kelkar, A., Gamble, R.: Understanding the architectural characteristics behind middleware choices. In: 1st International Conference in Information Reuse and Integration, 1999. (1999)
15. 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, IEEE Computer Society Press (1999) 296-302
16. Mehta, N.R., Medvidovic, N.: Understanding software connector compatibilites using a connector taxonomy. In: In Proceedings of First Workshop on Software Design and Architecture (SoDA02), Bangalore, India. (2002)
17. Pahl, C.: An ontology for software component matching. In Pezze, M., ed.: 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland. Number 2621 in LNCS (2003)
18. Sintek, M., Decker, S.: TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web. In: Proceedings of International Semantic Web Conference ISWC 2002, Lecture Notes in Computer Science, Bd. 2342, Springer (2002)
19. Mellor, S.J., Clark, A.N., Futagami, T.: Model-driven development. IEEE Software 20 (2003) 14-18
20. Miller, J., Mukerji, J.: MDA Guide Version 1.0. Web www.omg.org (2003) Document Number omg/2003-05-01.
21. Gädicke, J.: Metadatengestützte analyse der kommunikationsfähigkeit von enterprise java beans und .net. Master's thesis, TU Berlin (2004) german.
22. Czarnecki, K., Eisenecker, U.: Generative Programming - Methods, Tools, and Applications. Addison-Wesley (2000)
23. 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)
24. Süß, J.G., Leicher, A., Weber, H., Kutsche, R.D.: Model-centric engineering with the evolution and validation en vironment. In Stevens, P., Whittle, J., Booch, G., eds.: UML 2003 - The Unified Modeling Language: Modeling Lan guages and Applications, 6th International Conference, San Francisco, CA, USA. Volume 2863 of LNCS., Springer (2003) 31 - 43
25. Billig, A., Busse, S., Leicher, A., Süß, J.G.: Platform independent model transformation based on triple. In Jacobsen, H.A., ed.: Proceedings of Middleware 04, ACM/IFIP/USENIX International Middleware Conference. Number 3231 in LNCS (2004)
26. Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of the ACM 42 (1995) 741-843
27. W3C: RDF Vocabulary Description Language 1.0: RDF Schema. (2003) URL: http://www.w3.org/TR/rdf-schema/.
28. Wiederhold, G.: Mediators in the Architecture of Future Information Systems. In Huhns, M.N., Singh, M.P., eds.: Readings in Agents. Morgan Kaufmann, San Francisco, CA, USA (1997) 185 - 196
29. Pierce, B.C.: Types and programming languages. MIT Press (2002) ISBN 0-262-16209-1.
30. van Glabbeek, R.J., Weijland, W.P.: Branching time and abstraction in bisimulation semantics. J. ACM 43 (1996) 555-600
31. Leicher, A.: A framework for identifying compositional conflicts in component-based systems. Technical Report 2004-23, TU Berlin (2004) (to appear).
32. Inverardi, P., Tivoli, M.: Software architecture for correct components assembly. In Bernardo, M., Inverardi, P., eds.: Formal Methods for Software Architectures, Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy. Volume 2804 of LNCS Tutorial., Springer-Verlag Berlin Heidelberg (2003)