Skip to main content
SpringerLink
Log in

Codesign of Web Information Systems

  • Chapter
Correct Software in Web Applications and Web Services

Part of the book series: Texts & Monographs in Symbolic Computation ((TEXTSMONOGR))

Abstract

Web information systems are nowadays widely used. E-business, edutainment, infotainment, community and identity Web systems are data and information intensive. They integrate a variety of database, workflow and other processing, communication and presentation systems. Their design and development is thus based on an integrated development of structuring, functionality, distribution and interactivity of users. The codesign framework allows the integration of these different aspects. This chapter surveys the codesign approach and its deployment for the development of large Web information systems.

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 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 54.99
Price excludes VAT (USA)
  • Durable hardcover 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

Notes

  1. 1.

    See, for instance, the large bibliography in [32].

  2. 2.

    To be more precise, the higher-order entity-relationship modelling language.

  3. 3.

    Views are typically defined as a schema. This extension of the relational approach where views are single-table views is necessary for the maintenance of coherence within a view.

References

  1. Amarakoon, S., Dahanayake, A., Thalheim, B.: A framework for modelling medical diagnosis and decision support services. Int. J. Digit. Inf. Wirel. Commun. 2(4), 7–26 (2012)

    Google Scholar 

  2. Beeri, C., Thalheim, B.: Identification as a primitive of database models. In: Proceedings of FoMLaDO’98, pp. 19–36. Kluwer, London (1999)

    Google Scholar 

  3. Binemann-Zdanowicz, A., Kaschek, R., Kuss, T., Schewe, K.-D., Thalheim, B., Tschiedel, B.: A conceptual view of electronic learning systems. Educ. Inf. Technol. 10, 83–110 (2005)

    Article  Google Scholar 

  4. Bjørner, D.: Software Engineering 3: Domains, Requirements, and Software Design. Springer, Berlin (2006)

    Google Scholar 

  5. Chen, P.P.: The entity-relationship model: toward a unified view of data. ACM Trans. Database Syst. 1(1), 9–36 (1976)

    Article  Google Scholar 

  6. Dahanayake, A., Thalheim, B.: A conceptual model for IT service systems. J. Univers. Comput. Sci. 18(17), 2452–2473 (2012)

    Google Scholar 

  7. Feyer, T., Schewe, K.-D., Thalheim, B.:. Conceptual design and development of information services. In: ER’98, pp. 7–20 (1998)

    Google Scholar 

  8. Fiedler, G., Jaakkola, H., Mäkinen, T., Thalheim, B., Varkoi, T.: Application domain engineering for web information systems supported by SPICE. In: Proceedings of SPICE’07. IOS Press, Bangkok (2007)

    Google Scholar 

  9. Gogolla, M.: An Extended Entity-Relationship Model - Fundamentals and Pragmatics. Lecture Notes in Computer Science, vol. 767. Springer, Berlin (1994)

    Google Scholar 

  10. Hartmann, S.: Reasoning about participation constraints and Chen’s constraints. In: ADC. CRPIT, vol. 17, pp. 105–113. Australian Computer Society, Sydney (2003)

    Google Scholar 

  11. Hartmann, S., Hoffmann, A., Link, S., Schewe, K.-D.: Axiomatizing functional dependencies in the higher-order entity-relationship model. Inf. Process. Lett. 87(3), 133–137 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  12. Heinrich, L.J.: Informationsmanagement: Planung, Überwachung und Steuerung der Informationsinfrastruktur. Oldenbourg Verlag, München (1996)

    Google Scholar 

  13. Heinrich, L.J., Heinzl, A., Riedl, R.: Wirtschaftsinformatik: Einführung und Grundlegung, 4th edn. Springer, Berlin (2011)

    Book  Google Scholar 

  14. Hohenstein, U.: Formale Semantik eines erweiterten Entity-Relationship-Modells. Teubner, Stuttgart (1993)

    Book  MATH  Google Scholar 

  15. Kleiner, C., Lipeck, U.W.: Automatic generation of XML DTDs from conceptual database schemas. In: GI Jahrestagung (1), pp. 396–405 (2001)

    Google Scholar 

  16. Klettke, M.: Modellierung, Bewertung und Evolution von XML-Dokumentkollektionen. Advanced Ph.D. (Habilitation Thesis), Rostock University (2007)

    Google Scholar 

  17. König, H.: Protocol Engineering: Prinzip, Beschreibung und Entwicklung von Kommunikationsprotokollen. Teubner, Stuttgart (2003)

    Book  MATH  Google Scholar 

  18. Levene, M., Loizou, G.: A Guided Tour of Relational Databases and Beyond. Springer, Berlin (1999)

    Book  Google Scholar 

  19. Liddle, S.W., Embley, D.W., Woodfield, S.N.: Cardinality constraints in semantic data models. Data Knowl. Eng. 11, 235–270 (1993)

    Article  MATH  Google Scholar 

  20. Lockemann, P.C.: Information system architectures: from art to science. In: Proceedings of BTW’2003, pp. 1–27. Springer, Berlin (2003)

    Google Scholar 

  21. Maciaszek, L.: Requirements Analysis and Design. Addison-Wesley, Harlow (2001)

    Google Scholar 

  22. Moritz, T., Noack, R., Schewe, K.-D., Thalheim, B.: Intention-driven screenography. In: ISTA 2007. Lecture Notes in Informatics, vol. 107, pp. 128–139 (2007)

    Google Scholar 

  23. Schewe, K.-D.: The specification of data-intensive application systems. Advanced Ph.D. (Habilitation Thesis), Brandenburg University of Technology at Cottbus (1994)

    Google Scholar 

  24. Schewe, K.-D., Thalheim, B.: Structural media types in the development of data-intensive web information systems. In: Web Information Systems, pp. 34–70. IDEA Group, Hershey (2004)

    Google Scholar 

  25. Schewe, K.-D., Thalheim, B.: Conceptual modelling of web information systems. Data Knowl. Eng. 54, 147–188 (2005)

    Article  Google Scholar 

  26. Schewe, K.-D., Thalheim, B.: Usage-based storyboarding for web information systems. Technical Report 2006-13, Christian Albrechts University Kiel, Institute of Computer Science and Applied Mathematics, Kiel (2006)

    Google Scholar 

  27. Schewe, K.-D., Thalheim, B.: Development of collaboration frameworks for web information systems. In: 20th International Joint Conference on Artificial Intelligence, Section EMC07 (Evolutionary models of collaboration), Hyderabad, pp. 27–32 (2007)

    Google Scholar 

  28. Schewe, K.-D., Thalheim, B.: Life cases: an approach to address pragmatics in the design of web information systems. In: Filipe, J., Cordeiro, J., Encarnacao, B., Pedrosa, V. (eds.) Proceedings of WebIST, vol. II (WIA), pp. 5–12 (2007)

    Google Scholar 

  29. Schewe, K.-D., Thalheim, B.: Life cases: a kernel element for web information systems engineering. In: Web Information Systems and Technologies. Lecture Notes in Business Information Processing, vol. 8, pp. 139–156, Springer, Heidelberg (2008)

    Google Scholar 

  30. Srinivasa, S.: An algebra of fixpoints for characterizing interactive behavior of information systems. Ph.D. thesis, BTU Cottbus (2000)

    Google Scholar 

  31. Thalheim, B.: Dependencies in Relational Databases. Teubner, Leipzig (1991)

    Book  MATH  Google Scholar 

  32. Thalheim, B.: Entity-Relationship Modeling Foundations of Database Technology. Springer, Berlin (2000)

    Book  MATH  Google Scholar 

  33. Thalheim, B.: Codesign of structuring, functionality, distribution and interactivity. Aust. Comput. Sci. Commun. 31(6), 3–12 (2004). Proc. APCCM’2004

    Google Scholar 

  34. Thalheim, B.: The enhanced entity-relationship model. In: The Handbook of Conceptual Modeling: Its Usage and Its Challenges, chapter 12, pp. 165–208. Springer, Berlin (2011)

    Google Scholar 

  35. Thalheim, B., Düsterhöft, A.: Sitelang: conceptual modeling of internet sites. In: Kunii, H.S., Jajodia, S., Sølvberg, A. (eds.) ER. Lecture Notes in Computer Science, vol. 2224, pp. 179–192. Springer, Berlin (2001)

    Google Scholar 

  36. Weske, M.: Business Process Management: Concept, Language, Architecture. Springer, Heidelberg (2007)

    Google Scholar 

  37. Whorf, B.L.: Lost Generation Theories of Mind, Language, and Religion. Popular Culture Association. University Microfilms International, Ann Arbor (1980)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Christian Albrechts University Kiel, 24098, Kiel, Germany

    Bernhard Thalheim

  2. Software Competence Centre Hagenberg, 4232, Hagenberg, Austria

    Klaus-Dieter Schewe

Authors
  1. Bernhard Thalheim
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Klaus-Dieter Schewe
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Klaus-Dieter Schewe .

Editor information

Editors and Affiliations

  1. Institut für Informatik, Christian-Albrechts-Universität, Kiel, Germany

    Bernhard Thalheim

  2. Software Competence Center, Hagenberg, Austria

    Klaus-Dieter Schewe

  3. ICT Department, University of Agder, Kristiansand, Norway

    Andreas Prinz

  4. RISC, Johannes Kepler University, Hagenberg, Austria

    Bruno Buchberger

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Thalheim, B., Schewe, KD. (2015). Codesign of Web Information Systems. In: Thalheim, B., Schewe, KD., Prinz, A., Buchberger, B. (eds) Correct Software in Web Applications and Web Services. Texts & Monographs in Symbolic Computation. Springer, Cham. https://doi.org/10.1007/978-3-319-17112-8_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-17112-8_9

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-17111-1

  • Online ISBN: 978-3-319-17112-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation