Statecharts: A visual formalism for complex systems
Science of Computer Programming
Model checking and abstraction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Graham/SOMA (Semantic Object Modeling Approach) method
Object analysis and design
Reduction and slicing of hierarchical state machines
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Generating statechart designs from scenarios
Proceedings of the 22nd international conference on Software engineering
ACM Transactions on Programming Languages and Systems (TOPLAS)
Toward automatic program synthesis
Communications of the ACM
Automatic programming: Automating the software system development process
ACM '77 Proceedings of the 1977 annual conference
MDA Explained: The Model Driven Architecture: Practice and Promise
MDA Explained: The Model Driven Architecture: Practice and Promise
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
Automatic Maintenance of Association Invariants
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
On the Generation of Object Databases using Booster
ICECCS '06 Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems
From Predicates to Programs: The Semantics of a Method Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Formality, Evolution, and Model-driven Software Engineering
Electronic Notes in Theoretical Computer Science (ENTCS)
Technological foundations of electronic governance
Proceedings of the 1st international conference on Theory and practice of electronic governance
| Hi-index | 0.00 |
This paper illustrates a technique to automatically derive intra-object behaviours (in the form of state diagrams) from an object model. We demonstrate how we may take specifications, written in a restricted language of pre- and postconditions, and generate protocols of usage that represent possible behaviours of the generated program. We discuss how to use these state diagrams to analyse the specification for errors, and how to produce correct abstractions to show a particular class of properties of a system. This approach proves successful and scalable for specific domains of application such as database systems and e-commerce websites.