Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
Predicate calculus and program semantics
Predicate calculus and program semantics
Object-oriented data models: a perspective and comparative review
Journal of Information Science
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
ASSO: behavioral specialization modelling
Information modelling and knowledge bases VIII
The B Language and Method: A Guide to Practical Formal Development
The B Language and Method: A Guide to Practical Formal Development
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Synthesising Structure from Flat Specifications
B '98 Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method
Specification and Refinement in an Integrated Database Application Environment
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Translating structured database schemas into abstract machines
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Mapping object diagrams into B specifications
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Hi-index | 0.00 |
ASSO is a formal methodology for conceptual databases design which uses aspects of the B method. In this paper, we discuss the formal relationship between specification in ASSO and in B, defined in terms of a translation which we prove to be sound. Further we go onto discuss refinement in ASSO, which separates behavioural and data refinement, their formal relationship and their relation to refinement in B. In this manner we can use B theory and tools to support database development in ASSO.