Skip to main content

Lambda Expressions in Casl Architectural Specifications

  • Conference paper
  • 356 Accesses

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

Abstract

Casl architectural specifications provide a way to specify the structure of the implementations of software systems. Their semantics has been introduced in two manners: the first is purely model-theoretic and the second attempts to discharge model semantics conditions statically based on a diagram of dependencies between components (extended static semantics). In the case of lambda expressions, which are used to define the way generic units are built, the two semantics do not agree. We present a number of situations of practical importance when the current situation is unsatisfactory and propose a series of changes to the extended static semantics to remedy this.

Keywords

  • Generic Unit
  • Model Semantic
  • Static Semantic
  • Unit Expression
  • Signature Morphism

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (Canada)
  • 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baumeister, H., Bert, D.: Algebraic specification in Casl. In: Frappier, M., Habrias, H. (eds.) Software Specification Methods: An Overview Using a Case Study, ch. 12. FACIT (Formal Approaches to Computing and Information Technology), pp. 209–224. Springer, Heidelberg (2000)

    Google Scholar 

  2. Bidoit, M., Mosses, P.D. (eds.): Casl User Manual. LNCS, vol. 2900. Springer, Heidelberg (2004)

    MATH  Google Scholar 

  3. Bidoit, M., Sannella, D., Tarlecki, A.: Architectural specifications in Casl. Formal Aspects of Computing 13, 252–273 (2002)

    CrossRef  MATH  Google Scholar 

  4. Mosses, P.D. (ed.): Casl Reference Manual. LNCS, vol. 2960. Springer, Heidelberg (2004)

    MATH  Google Scholar 

  5. Goguen, J.A., Burstall, R.M.: Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery 39, 95–146 (1992)

    CrossRef  MathSciNet  MATH  Google Scholar 

  6. Hoffman, P.: Verifying Generative casl Architectural Specifications. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol. 2755, pp. 233–252. Springer, Heidelberg (2003)

    CrossRef  Google Scholar 

  7. Hoffman, P.: Architectural Specifications and Their Verification. PhD thesis, Warsaw University (2005)

    Google Scholar 

  8. Mossakowski, T., Sannella, D., Tarlecki, A.: A Simple Refinement Language for Casl. In: Fiadeiro, J.L., Mosses, P., Orejas, F. (eds.) WADT 2004. LNCS, vol. 3423, pp. 162–185. Springer, Heidelberg (2005)

    CrossRef  Google Scholar 

  9. Mossakowski, T., Maeder, C., Lüttich, K.: The Heterogeneous Tool Set, Hets. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 519–522. Springer, Heidelberg (2007)

    CrossRef  Google Scholar 

  10. Sannella, D., Tarlecki, A.: Toward formal development of programs from algebraic specifications: implementations revisited. Acta Informatica 25, 233–281 (1988)

    CrossRef  MathSciNet  MATH  Google Scholar 

  11. Schröder, L., Mossakowski, T., Tarlecki, A., Klin, B., Hoffman, P.: Semantics of Architectural Specifications in CASL. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol. 2029, pp. 253–268. Springer, Heidelberg (2001)

    CrossRef  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 IFIP International Federation for Information Processing

About this paper

Cite this paper

Codescu, M. (2012). Lambda Expressions in Casl Architectural Specifications. In: Mossakowski, T., Kreowski, HJ. (eds) Recent Trends in Algebraic Development Techniques. WADT 2010. Lecture Notes in Computer Science, vol 7137. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28412-0_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-28412-0_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-28411-3

  • Online ISBN: 978-3-642-28412-0

  • eBook Packages: Computer ScienceComputer Science (R0)