Skip to main content

6. State-Based Semantics in Rondo

  • Chapter
Generic Model Management

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

  • 286 Accesses

Abstract

In this chapter, we discuss the relationship between the structural operator definitions given in Chap. 2 and the state-based definitions presented in Chap. 4. To avoid ambiguity, we refer to the operators and scripts used in Rondo (Chap. 2) as structural and to those of Chap. 4 as state-based. The discussion that we present illustrates how the behavior of Rondo and other complex metadata management systems can be analyzed in terms of state-based semantics.

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

Access this chapter

eBook
USD 16.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 16.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.

Authors

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Melnik, S. (2004). 6. State-Based Semantics in Rondo. In: Generic Model Management. Lecture Notes in Computer Science, vol 2967. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24684-8_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-24684-8_6

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics