- 期刊
- OpenAccess
Verification of UML Model Elements Using B
並列摘要
We propose an approach to verify UML model elements based on the transformation of the UML meta-model into B formal specifications. The UML meta-model is described as a combination of graphical notations, natural and formal languages. The semantics of UML elements is expressed by well-formedness rules in the UML meta-model. Their correctness is ensured by the proof of the B specifications. The approach is illustrated by a simple case study: the printing system.
被引用紀錄
Chou, H. C. (2013). 一種應用於NAND快閃記憶體的低複雜度低密度奇偶檢查碼之編解碼器 [master's thesis, National Tsing Hua University]. Airiti Library. https://doi.org/10.6843/NTHU.2013.00077
Kan, L. S. (2011). Jointly Designed Architecture-Aware LDPC Convolutional Codes and Its Memory-based Parallel Shuffled Decoder Architecture [master's thesis, National Tsing Hua University]. Airiti Library. https://doi.org/10.6843/NTHU.2011.00060
Wang, K. C. (2009). 適用於里德-索羅門碼建構之低密度奇偶檢查碼之多模解碼器架構 [master's thesis, National Tsing Hua University]. Airiti Library. https://www.airitilibrary.com/Article/Detail?DocID=U0016-1111200916121448
Wang, Y. L. (2010). 使用任務安排演算法所實現之適用於WiMAX規範的低複雜度全模態低密度奇偶檢查碼編碼及解碼器 [master's thesis, National Tsing Hua University]. Airiti Library. https://www.airitilibrary.com/Article/Detail?DocID=U0016-0211201015593105
Yang, Y. (2011). 國際排放權交易跨期研究 [master's thesis, National Taipei Uinversity]. Airiti Library. https://www.airitilibrary.com/Article/Detail?DocID=U0023-2807201112003900
延伸閱讀
- Yang, Y. H. (2004). UML-based verification of Semantic Finite State Machine [master's thesis, Tatung University]. Airiti Library. https://www.airitilibrary.com/Article/Detail?DocID=U0081-0607200917233643
- 鄭淳尹（2005）。Constraint-based Software Specification and Verification Using UML2.0〔碩士論文，元智大學〕。華藝線上圖書館。https://www.airitilibrary.com/Article/Detail?DocID=U0009-0112200611330070
- 鄭淳尹（2004）。Constraint-based Software Specification and Verification Using UML2.0〔碩士論文，元智大學〕。華藝線上圖書館。https://www.airitilibrary.com/Article/Detail?DocID=U0009-3004200913352786
- Huang, P. C. (2005). Embedded System Process Scheduling Analysis Based on UML Modeling [master's thesis, National Taiwan University]. Airiti Library. https://doi.org/10.6342/NTU.2005.00551
- LEE, W. T., MA, S. P., & TSAI, Y. Y. (2017). Retrieval of Web Service Components using UML Modeling and Term Expansion. Journal of Information Science and Engineering, 33(1), 17-36. https://doi.org/10.6688/JISE.2017.33.1.2