Mechanized semantics and refinement of UML-Statecharts-Reference-Cited by-同舟云学术

Mechanized semantics and refinement of UML-Statecharts

Published:2017-11 Issue:11 Volume:18 Page:1773-1783
ISSN:2095-9184
Container-title:Frontiers of Information Technology & Electronic Engineering
language:en
Short-container-title:Frontiers Inf Technol Electronic Eng

Author:

Sheng Feng,Dou Liang^ORCID,Yang Zong-yuan

Funder

National Natural Science Foundation of China

Publisher

Zhejiang University Press

Subject

Electrical and Electronic Engineering,Computer Networks and Communications,Hardware and Architecture,Signal Processing

Link

http://link.springer.com/article/10.1631/FITEE.1601196/fulltext.html

Reference20 articles.

1. Andronick, J., Chetali, B., Ly, O., 2003. Using Coq to verify Java Card™ applet isolation properties. Proc. Int. Conf. on Theorem Proving in Higher Order Logics, p.335–351. https://doi.org/10.1007/10930755_22

2. Börger, E., Cavarra, A., Riccobene, E., 2000. Modeling the dynamics of UML state machines. Proc. Int. Workshop on Abstract State Machines, p.223–241. https://doi.org/10.1007/3-540-44518-8_13

3. Broy, M., Cengarle, M., Rumpe, B., et al., 2007. Towards a System Model for UML: the Structural Data Model. http://rzbl04.biblio.etc.tu-bs.de:8080/docportal/servlets/MCRFileNodeServlet/DocPortal_derivate_00003898/Document_00018887.pdf

4. Dou, L., Lu, L., Yang, Z., et al., 2013. Towards mechanized semantics of UML sequence diagrams and refinement relation. Proc. 24th IASTED Int. Conf. on Modelling and Simulation, p.262–269. https://doi.org/10.2316/P.2013.802-021

5. Gonthier, G., 2007. The four colour theorem: engineering of a formal proof. Proc. 8th Asian Symp. on Computer Mathematics, p.333. https://doi.org/10.1007/978-3-540-87827-8_28

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Safety SysML: An Executable Safety-Critical Avionics Requirement Modeling Language;2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS);2022-12

2. Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP;Formal Aspects of Computing;2020-07

3. Towards the Mechanized Semantics and Refinement of UML Class Diagrams;2019 26th Asia-Pacific Software Engineering Conference (APSEC);2019-12

4. Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL;ACM Transactions on Software Engineering and Methodology;2019-07-31