Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
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
A Discipline of Programming
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
Mapping object diagrams into B specifications
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Formal Development of Databases in ASSO and B
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
| Hi-index | 0.00 |
ASSO is a formal methodology for developing database applications based on B. Within ASSO, conceptual and logical descriptions of databases are linked through a formal relation to break down a database design into simpler components. We propose a systematic translation from ASSO schemas into B-machines establishing a formal relationships between them. This permits the formal semantics of ASSO to be explored using B, and also allows existing B tools to be used as a basis for the construction of ASSO tools.