Operational specification with joint actions: Serializable databases

DOI10.1007/BF02276639MaRDI QIDQ1193603zbMATH OpenFDO

Authors Reino Kurki-Suonio

Publication date 27 September 1992

Published in Distributed Computing (Search for Journal in Brave)

zbMATH Keywords

reactive systemssuperpositionspecification languagesexecutable specificationsJoint actionsLake Arrowhead Workshopserializable databases

Mathematics Subject Classification ID

Database theory (68P15) Abstract data types; algebraic specification (68Q65)

Recommendations

• Real-time specification and modeling with joint actions
• Generalized theory of serializability
• Algebraic and functional specification of an interactive serializable database interface
• A transaction-based approach to relational database specification
• Serialization of concurrent programs

Cites work

• scientific article; zbMATH DE number 3982506 (Why is no real title available?)
• scientific article; zbMATH DE number 4060693 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• Defining liveness
• Distributed cooperation with action systems
• Implementing specification freedoms
• Protocol Verification via Projections
• Statecharts: a visual formalism for complex systems
• Termination detection for diffusing computations
• The existence of refinement mappings
• The notions of consistency and predicate locks in a database system

Cited in

(2)

• Action systems in incremental and aspect-oriented modeling
• Algebraic and functional specification of an interactive serializable database interface

Describes a project that uses

Uses Software

• UNITY
• LOTOS

This page was built for publication: Operational specification with joint actions: Serializable databases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1193603)