Support Formal Component-Based Development with UML Profile
作者： Dan Li , Xiaoshan Li , Zhiming Liu , Volker Stolz
关键词:
摘要: Integrating formal methods into UML opens up a way to complement UML-based software development with precise semantics, methodologies, as well rigorous verification and refinement techniques. In this paper, we present an approach integrate method practical component-based model driven through defining profile that maps the concepts of stereotypes, implementing CASE tool. Unlike most previous works in vein, which concentrate on verifying correctness models built process, focus how full process can be by applying rules incremental interactive manner. The adopt work is for Component Object Systems (rCOS). We demonstrate activities tool using example.
sci-hub.se 参考文章(21)
John D. Poole, Model-Driven Architecture: Vision, Standards And Emerging Technologies ,(2001)
Akram Idani, Laurent Philippe, Jean-Louis Boulanger, A Generic Process and its Tool Support towards Combining UML and B for Safety Critical Systems. computer applications in industry and engineering. pp. 185- 192 ,(2007)
Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz, Interactive Transformations from Object-Oriented Models to Component-Based Models formal aspects of component software. pp. 97- 114 ,(2011) , 10.1007/978-3-642-35743-5_7
Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud, An Overview of RoZ : A Tool for Integrating UML and Z Specifications Notes on Numerical Fluid Mechanics and Multidisciplinary Design. pp. 417- 430 ,(2000) , 10.1007/3-540-45140-4_28
Zhenbang Chen, Charles Morisset, Volker Stolz, Specification and validation of behavioural protocols in the rCOS modeler fundamentals of software engineering. pp. 387- 401 ,(2009) , 10.1007/978-3-642-11623-0_23
Volker Stolz, Xiaoshan Li, Zhiming Liu, Wei Ke, rCOS: a formal model-driven engineering method for component-based software Frontiers of Computer Science. ,vol. 6, pp. 17- 39 ,(2012) , 10.1007/S11704-012-2901-5
Zhiming Liu, Charles Morisset, Volker Stolz, rCOS: theory and tool for component-based model driven development fundamentals of software engineering. pp. 62- 80 ,(2009) , 10.1007/978-3-642-11623-0_3
Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim, Integrating a formal method into a software engineering process with UML and Java Formal Aspects of Computing. ,vol. 20, pp. 161- 204 ,(2008) , 10.1007/S00165-007-0042-7
François Lagarde, Huáscar Espinoza, François Terrier, Sébastien Gérard, Improving uml profile design practices by leveraging conceptual domain models automated software engineering. pp. 445- 448 ,(2007) , 10.1145/1321631.1321705
He Jifeng, Xiaoshan Li, Zhiming Liu, rCOS: a refinement calculus of object systems formal methods. ,vol. 365, pp. 109- 142 ,(2006) , 10.1016/J.TCS.2006.07.034