期刊文献+

一种基于有限自动机的软件工作流开发模型 被引量:1

A Developing Model for Software Workflow Based Finite Automation
下载PDF
导出
摘要 软件开发模型很多,基于Web的三层结构的软件设计开发模型的关键是要考虑它的并发性。文章提出了一种基于有限自动机的Web软件开发模型。该模型对有限自动机进行了扩充;将扩充后的有限自动机转换成为分层状态图;根据分层状态图转换成为多功能视图;在此基础上进行软件开发。利用这个开发模型可以方便地进行需求分析和描述;只需开发子服务组件或模块,便可进行软件开发、系统扩充以及后来的系统重构。 There are many models of software developing.The key to software development model of three-hierarchy structure based on web is to consider its concurrency.A kind of web models of software developing based on finite au-tomation is introduced in this paper.The model extends finite automation,converts the extended finite automation into hi-erarchical state charts,then into multifunction views ;according to which software development is processed.It conve-niences require analysis and description with the model,which only needs to establish separate component or sub mod-ules for software development ,system extension and subsequent system refactoring.
出处 《计算机工程与应用》 CSCD 北大核心 2004年第28期208-211,共4页 Computer Engineering and Applications
基金 技改项目:工作票网络管理系统
关键词 软件开发模型 有限自动机 软件工作流 分层状态图 重构 model of soft developing,finite automation,software workflow,hierarchical state charts,refactoring
  • 相关文献

参考文献5

  • 1毋国庆 胡春丽 等.面向嵌入式实时系统的需求模型[J].计算机工程与科学,1999,(1):83-88.
  • 2冯元 应明生 陆汝钤.基于进程代数的并发行为推理[A]..知识科学与计算科学[M].清华大学出版社,2003..
  • 3Dijkstra E W.A discipline of programming[M].NJ:Prentice-Hall,1976
  • 4陈崇.形式语言与自动机[M].北京邮电学院出版社,1988..
  • 5D Harel.The STATEMATE Semantics of Statecharts[J].ACM Transactions on Software Engineering and Methodology,1996;5(4):293~333

共引文献4

同被引文献10

  • 1TB/T 2834-2002,铁路平面无线调车设备技术条件[S].
  • 2Alur R,Dill D L.A theory of timed automata[J].Theorgtical Computer Science,1994,126:183-225.
  • 3Kaynar D K,Lynch N,Segala R,Vaandrager F.Timed I/O automata:A mathematical framework for modeling and analyzing real-time systems[A].Proc of the 24th IEEE International Real-Time Systems symposium[C].Cancun,Mexico,IEEE Press,2003.166-177.
  • 4Hopcroft J E,Motwani R,Ullman J R.自动机理论、语言和计算导轮[M].北京:机械工业出版社,2004.
  • 5Sipser M.计算理论导引[M].北京:机械工业出版社,2000
  • 6Miller R E.Passive testing of networks using a CFSM specification[A].Performance,Computing and Communications,1998.IPCCC'98[C].IEEE International,Tempe/Phoenix,AZ,IEEE Press,1998.111-116.
  • 7Peng W,Makki K.Reachability and reverse reachability analysis of CFSMs[J].Computer Communication,1996,19:668674.
  • 8赵琛.面向媒体时序描述的带时间自动机的自动构造方法[J].计算机学报,1999,22(12):1289-1294. 被引量:2
  • 9宋煌,庄雷,苏锦祥,周清雷.一种改进的区域自动机构造方法[J].计算机研究与发展,2002,39(5):607-611. 被引量:2
  • 10徐小良,汪乐宇,周泓.有限状态机的一种实现框架[J].工程设计学报,2003,10(5):251-255. 被引量:39

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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