Abstract | ||
---|---|---|
We present a model-driven architecture (MDA) framework that inte- grates formal analysis techniques into an industrial software development process model. This comprises modeling using UML/OCL, processing models by model transformations, code generation (including runtime-test environments) and formal analysis using the theorem proving environment HOL-OCL. Moreover, our frame- works supports the verification of proof obligations that are generated during model transformations. |
Year | Venue | Keywords |
---|---|---|
2006 | ECEASST | mda,we show the extensibility of our approach by providing a secureuml extension of the framework,model transformation,verification,their analysis and their conversion to code. keywords: mde,ocl,code-generation,which allows for an integrated specification of security properties,software development process,code generation,process model,theorem proving |
Field | DocType | Volume |
Model transformation,Architecture,Programming language,Unified Modeling Language,Computer science,Automated theorem proving,Code generation,Security properties,Industrial software,Extensibility | Journal | 5 |
Citations | PageRank | References |
11 | 1.48 | 7 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Achim D. Brucker | 1 | 558 | 50.85 |
Jürgen Doser | 2 | 793 | 38.89 |
Burkhart Wolff | 3 | 11 | 1.48 |