期刊文献+

元程序设计方法实现的状态机复合者

Meta- Programming State Machine Composer
下载PDF
导出
摘要 针对工作流系统在面向过程和面向功能方面的多变性,本文根据组件系统在面向功能方面的灵活性和有限状态机作为一种形式化方法能够清晰描述工作流过程的特点,提出了基于元程序设计方法的状态机复合者。我们采用了元层次体系结构。引入活动组件,给出了状态机和动作组件元模型以及状态机复合者的形式化描述,从而显著的提高了工作流系统的可适配性,提出了一种可行的通过元对象对程序进行配置的结构化程序设计方法。 Based on the need of flexibility of the process - oriented aspect and the function - oriented aspect in the workflow system, in this paper we demonstrate the approach of Meta - Programming State Machine Composer in that component system provides flexibility for function designing and state machine specifies the formal description of procedure designing. Using meta level architect, introducing activity components, giving formal specification of the meta model of state machine, our model improves the adaptability of the workflow system remarkably and presents a feasible structure programming method through which meta objects can configure the program.
作者 蔡文杰
出处 《中山大学研究生学刊(自然科学与医学版)》 2003年第4期94-102,共9页 Journal of the Graduates Sun YAT-SEN University(Natural Sciences.Medicine)
关键词 组件系统 有限状态机 工作流 元程序设计方法 状态机复合者 元层次体系结构 动作组件 组件复合 Meta Programming Composer Meta Level Architecture FSM Workflow
  • 相关文献

参考文献3

二级参考文献33

  • 1[1]UML version 1.3. http://www.omg.org. 被引量:1
  • 2[2]Booch, G., Rumbaugh, J., Jacobson, I. The Unified Modeling Language User Guide. Boston: Addison-Wesley, 1999. 被引量:1
  • 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/. 被引量:1
  • 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/. 被引量:1
  • 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/. 被引量:1
  • 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/. 被引量:1
  • 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/. 被引量:1
  • 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/. 被引量:1
  • 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/ 被引量:1
  • 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. 被引量:1

共引文献156

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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