Skip to main content

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

Abstract

Arranging the distribution of data, objects or components is a critical task that can ultimately affect the performance, integrity and reliability of distributed system. This paper suggests to write down what must (not) be available where in order to reveal conflicting distribution requirements and to detect problems early on. Distribution requirements are expressed via a new notion of constraints: a context-based constraint (CoCon) can indirectly select its constrained elements according to their context. The context of an element characterizes the situation in which this element resides and is annotated via metadata. CoCons facilitate checking the compliance of a system or a model with distribution requirements during (re-)design, during (re-)configuration or at runtime. This paper focuses on validating UML models for compliance with distribution CoCons in order to take distribution requirements into account right from start of the development process.

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

Access this chapter

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 PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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. Baker, T.: A grammar of dublin core. D-Lib Magazine 6(10), 47–60 (2000)

    Article  Google Scholar 

  2. Bal, H.E., Steiner, J.G., Tanenbaum, A.S.: Programming languages for distributed computing systems. ACM Computing Surveys 21(3), 261–322 (1989)

    Article  Google Scholar 

  3. Becker, U.: D2AL – a design-based distribution aspect language. Technical Report TR-I4-98-07 of the Friedrich-Alexander University Erlangen-Nürnberg (1998)

    Google Scholar 

  4. Bübl, F.: The context-based constraint language CCL for components. Technical Report 2002-20, Technical University Berlin, Germany (October 2002), Available at http://www.CoCons.org

  5. Bübl, F.: Introducing context-based constraints. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 249–263. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  6. Busse, S.: Modellkorrespondenzen für die kontinuierliche Entwicklung mediatorbasierter Informationssysteme. PhD Thesis, Technical University Berlin, Germany, Logos Verlag (2002)

    Google Scholar 

  7. Chung, L., Nixon, B.A., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering. Kluwer Academic, Boston (2000)

    MATH  Google Scholar 

  8. Curtis, B., Krasner, H., Iscoe, N.: A field study of the software design process for large systems. Communications of the ACM 31(11), 1268–1287 (1988)

    Article  Google Scholar 

  9. Damianou, N.: A policy framework for management of distributed systems. PhD Thesis, Imperial College, London, UK (2002)

    Google Scholar 

  10. Devlin, K.: Logic and Information. Cambridge University Press, New York (1991)

    MATH  Google Scholar 

  11. Dey, A.K.: Understanding and using context. Personal and Ubiquitous Computing Journal 5(1), 4–7 (2001)

    Article  Google Scholar 

  12. Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220–242. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  13. Kramer, J., Magee, J.: Exposing the skeleton in the coordination closet. In: Garlan, D., Le Métayer, D. (eds.) COORDINATION 1997. LNCS, vol. 1282, pp. 18–31. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  14. de Miguel, M., Lambolais, T., Piekarec, S., Betgé-Brezetz, S., Pequery, J.: Automatic generation of simulation models for the evaluation of performance and reliability of architectures specified in UML. In: Emmerich, W., Tai, S. (eds.) EDO 2000. LNCS, vol. 1999, pp. 82–100. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  15. OMG. UML specification v1.4 (September 2001)

    Google Scholar 

  16. Radestock, M., Eisenbach, S.: Semantics of a higher-order coordination language. In: Hankin, C., Ciancarini, P. (eds.) COORDINATION 1996. LNCS, vol. 1061. Springer, Heidelberg (1996)

    Google Scholar 

  17. Robbins, J.E., Redmiles, D.F.: Software architecture critics in the argo design environment. Knowledge-Based Systems. Special issue: The Best of IUI 1998 5(1), 47–60 (1998)

    Google Scholar 

  18. Robertson, S., Robertson, J.: Mastering the Requirements Process. Addison-Wesley, Reading (1999)

    Google Scholar 

  19. Sciore, E., Siegel, M., Rosenthal, A.: Context interchange using meta-attributes. In: Proc. of the 1st International Conference on Information and Knowledge Management, pp. 377–386 (1992)

    Google Scholar 

  20. Sciore, E., Siegel, M., Rosenthal, A.: Using semantic values to falilitate interoperability among heterogeneous information systems. ACM Transactions on Database Systems (TODS) 19(2), 254–290 (1994)

    Article  Google Scholar 

  21. Sheth, A.P., Gala, S.K.: Attribute relationships: An impediment in automating schema integration. In: Proc. of the Workshop on Heterogeneous Database Systems, Chicago, Ill, USA (December 1989)

    Google Scholar 

  22. Sloman, M., Twidle, K.P.: Domains: A framework for structuring management policy. In: Sloman, M. (ed.) Chapter 16 in Network and Distributed Systems Management, pp. 433–453 (1994)

    Google Scholar 

  23. Szyperski, C.: Component Software – Beyond Object-Oriented Programming. Addison-Wesley, Reading (1997)

    Google Scholar 

  24. Yialelis, N.: Domain-based security for distributed object systems. PhD Thesis, Imperial College, London, UK (1996)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bübl, F. (2003). What Must (Not) Be Available Where?. In: Meersman, R., Tari, Z., Schmidt, D.C. (eds) On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE. OTM 2003. Lecture Notes in Computer Science, vol 2888. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39964-3_92

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-39964-3_92

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20498-5

  • Online ISBN: 978-3-540-39964-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics