Object-oriented systems analysis: modeling the world in data
Object-oriented systems analysis: modeling the world in data
ACM Computing Surveys (CSUR)
Object-oriented modeling and design
Object-oriented modeling and design
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Database abstractions: aggregation and generalization
ACM Transactions on Database Systems (TODS)
Integrating Structured and Formal Methods: A Visual Approach to VDM
ESEC '91 Proceedings of the 3rd European Software Engineering Conference
A Formal Software Specification Tool Using the Entity-Relationship Model
ER '94 Proceedings of the13th International Conference on the Entity-Relationship Approach
Using Z as a Specification Calculus for Object-Oriented Systems
VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
The SAZ Project: Integrating SSADM and Z.
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
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
An Overview of RoZ: A Tool for Integrating UML and Z Specifications
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
From a B Specification to UML StateChart Diagrams
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A Generic Process to Refine a B Specification into a Relational Database Implementation
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
A Systematic Approach to Transform OMT Diagrams to a B Specification
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
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
Behavioral Conformance Verification in an Integrated Approach Using UML and B
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
UML-B: Formal modeling and design aided by UML
ACM Transactions on Software Engineering and Methodology (TOSEM)
Language and Tool Support for Class and State Machine Refinement in UML-B
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Refinement of EB3 process patterns into B specifications
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Synthesizing b specifications from EB3 attribute definitions
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Translating structured database schemas into abstract machines
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Methods integration: time for reflection (and reorientation?)
Methods'96 Proceedings of the 1996 international conference on Methods Integration
| Hi-index | 0.00 |
In this paper we study the combination of object-oriented and formal methods and more specifically the mapping of object models, that are used in business information system development methods, into the formal specification language of the B method. We retain as the starting point of our study a common core of object concepts accepted by most of the groups: object, entity, association, is-a link. The first aim is to formalize these concepts. The main idea is to organize the specification around sets of object identities. Thus associations are modelled using relations between these sets and is-a links are modelled by inclusion constraints between these sets. The second aim is to modularise the final formal specification. Our purpose is to keep as much as possible the initial object diagram structure in the formal specification. Thus each entity is mapped into one abstract machine, an association is put in a specific machine according to its own properties, inheritance is simulated by using the existing links between abstract machines.