Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Automated Compatibility Tests for Business Related Aspects of Software Components

  • Conference paper
On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops (OTM 2004)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3292))

Abstract

The focus of the thesis is to develop algorithms for enabling and executing automated compatibility tests for business related aspects of software components. Compatibility tests are necessary for the identification of required components, which are traded on component markets. Compositional reuse of software components requires standardized specification techniques if applications are created by combining third party components. Adequate techniques need to be used in order to specify not only technical but also business related aspects of software components. The use of formal specification techniques is a prerequisite for compatibility tests on component specifications. Thereby a specification framework with informal, semiformal and formal specification techniques for different levels of abstraction is used. Based on this framework compatibility tests have been developed for some of the technical aspects of software components in preparatory work. Thereby the requirements on specification techniques concerning the necessary degree of formalization in order to execute automated compatibility tests were examined. Since business related aspects of software components are informal or semiformal in order to enable experts of a certain business domain to specify their demands, a well-defined algorithm has to be developed, allowing the specification techniques of the domain experts to be transferred into a formalized specification language in order to execute automated compatibility test.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. McIlroy, M.D.: Mass Produced Software Components. In: Software Engineering: Report on a Conference by the NATO Science Committee. NATO Scientific Affairs Devision, Brussels (1968)

    Google Scholar 

  2. Sametinger, J.: Software engineering with reusable components, vol. xvi, p. 272. Springer, Berlin (1997)

    MATH  Google Scholar 

  3. Czarnecki, K., Eisenecker, U.: Generative programming: methods, tools, and applications, vol. xxvi, p. 832. Addison Wesley, Boston (2000)

    Google Scholar 

  4. Turowski, K. (ed.): Standardized Specification of Business Components, Gesellschaft für Informatik, Working Group 5.10.3 - Component Oriented Business Application Systems, Augsburg (2002)

    Google Scholar 

  5. OMG (ed.): The Common Object Request Broker: Architecture and Specification: Version 2.5., Framingham (2001)

    Google Scholar 

  6. OMG (ed.): Unified Modeling Language Specification: Version 1.4, Needham (2001)

    Google Scholar 

  7. Ortner, E.: Methodenneutraler Fachentwurf: Zu den Grundlagen einer anwendungsorientierten Informatik, Stuttgart (1997)

    Google Scholar 

  8. Meyer, B.: Object-Oriented Software Construction, Englewood Cliffs (1988)

    Google Scholar 

  9. Meyer, B.: Applying Design by Contract. IEEE Computer 25(10), 40–51 (1992)

    Google Scholar 

  10. Krammer, A., Turowski, K.: Spezifikationsbedarf von Web-Services. In: Ortner, E., Overhage, S. (eds.) Workshop Entwicklung von Anwendungen auf der Basis der XML Web-Service Technologie, Darmstadt, vol. 1, pp. 1–16 (2002)

    Google Scholar 

  11. W3C (ed.): DAML+OIL Reference Description TR/daml+oil-reference (2001), http://www.w3.org/ (download 2004-07-11)

  12. Zaha, J.M., Geisenberger, M., Groth, M.: Compatibility Test and Adapter Generation for Interfaces of Software Components, University of Augsburg, Chair of Business Information Systems and Systems Engineering, Internal Report (2004)

    Google Scholar 

  13. Zaremski, A. M., Wing, J. M.: Signature Matching: A Key to Reuse. In: Proceedings of SIGSOFT 1993 (1993)

    Google Scholar 

  14. Zaremski, A. M., Wing, J. M.: Signature Matching: a Tool for using Software Libraries. ACM Transactions on Software Engineering and Methodology (TOSEM) (1995)

    Google Scholar 

  15. Zaremski, A.M., Wing, J.M.: Specification Matching of Software Components. In: Proceedings of 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering (1995)

    Google Scholar 

  16. Nierstrasz, O.: Regular Types for Active Objects. In: Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications (1993)

    Google Scholar 

  17. Yellin, D. M., Strom, R. E.: Protocol Specifications and Component Adapters. ACM Transactions on Programming Languages and Systems (TOPLAS) (1997)

    Google Scholar 

  18. Gómez-Pérez, A., Fernández-López, M., Corcho, O.: Ontological Engineering. Springer, London (2004)

    Google Scholar 

  19. Farquhar, A., Fikes, R., Rice, J.: The Ontolingua Server: A Tool for Collaborative Ontology Construction. International Journal of Human Computer Studies 46(6), 707–727 (1997)

    Article  Google Scholar 

  20. Kifer, M., Lausen, G., Wu, J.: Logical Foundations of Object-Oriented and Frame-BAssed Languages. Journal of the ACM 42(4), 741–843 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  21. Becker, J., Schütte, R.: Handelsinformationssysteme – Domänenorientierte Einführung in die Wirtschaftsinformatik. Redline Wirtschaft, Frankfurt am Main (2004)

    Google Scholar 

  22. Brocke, J.v.: Referenzmodellierung: Gestaltung und Verteilung von Konstruktionsprozessen. In: Advances in Information Systems and Management Science. Logos Verlag, Berlin (2003)

    Google Scholar 

  23. Lim, W.C.: Managing Software Reuse: A Comprehensive Guide to Strategically Reengineering the Organization for Reusable Components. Prentice Hall, London (1998)

    Google Scholar 

  24. Sommerville, I.: Software Engineering. Pearson Studium, München (2001)

    Google Scholar 

  25. Ortner, E.: Ein Multipfad-Vorgehensmodell für die Entwicklung von Informationssystemen – dargestellt am Beispiel von Workflow-Managemnt-Anwendungen. Wirtschaftsinformatik 40(4), 329–337 (1998)

    Google Scholar 

  26. Schienmann, B.: Objektorientierter Fachentwurf. Teubner Verlag, Stuttgart (1997)

    MATH  Google Scholar 

  27. Prieto-Díaz, R.: Domain Analysis for Reusability. In: IEEE (ed.) Proceedings, COMPSAC 1987, The eleventh Annual International Computer Software and Applications Conference, Tokyo, pp. 23–29 (1987)

    Google Scholar 

  28. Prieto-Díaz, R.: Domain Analysis: An Introduction. Software Engineering Notes 15(2), 47–54 (1990)

    Article  Google Scholar 

  29. Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report Nr. CMU/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University, Pittsburgh (1990)

    Google Scholar 

  30. W3C (ed.): Web Service Description Language (WSDL) (2004), http://www.w3.org/TR/wsdl (download 2004-07-11)

  31. UDDI Organisation (ed.), UDDI Technical White Paper (2004), http://uddi.org/pubs/ProgrammersAPI-V2.04-Published-20020719.htm (download 2004- 07-11)

  32. W3C (ed.): Web Ontology Language (OQL) (2004), http://www.w3.org/TR/owl (download 2004-07-11)

Download references

Author information

Authors and Affiliations

  1. Business Informatics and Systems Engineering, Business Faculty, University of Augsburg, Universitätsstraße 16, 86135, Augsburg, Germany

    Johannes Maria Zaha

Authors
  1. Johannes Maria Zaha
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Vrije Universiteit Brussel (VUB), STARLab, Bldg G/10, Pleinlaan 2, 1050, Brussels, Belgium

    Robert Meersman

  2. School of Computer Science and Information Technology, RMIT University, Bld 10.10, 376-392 Swanston Street, 3001, Melbourne, VIC, Australia

    Zahir Tari

  3. PrismTech, 4, Rue Angiboust, 91460, Marcoussis, France

    Angelo Corsaro

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zaha, J.M. (2004). Automated Compatibility Tests for Business Related Aspects of Software Components. In: Meersman, R., Tari, Z., Corsaro, A. (eds) On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops. OTM 2004. Lecture Notes in Computer Science, vol 3292. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30470-8_97

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30470-8_97

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-23664-1

  • Online ISBN: 978-3-540-30470-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation