Statecharts: A visual formalism for complex systems
Science of Computer Programming
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 Unified Modeling Language reference manual
The Unified Modeling Language reference manual
The B Language and Method: A Guide to Practical Formal Development
The B Language and Method: A Guide to Practical Formal Development
Defining Precise Semantics for UML
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
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
Graphical Design of Reactive Systems
B '98 Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method
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
An Overview of a Method and its Support Tool for Generating B Specifications from UML Notations
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Integrating Formal and Informal Specification Techniques. Why? How?
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Modeling Class Operations in B: Application to UML Behavioral Diagrams
Proceedings of the 16th IEEE international conference on Automated software engineering
A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Verification of behavioural elements of UML models using B
Proceedings of the 2005 ACM symposium on Applied computing
Rialto to B: an exercise in formal development of a language for multiple models of computation
Fundamenta Informaticae - Special issue on application of concurrency to system design (ACSD'04)
ACM SIGSOFT Software Engineering Notes
Object oriented concepts identification from formal B specifications
Formal Methods in System Design
A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes
IEEE Transactions on Software Engineering
A Usability Profile for Graphical Formal Modelling Methods
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
Language and Tool Support for Class and State Machine Refinement in UML-B
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Object Oriented Concepts Identification from Formal B Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Dynamic graphical UML views from formal B specifications
Information and Software Technology
International Journal of Internet Technology and Secured Transactions
Generating Hierarchical State Based Representation From Event-B Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Derivation of UML class diagrams as static views of formal b developments
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Extensible canonical process model synthesis applying formal interpretation
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation
Fundamenta Informaticae - APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD'04)
| Hi-index | 0.01 |
An appropriate approach for translating UML to B formal specifications allows one to use UML and B jointly in an unified, practical and rigorous software development.We can formally analyse UML specifications via their derived B formal specifications. This point is significant because B support tools like AtelierB are available.We can also use UML specifications as a tool for building B specifications, so the development of B specifications become easier.In this paper, we address the problem of modelling UML state-charts in B, which has not been, so far, completely treated.We distinguish between event-related and activity-related parts of UML state-charts. We propose deriving the B specification of the event-related part independently with the activity-related part. For this purpose, a new approach for modelling events is proposed; the communication among state-charts is also considered.