Model-based development

Robert France, Bernhard Rumpe
2007 Journal of Software and Systems Modeling  
Enterprise Java Bean (EJB) application design, quality of service requirements, and autonomic properties. The paper also describes how tools can be used to generate code that simulates such systems for verification purposes. In the second paper, Slavisa Markovic and Thomas Baar present formalized refactoring rules for Object Constraint Language (OCL) constraints in UML impacted by refactoring of their associated class diagrams. The rules are presented as a graph-grammar inspired formalism, and
more » ... hey have also been implemented as Queries/Views/Transformations (QVT) transformation rules in a commercial tool. The problem of syntactic preservation is discussed and the KeY tool is used to show how this problem can be resolved.
doi:10.1007/s10270-007-0071-y fatcat:xx53dw2ytzh75kvsjxx3ve3cei