Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Software Services: Scientific Challenge or Industrial Hype?

  • Conference paper
Theoretical Aspects of Computing - ICTAC 2004 (ICTAC 2004)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3407))

Included in the following conference series:

  • 490 Accesses

Abstract

Web-services keep making headlines, not only in technical journals but also in the wider media like The Economist. Is this just a sales plot of the fragile software industry targeted to the companies and organisations that want to operate in the new economy as enabled by the internet and wireless communication? Or is there a new paradigm as far as software development is concerned? Should we, scientists, regard this as a challenge? Or dismiss it as hype? In this paper, we analyse these questions in the context of the notions of complexity that arise in software development and the methods and techniques that can be offered to address them.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. Springer, Heidelberg (2004)

    MATH  Google Scholar 

  2. Arbab, F.: What do you mean, coordination? In: Bulletin of the Dutch Association for Theoretical Computer Science (NVTI) (March 1998)

    Google Scholar 

  3. Bass, L., Clements, P., Kasman, R.: Software Architecture in Practice. Addison-Wesley, Reading (1998)

    Google Scholar 

  4. Burstall, R., Goguen, J.: Putting theories together to make specifications. In: Reddy, R. (ed.) Proc. Fifth International Joint Conference on Artificial Intelligence, Cambridge, MA, August 1977, pp. 1045–1058 (1977)

    Google Scholar 

  5. DeRemer, F., Kron, H.: Programming-in-the-Large versus programming-in-the-small. IEEE Transactions on Software Engineering SE-2(2), 321–327 (1976)

    Article  MathSciNet  Google Scholar 

  6. Dijkstra, E.: A Discipline of Programming. Prentice Hall, London (1976)

    MATH  Google Scholar 

  7. Fiadeiro, J.L.: On the emergence of properties in component-based systems. In: Nivat, M., Wirsing, M. (eds.) AMAST 1996. LNCS, vol. 1101, pp. 421–443. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  8. Fiadeiro, J.L.: Categories for Software Engineering. Springer, Heidelberg (2004)

    Google Scholar 

  9. Fiadeiro, J.L., Lopes, A.: Semantics of architectural connectors. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997, FASE 1997, and TAPSOFT 1997. LNCS, vol. 1214. Springer, Heidelberg (1997)

    Google Scholar 

  10. Garlan, D., Perry, D.: Software architecture: practice, potential, and pitfalls. In: Proc. 16th International Conference on Software Engineering, pp. 363–364. IEEE Computer Society Press, Silver Spring MD (1994)

    Chapter  Google Scholar 

  11. Gelernter, D., Carriero, N.: Coordination languages and their significance. Communications ACM 35(2), 97–107 (1992)

    Article  Google Scholar 

  12. Goguen, J.: Categorical foundations for general systems theory. In: Pichler, F., Trappl, R. (eds.) Advances in Cybernetics and Systems Research, pp. 121–130. Transcripta Books, New York (1973)

    Google Scholar 

  13. Goguen, J.: Reusing and interconnecting software components. IEEE Computer 19(2), 16–28 (1986)

    Google Scholar 

  14. Goguen, J., Burstall, R.: Institutions: abstract model theory for specification and programming. Journal ACM 39(1), 95–146 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  15. Jackson, M.: Principles of Program Design. Academic Press, New York (1975)

    Google Scholar 

  16. Kent, W.: Participants and performers: a basis for classifying object models. In: Proc. OOPSLA 1993 Workshop on Specification of Behavioral Semantics in Object-Oriented Information Modeling (1993)

    Google Scholar 

  17. Loeckx, J., Ehrich, H.-D., Wolf, M.: Specification of Abstract Data Types. Wiley, New York (1996)

    MATH  Google Scholar 

  18. Magee, J., Kramer, J., Sloman, M.: Constructing distributed systems in Conic. IEEE TOSE 15(6), 663–675 (1989)

    Google Scholar 

  19. Mehta, N., Medvidovic, N., Phadke, S.: Towards a taxonomy of software connectors. In: Proc. 22nd International Conference on Software Engineering, pp. 178–187. IEEE Computer Society Press, Silver Spring MD (2000)

    Google Scholar 

  20. Parnas, D.: On the criteria for decomposing systems into modules. Communications of the ACM 15(12), 1053–1058 (1972)

    Article  Google Scholar 

  21. Perry, D., Wolf, A.: Foundations for the study of software architectures. ACM SIGSOFT Software Engineering Notes 17(4), 40–52 (1992)

    Article  Google Scholar 

  22. Prieto-Diaz, R., Neighbors, J.: Module interconnection languages. Journal of Systems and Software 6(4), 307–334 (1986)

    Article  Google Scholar 

  23. Shaw, M.: Procedure calls are the assembly language of software interconnection: connectors deserve first-class status. In: Lamb, D.A. (ed.) ICSE-WS 1993. LNCS, vol. 1078, pp. 17–32. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  24. Shaw, M.: Three patterns that help explain the development of software engineering (position paper). In: Dagstuhl Workshop on Software Architecture (1996)

    Google Scholar 

  25. Srinivas, Y., Jüllig, R.: SpecwareTM: formal support for composing software. In: Möller, B. (ed.) MPC 1995. LNCS, vol. 947, pp. 399–422. Springer, Heidelberg (1995)

    Google Scholar 

  26. FET-GC2 Workprogramme text, www.cordis.lu/ist/fet/gc.htm#what

  27. www.ibm.com/developerworks/web/library

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Leicester, University Road, Leicester, LE1 7RH, UK

    José Luiz Fiadeiro

Authors
  1. José Luiz Fiadeiro
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. International Institute of Software Technology, United Nations University, Macau, China

    Zhiming Liu

  2. Department of Computer Science and Communication Engineering, Graduate School of Information Science and Electrical Engineering, Kyushu University, 6-10-1-Hakozaki, Higashi-ku, 812-8581, Fukuoka, Japan

    Keijiro Araki

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fiadeiro, J.L. (2005). Software Services: Scientific Challenge or Industrial Hype?. In: Liu, Z., Araki, K. (eds) Theoretical Aspects of Computing - ICTAC 2004. ICTAC 2004. Lecture Notes in Computer Science, vol 3407. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31862-0_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-31862-0_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-25304-4

  • Online ISBN: 978-3-540-31862-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation