期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

UML活动图的形式语义及分析 被引量：10

The Formal Semantics of UML Activity Diagram and Analysis
在线阅读 下载PDF
导出
摘要 UML活动图缺乏精确的动态语义,不利于对其所描述的系统进行形式化的分析、验证和确认。为此,论文结合Petri网给出了包含对象流状态描述的UML活动图的形式语义,并据此对UML活动图的典型流程和其所描述的动态系统的正确性进行了分析。该形式语义覆盖了UML活动图的绝大部分特征,为精确描述工作流程并对其进行分析奠定了基础。 UML activity diagram is lack of strictly defined formal dynamic semantics,it is difficult to do formal analy-sis,verification and assertation on the systems discribed by it.In this paper,the authors adopt the method of Petri Net and defined a formal semantics of UML activity diagram containning object flow state,then they analyze the representa-tive flow of UML activity diagram and the correctness of the dynamic systems discribed by it.The formal semantics difined here is able to deal with most of the features of UML activity diagram,and establish the foundation of describ-ing and analysis of work flow.
作者 梁义芝 王延章 缪旭东 刘云飞
机构地区 大连理工大学信息与决策技术研究所 大连舰艇学院作战软件研究中心 大连舰艇学院教育技术中心
出处 《计算机工程与应用》 CSCD 北大核心 2003年第18期28-30,44,共4页 Computer Engineering and Applications
基金 国家自然科学基金资助项目(编号:70271045)
关键词 UML活动图 形式语义 系统分析 UML activity diagram,formal semantics,system analysis
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献10

  • 1李留英,王戟,齐治昌.UML Statechart图的操作语义[J].软件学报,2001,12(12):1864-1873. 被引量：22
  • 2蒋慧,谢希仁,林东.UML状态机的形式语义[J].软件学报,2002,13(12):2244-2250. 被引量：26
  • 3Unified Modeling Language Specification[S].Version 1.3,Object Managagement Group,Inc, 1999.
  • 4Rumbaugh J,Jacobson I,Booch G.The Unified Modeling Language Reference Manual[M].Boston:Addison-Wesley, 1999.
  • 5McLeod G.Extending UML for Enterprise and Business Process Modeling[C].In:Proceedings UML 98'Workshop.Ecole Superioeure des Sciences Appliquées pour l'Ingénieur-Mulhouse Université de Haute- Alsace, 1998 : 195-204.
  • 6Latella D,Majzik I,Massink M.Towards a formal operational semantics of UML statechart diagrams[C].In:Ciancarini P,Gorrieri R eds.IFIP TC6.1 3rd International Conference on Formal Methods for Open Object-Oriented Distributed Systemes.Florence,Italy:Kluwer Academic Publisher. 1999 : 331 -347.
  • 7Boerger E,Cavarra A,Riccobene E.Modeling the Dynamics of UML State Machines[C].In:Gurevich Y eds.ASM 2000,LNCS 1912.Germany :Springer-Verlab Berlin Heidelberg, 2000 : 223-241.
  • 8Bohon C,Davies J.Activity Graphs and Process[C].In:Grieskamp W, Santen T,Stoddart B eds.IFM 2000,LNCS 1945.Germany:Springer- Verlab Berlin Heidelberg,2000:77-96.
  • 9Boerger E,Cavarra A,Riccobene E.An ASM Semantics for UML Activity Diagrams[C].In..Rus T ed.AMAST 2000,LNCS 1816.Germany: Springer-Verlab Berlin Heidelberg,2000:293-380.
  • 10Ribó J M,Franch X.Building Expressive and Flexible Process Models Using a UML-Based Approach[C].In:Proceedings of the 8th European Workshop on Software Process Technology.Witten ,Germany :Springer- Verlab Berlin Heidelberg,2001 : 152-172.

二级参考文献16

  • 1[1]UML version 1.3. http://www.omg.org.
  • 2[2]Booch, G., Rumbaugh, J., Jacobson, I. The Unified Modeling Language User Guide. Boston: Addison-Wesley, 1999.
  • 3[3]Jézéquel, J.M., Le Guennec, A., Pennaneach, F. Validating distributed software modeled with UML. In: Bézivin, J., Muller, P.A.,eds. Proceedings of the lst International Workshop on the Unified Modeling Language, UML'98-Beyond the Notation. Vol. 1618 of LNCS, Springer-Verlag, 1998.331～340. http://www.essaim. univ-mulhouse.fr/uml/evenements/.
  • 4[4]Evans, A., France, R., Lano, K., et al. Developing the UML as a formal modelling notation. In: Bézivin, J., Muller, P.A., eds.Proceedings of the lst International Workshop on the Unified Modeling Language, UML'98-Beyond the Notation. Vol. 1618 of LNCS, Springer-Verlag, 1998. 293～307. http://www.essaim. univ-mulhouse.fr/uml/evenements/.
  • 5[5]Offutt, J., Abdurazik, A. Generating tests from UML specifications. In: France, R., Rumpe, B., eds. Proceedings of the 2nd International Conference on UML'99, the United Modeling Language, Beyond the Standard. Vol. 1723 of LNCS, Springer-Verlag,1999. http://www.cs.colostate.edu/UML99/.
  • 6[6]Arafjo, J. Formalizing sequence diagrams. In: Andrade, L., Moreira, A., Deshpande, A., eds. Proceedings of the OOPSLA'98 Workshop on Formalizing UML. Why? How? 1998. http://www.acm.org/sigplan/oopsla/oopsla98/.
  • 7[7]Geisler, R. Precise UML semantics through formal metamodeling. In: Andrade, L., Moreira, A., Deshpande, A., eds. Proceedings of the OOPSLA'98 Workshop on Formalizing UML. Why? How? 1998. http://www.acm.org/sigplan/oopsla/oopsla98/.
  • 8[8]Kim, S.K., Carrington, D. Formalizing the UML class diagram using object_z. In: Rumpe, B., France, R.B., eds. Proceedings of the 2nd International Conference on the Unified Modeling Language. Vol. 1723 of LNCS. 1999. http://www.cs.colostate.edu/UML99/.
  • 9[9]von der Beeck, M. A concise compositional statecharts semantics definition. In: Proceedings of the FORTE/PSTV 2000. Kluwer,2000. http://forte-pstv-2000.cpr, it/
  • 10[10]Uselton, A., Smolka, S. A process-algebraic semantics for statecharts via state refinement. In: Olderog, E-R., ed. Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 working Conference on Programming Concepts, Methods and Calculi (PROCOMET'94), North Holland/Elsevier, 1994.

共引文献41

同被引文献65

引证文献10

二级引证文献44

计算机工程与应用
2003年 第18期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部