A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Contributions for Modelling UML State-Charts in B
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit
IEEE Transactions on Software Engineering
Generating Relational Database Transactions From Recursive Functions Defined on EB^3 Traces
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Object oriented concepts identification from formal B specifications
Formal Methods in System Design
Information and Software Technology
Object Oriented Concepts Identification from Formal B Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
From a B formal specification to an executable code: application to the relational database domain
Information and Software Technology
Reuse of specification patterns with the B method
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Proving event ordering properties for information systems
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
An UML-based approach for validation of software architecture descriptions
TEAA'06 Proceedings of the 2nd international conference on Trends in enterprise application architecture
Specification and verification of model-driven data migration
MEDI'11 Proceedings of the First international conference on Model and data engineering
A proposal for extending UML-B to support a conceptual model
Innovations in Systems and Software Engineering
Combining UML, ASTD and B for the formal specification of an access control filter
Innovations in Systems and Software Engineering
A formal approach to model multiagent interactions using the b formal method
ISSADS'05 Proceedings of the 5th international conference on Advanced Distributed Systems
Towards the completion of expressing and checking inheritance constraints in UML
BNCOD'06 Proceedings of the 23rd British National Conference on Databases, conference on Flexible and Efficient Information Handling
Constraints checking in UML class diagrams: SQL vs OCL
DEXA'07 Proceedings of the 18th international conference on Database and Expert Systems Applications
| Hi-index | 0.00 |
This paper presents, through an example, an overview of our method, which generates B specifications from an application, described using UML notations. We are interested in data intensive applications. This allows us to automatically generate basic update operations from class diagrams. Then these operations are combined to elaborate more complex transactions described in UML by state and collaboration diagrams. The obtained B machines are directly usable in AtelierB and proofs can be performed allowing the consistency of the application to be checked. Finally, the outlines of the prototype support tool are described.