×

兹马思-数学第一资源

基于事件的功能分解。(英语) Zbl 1435.68062
摘要:功能分解是将功能关系分解为其组成部分的过程,以便通过功能组合将原来的功能从这些部分重新组合。完美分解要求所获得的组成部分是非交互的组件,并且更易于构思、理解、编程和维护。然而,如何对一个复杂系统进行分解并保证其正确性,通常依赖于一些非正式的原则。在本文中,我们提出了一种新的自动功能分解方法。首先从理论上证明了功能分解的正确性,然后讨论了功能分解的自动化方法。该方法可以自动将系统分解为独立的子系统,这些子系统可以独立开发和部署。最后,我们开发了一个算法。一个案例研究证明了这些结果。
理学硕士:
68N30型 软件工程的数学方面(规范、验证、度量、需求等)
软件:
温迪;洛托斯
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] Dijkstra,E.W.,编程学科(1976),普伦蒂斯·霍尔·Zbl 0368.68005
[2] Parnas,D.L.,关于将系统分解成模块的标准,Common。ACM,15,12,1053-1058(1972年)
[3] 史蒂文斯,W.P。;迈尔斯,G.J。;Constantine,L.L.,结构设计,IBM系统。J、 ,13,2,115-139(1974年)
[4] DeMarco,T.,《结构分析与系统规范》(1978),Yourdon:Yourdon纽约,NY
[5] Shatnawi,R.,开源系统中面向对象度量的可接受风险水平的定量研究,IEEE Trans。软。《工程学》,第36期,第2216-225页(2010年)
[6] 苏布拉曼尼亚姆。;Krishnan,M.S.,面向对象设计复杂性的ck度量的实证分析:对软件缺陷的影响,IEEE Trans。软。工程学,29,4,297-310(2003)
[7] 亨德森卖方有限公司。;康斯坦丁,L.L。;《耦合与内聚(迈向面向对象分析与设计的有效度量套件》),面向对象系统,3143-158(1996)
[8] Booch,G.,《面向对象分析与设计与应用》,Benjamin/Cummings面向对象软件工程系列(1995),Addison-Wesley
[9] Reade,C.,《函数编程元素》,国际计算机科学丛书(1989),Addison-Wesley·Zbl 0714.68006
[10] 利斯科夫,B。;Zilles,S.N.,用抽象数据类型编程,SIGPLAN Not.,9,4,50-59(1974)
[11] Meyer,B.,应用“合同设计”,IEEE计算机,25,10,40-51(1992)
[12] Kiczales,G.,面向方面编程,ACM计算机。Surv.,28,4es,154(1996年)
[13] Ashbacher,C.,“统一建模语言参考手册,第二版”,James Rumbaugh,J.Object Technol.著,3,10,193-195(2004)
[14] 希尔德布兰特,T.T。;穆卡马拉,R.R。;Slaats,T.,声明性过程的安全分发,(软件工程和正式方法-第九届国际会议论文集,软件工程和正式方法-第九届国际会议论文集,SEFM 2011,乌拉圭蒙得维的亚,2011年11月14-18日(2011)),237-252
[15] 希尔德布兰特,T.T。;穆卡马拉,R.R。;斯拉茨,T。;Zanitti,F.,作为定时动态条件响应图的跨组织工作流契约,J.Log。代数程序,825-7164-185(2013)·Zbl 1283.68245
[16] 卡斯特拉尼,I。;穆昆德,M。;Thiagarajan,P.S.,从全球规范中综合分布式过渡系统,(软件技术和理论计算机科学基础,第19届会议论文集,软件技术和理论计算机科学基础,第19届会议论文集,印度金奈,1999年12月13-15日(1999)),219-231·Zbl 0956.68008
[17] 施罗德,J。;穆查,P。;穆斯,M。;朱格尔,K。;Lochau,M.,基于云的应用程序的动态配置管理,(第16届国际软件产品线会议,第2卷。第16届国际软件产品线会议,第2卷,SPLC'12,巴西萨尔瓦多-2012年9月2日至7日,2012年(2012年)),171-178
[18] 施罗德,J。;切赫,S。;哥茨,S。;威尔克,C。;Aßmann,U.,《为多租户SaaS应用程序建模可变架构》,《第六届软件密集型系统可变性建模国际研讨会论文集》,第六届软件密集型系统可变性建模国际研讨会论文集,德国莱比锡,2012年1月25日至27日(2012年)),111-120号
[19] 米茨纳,R。;梅茨格,A。;莱曼,F。;Pohl,K.,《支持多租户感知软件即服务应用程序的定制和部署的可变性建模》(国际ICSE面向服务系统原理研讨会,国际ICSE面向服务系统原则研讨会,2009年5月18日至19日,加拿大不列颠哥伦比亚省温哥华市(2009年),第18-25页
[20] 《企业本体论-理论与方法论》(2006),施普林格
[21] 尼尔森,M。;罗森伯格,G。;Thiagarajan,P.S.,基本过渡系统,理论。计算机。科学,96,1,3-33(1992)·Zbl 0759.68022
[22] 马尔查尔,O。;波扎特,P。;Royer,J.-C.,《使用符号转换系统检查异步通信组件》,《迈向有意义的互联网系统2004:CoopIS,DOA和ODBASE》,《走向有意义的互联网系统2004:CoopIS,DOA和ODBASE》,《计算机科学课堂讲稿》,第3291卷(2004),Springer),1502-1519
[23] 米尔纳,R。;鹦鹉J。;Walker,D.,《移动过程微积分》,Inf.Comput.,100,1,1-40(1992)·Zbl 0752.68036
[24] 博洛涅西。;Brinksma,E.,ISO规范语言LOTOS简介,专刊:协议规范和测试。专刊:协议规范与测试,计算机。网络。ISDN系统,14,1,25-59(1987)
[25] Hoare,T.,通讯顺序过程,通讯。ACM,21,8,666-677(1978年)·Zbl 0383.68028
[26] 米尔纳,R.,《通信系统的微积分》(1982年),斯普林格·维拉格:纽约州斯普林格·维拉格
[27] 阿杰瓦拉,T。;弗林,M.,《Petri网的能力、限制和正确性评论》,计算机。阿基特。新闻,2,4,81-86(1973)
[28] Murata,T.,《Petri网:性质、分析与应用》,Proc。IEEE,77,4541-580(1989年)
[29] 温斯克,G。;Nielsen,M.,并发模型,计算机科学逻辑手册,语义建模,第4卷(1995),牛津科学出版物:牛津科学出版物牛津
[30] 范格拉贝克,R.J。;Plotkin,G.D.,配置结构,(第10届IEEE计算机科学逻辑研讨会论文集),第10届IEEE计算机科学逻辑研讨会论文集,LICS'95(1995),IEEE,199-209
[31] 卢克姆,哥伦比亚特区。;维拉,J。;布莱恩,D。;奥古斯丁,L。;贝尔兹,F。;《事件集的偏序及其在并行定时系统原型设计中的应用》,J.Syst。《软件》,第21、3、253-265页(1993年)
[32] 希尔德布兰特,T.T。;Mukkamala,R.R.,作为分布式动态条件响应图的声明性基于事件的工作流,(《并发和以通信为中心的软件编程语言方法第三次研讨会论文集》《并发和以通信为中心的软件编程语言方法第三次研讨会论文集》,2010年3月21日,塞浦路斯帕福斯,2010年3月21日,第59-73页
[33] 范格拉贝克,R.J。;配置结构,事件结构和Petri网,理论。计算机。《科学》第410、41、4111-4159页(2009年)
[34] 江,J。;张,S。;龚,P。;Hong,Z.,配置业务流程模型,ACM SIGSOFT软件。《工程注释》,38,4,1-10(2013)
[35] 江,J。;张,S。;龚,P。;Hong,Z.,基于消息依赖的服务自适应(2011 IEEE亚太服务计算会议论文集(2011),IEEE),442-449
[36] 江,J。;张,S。;龚,P。;洪,Z。;Yue,H.,面向服务可信软件中混合通信的建模与分析,Sci。中国信息科学,55,12,2738-2756(2012)
[37] 拉内塞,I。;贝多尼,L。;Felice,M.D.,物联网:过程微积分方法,(第28届应用计算研讨会论文集(2013),ACM),1339-1346
[38] van der Aalst,W.M.P.,云中的业务流程配置:如何支持和分析多租户流程?,(第九届IEEE欧洲Web服务会议,第九届IEEE欧洲Web服务会议,ECOWS 2011,瑞士卢加诺,2011年9月14日至16日,瑞士),3-10
[39] 蒋建民。;朱,H。;李,Q。;赵勇。;赵,L。;张,S。;龚,P。;Hong,Z.,并发反应系统中基于事件的调度分析,ACM Trans。嵌入。计算机。系统,14,4,86(2015)
[40] 江,J。;朱,H。;李,Q。;张,S。;龚,P。;Hong,Z.,基于虚拟化的服务配置,(第八届软件工程理论方面会议论文集(2014),IEEE),177-184
[41] 阿巴赫,Y。;彼得斯,K。;Nestmann,U.,增加事件结构的优先级,(论文集第20届并发表达性国际研讨会和第10届结构操作语义学研讨会合并而成。《论文集》结合了第20届并发表达性国际研讨会和第10届结构操作语义学研讨会,2013年8月26日,阿根廷布宜诺斯艾利斯,2013年8月26日)17-31年
[42] Gupta,V.,并行Kripke结构,(1993年北美过程代数研讨会论文集(2005年1月)),康奈尔CS-TR-93-1369
[43] Hildebrandt,T.T.,《并发的分类模型:独立性、公平性和数据流》,金砖四国论文系列DS-00-1(2000),奥胡斯大学技术代表,博士论文
[44] Bednarczyk,M.A.,异步系统分类(1987),苏塞克斯大学:英国苏塞克斯大学,英国,aAIDX83002
[45] 卡特尼,G.L。;Sassone,V.,高维转换系统,(第11届IEEE计算机科学逻辑年会论文集,第11届IEEE计算机科学逻辑年会论文集,美国新泽西州新不伦瑞克,1996年7月27日至30日,美国),55-62
[46] Goubault,E.,高维自动机领域,(CONCUR’93,第四届并发理论国际会议论文集,CONCUR’93,第四届并发理论国际会议论文集,德国希尔德斯海姆,1993年8月23-26日(1993)),293-307
[47] Shields,M.W.,并发机器,计算机。J、 (1985年,第465页)
[48] 塔尔,P.L。;奥舍,H。;哈里森,W.H。;Jr.,S.M.S.,N度分离:关注的多维分离,(1999年软件工程国际会议论文集,1999年国际软件工程会议论文集,1999年国际软件工程会议论文集,加利福尼亚州洛杉矶,1999年,5月16-22日,美国),107-119
[49] 范德阿尔斯特,W.M.P。;杜马斯,M。;哥查尔克,F。;特里霍夫斯泰德,A.H.M。;罗莎,M.L。;Mendling,J.,在业务流程模型配置过程中保持正确性,表单。Asp。计算机,22,3-4,459-482(2010年)
[50] 范德阿尔斯特,W.M.P。;杜马斯,M。;哥查尔克,F。;特里霍夫斯泰德,A.H.M。;罗莎,M.L。;Mendling,J.,业务流程模型的正确性保持配置,(软件工程的基本方法,第11届国际会议论文集,FASE 2008,作为欧洲软件理论与实践联合会议的一部分而举行。《软件工程基本方法》,第11届国际会议论文集,FASE 2008,作为欧洲联合会议的一部分《软件理论与实践》,ETAPS 2008,匈牙利布达佩斯,2008年3月29日至4月6日(2008年)),46-61
[51] Wolf,K.,Does my service have partners?,(Trans.Petri网和其他并发模型,第2卷(2009)),152-171
[52] 罗曼,N。;Weinberg Wendy,D.,一个综合服务合作伙伴的工具,Fundam。通知,113,3-4,295-311(2011年)
[53] 哥勒,G。;Sifakis,J.,《基于组件的建模组合》,Sci。计算机。程序,55,1-3,161-183(2005)
[54] Erl,T.,SOA:服务设计原则(2007),Prentice Hall出版社:Prentice Hall Press Upper Saddle River,NJ,USA
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。