×

基于事件的功能分解。 (英语) Zbl 1435.68062号

摘要:功能分解是将功能关系分解为其组成部分的过程,通过功能组合可以从这些部分重新组合原始功能。完美分解要求获得的组成部分是非交互组件,并且更容易构思、理解、编程和维护。然而,如何分解复杂系统并确保这种分解方法的正确性通常依赖于一些非正式原则。在本文中,我们提出了一种新的功能自动分解方法。我们首先从理论上证明了函数分解的弱终止性的正确性,然后讨论函数分解的自动化方法。该方法可以自动将系统分解为独立的子系统,这些子系统可以独立开发和部署。最后,我们开发了一个算法。一个案例研究证明了这些结果。

MSC公司:

68号30 软件工程的数学方面(规范、验证、度量、需求等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Dijkstra,E.W.,《程序设计学科》(1976),普伦蒂斯·霍尔出版社·Zbl 0368.68005号
[2] Parnas,D.L.,《关于将系统分解为模块的标准》,Commun。ACM,第15、12、1053-1058页(1972年)
[3] 史蒂文斯,W.P。;Myers,G.J。;Constantine,L.L.,结构化设计,IBM系统。J.,13,2,115-139(1974)
[4] DeMarco,T.,《结构化分析和系统规范》(1978),Yourdon:Yourdon New York,NY
[5] Shatnawi,R.,《开源系统中面向对象度量的可接受风险水平的定量研究》,IEEE Trans。柔和。工程师,36,2,216-225(2010)
[6] Subramanyam,R。;Krishnan,M.S.,《面向对象设计复杂性ck度量的实证分析:软件缺陷的含义》,IEEE Trans。柔和。工程,29,4,297-310(2003)
[7] Henderson Sellers,B.公司。;康斯坦丁,L.L。;Graham,I.M.,耦合和内聚(面向对象分析和设计的有效度量套件),面向对象系统。,3, 143-158 (1996)
[8] Booch,G.,《面向对象的分析和应用程序设计》,Benjamin/Cummings面向对象软件工程系列(1995),Addison-Wesley·兹比尔08368011
[9] Reade,C.,《函数编程的要素》,国际计算机科学系列(1989),Addison-Wesley·Zbl 0714.68006号
[10] Liskov,B。;Zilles,S.N.,《用抽象数据类型编程》,SIGPLAN Not。,9, 4, 50-59 (1974)
[11] Meyer,B.,应用“合同设计”,IEEE Computer,25,10,40-51(1992)
[12] Kiczales,G.,面向方面编程,ACM计算。调查。,28、4es、154(1996)
[13] Ashbacher,C.,“统一建模语言参考手册,第二版”,James Rumbaugh,J.Object Technol.著。,3, 10, 193-195 (2004)
[14] 希尔德布兰特,T.T。;R.R.穆卡拉。;Slaats,T.,声明性过程的安全分发,(软件工程和形式方法-第九届国际会议论文集。软件工程和正式方法-第9届国际会议文献集,2011年SEFM,乌拉圭蒙得维的亚,2011年11月14-18日(2011)),237-252
[15] 希尔德布兰特,T.T。;R.R.穆卡拉。;斯莱茨,T。;Zanitti,F.,《作为时间动态条件响应图的跨组织工作流合同》,J.Log。代数程序。,82, 5-7, 164-185 (2013) ·Zbl 1283.68245号
[16] 卡斯特拉尼,I。;Mukund,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年)),171-178
[18] 施罗德,J。;切赫,S。;哥茨,S。;Wilke,C。;Aßmann,U.,《为多租户SaaS应用程序建模可变架构》,(第六届软件集成系统可变性建模国际研讨会论文集。第六届国际软件集成系统可变性建模研讨会论文集,德国莱比锡,2012年1月25-27日(2012)), 111-120
[19] 密茨纳,R。;Metzger,A。;莱曼,F。;Pohl,K.,《支持多租户软件作为服务应用程序的定制和部署的可变性建模》,(2009年5月18日至19日,加拿大不列颠哥伦比亚省温哥华,国际ICSE工程服务导向系统原理研讨会,PESOS,2009年),18-25
[20] Dietz,J.L.G.,《企业本体论-理论与方法》(2006),施普林格出版社
[21] 尼尔森,M。;罗岑贝格,G。;Thiagarajan,P.S.,《基本过渡系统》,Theor。计算。科学。,96, 1, 3-33 (1992) ·Zbl 0759.68022号
[22] 俄亥俄州马雷查。;Poizat,P。;Royer,J.-C.,《使用符号转换系统检查异步通信组件》,(On the Move to Meaningful Internet systems 2004:CoopIS,DOA,and ODBASE。On the Move to Mean ingful InternetSystems 2004:CoopIS、DOA和ODBASE,计算机科学讲义,vol.3291(2004),Springer),1502-1519
[23] 米尔纳,R。;鹦鹉,J。;Walker,D.,《移动进程演算》,Inf.Compute。,100, 1, 1-40 (1992) ·Zbl 0752.68036号
[24] 博洛涅西,T。;Brinksma,E.,ISO规范语言LOTOS简介,专刊:协议规范和测试。特刊:协议规范和测试,计算。Netw公司。ISDN系统。,14, 1, 25-59 (1987)
[25] Hoare,T.,通信顺序过程,Commun。ACM,21、8、666-677(1978)·Zbl 0383.68028号
[26] Milner,R.,《通信系统的微积分》(1982),Springer-Verlag:Springer-Verlag纽约,NY
[27] 阿格瓦拉,T。;Flynn,M.,《关于Petri网的能力、局限性和正确性的评论》,计算。阿基特。新闻,2,4,81-86(1973)
[28] Murata,T.,《Petri网:属性、分析和应用》,Proc。IEEE,77,4,541-580(1989)
[29] Winskel,G。;Nielsen,M.,并发模型,计算机科学逻辑手册,语义建模,第4卷(1995年),牛津科学出版物:牛津科学出版物
[30] 范·格拉贝克,R.J。;Plotkin,G.D.,《配置结构》,(第十届IEEE计算机科学中的逻辑研讨会论文集。第十届电气与电子工程师协会计算机科学中逻辑学研讨会论文集,LICS’95(1995),IEEE),199-209
[31] 卢克姆,哥伦比亚特区。;维拉,J。;布莱恩,D。;奥古斯丁,L。;Belz,F。;Augustin,L.M.,事件集的部分排序及其在并发定时系统原型制作中的应用,J.Syst。软质。,21, 3, 253-265 (1993)
[32] 希尔德布兰特,T.T。;Mukkamala,R.R.,作为分布式动态条件响应图的声明性基于事件的工作流,(《并行和通信中心软件编程语言方法第三次研讨会论文集》。《并行和通讯中心软件编程编程语言方法的第三次会议论文集》,PLACES 2010,塞浦路斯帕福斯,2010年3月21日(2010)),59-73
[33] 范·格拉贝克,R.J。;Plotkin,G.D.,配置结构、事件结构和Petri网,Theor。计算。科学。,410、41、4111-4159(2009年)·Zbl 1187.68329号
[34] 姜杰。;张,S。;龚,P。;Hong,Z.,配置业务流程模型,ACM SIGSOFT Softw。工程注释,38,4,1-10(2013)
[35] 姜杰。;张,S。;龚,P。;Hong,Z.,基于消息依赖的服务自适应,(2011年IEEE亚太服务计算会议论文集(2011),IEEE),442-449
[36] 姜杰。;张,S。;龚,P。;Z.Hong。;Yue,H.,面向服务的可信软件中的混合通信建模与分析,科学。中国信息科学。,55, 12, 2738-2756 (2012)
[37] 拉内斯,我。;贝多尼,L。;Felice,M.D.,《物联网:过程演算方法》(2013年第28届应用计算研讨会论文集,美国计算机学会),1339-1346
[38] van der Aalst,W.M.P.,《云中的业务流程配置:如何支持和分析多租户流程?》?,(2011年9月14日至16日,瑞士卢加诺,第九届IEEE欧洲网络服务会议,ECOWS 2011),3-10
[39] 姜建民。;朱,H。;李强。;Zhao,Y。;赵,L。;张,S。;龚,P。;Hong,Z.,分析并发反应系统中基于事件的调度,ACM Trans。嵌入。计算。系统。,14, 4, 86 (2015)
[40] 姜杰。;朱,H。;李强。;张,S。;龚,P。;Hong,Z.,基于虚拟化的服务配置,(第八届软件工程理论会议论文集(2014),IEEE),177-184
[41] 阿巴赫,Y。;彼得斯,K。;Nestmann,U.,《为事件结构添加优先级》,(Proceedings Combined 20th International Workshop on Expressiveity in Concurrency and 10th Workshop onStructural Operational Semantics)(《第20届并发表达性国际研讨会论文集》和《第10届结构操作语义学研讨会论文集集》,EXPRESS/SOS 2013,阿根廷布宜诺斯艾利斯,2013年8月26日(2013)), 17-31 ·Zbl 1464.68225号
[42] Gupta,V.,Concurrent Kripke structures,(北美过程代数研讨会论文集1993(2005年1月)),康奈尔CS-TR-93-1369
[43] Hildebrandt,T.T.,《并发的分类模型:独立性、公平性和数据流》,金砖国家系列论文DS-00-1(2000),奥胡斯大学,技术代表,博士论文
[44] Bednarczyk,M.A.,异步系统分类(1987),苏塞克斯大学:英国苏塞克斯州立大学,英国,aAIDX83002
[45] Cattani,G.L。;Sassone,V.,《高维过渡系统》,(第11届IEEE计算机科学逻辑研讨会论文集。第11届计算机科学逻辑IEEE研讨会论文集,美国新泽西州新不伦瑞克,1996年7月27日至30日(1996)),55-62
[46] Goubault,E.,《高维自动机的领域》,(CONCUR’93,第四届并行理论国际会议论文集,CONCUR‘93,第4届并发理论国际会议文献集,德国希尔德斯海姆,1993年8月23日至26日(1993)),293-307
[47] Shields,M.W.,《并行计算机》。J.,28,5,449-465(1985)·兹比尔0573.68026
[48] Tarr,P.L。;Osser,H。;哈里森·W·H。;Jr.,S.M.S.,N分离度:关注点的多维分离,(《1999年软件工程国际会议论文集》,1999年国际软件工程会议论文集,1999年5月16日至22日,加利福尼亚州洛杉矶,美国),107-119
[49] 范德阿尔斯特,W.M.P。;杜马,M。;Gottschalk,F。;ter Hofstede,A.H.M。;罗莎,M.L。;Mendling,J.,《在业务流程模型配置期间保持正确性》,Form.Asp。计算。,22, 3-4, 459-482 (2010) ·兹比尔1213.68413
[50] 范德阿尔斯特,W.M.P。;杜马,M。;Gottschalk,F。;ter Hofstede,A.H.M。;罗莎,M.L。;Mendling,J.,Correctness-preserving配置业务流程模型, (软件工程的基本方法,第11届国际会议论文集,FASE 2008,作为欧洲软件理论和实践联合会议的一部分举行。软件工程的基本方法,第11届国际会议论文集,FASE 2008,作为欧洲联合会议的一部分举行《软件理论与实践》,ETAPS 2008,匈牙利布达佩斯,2008年3月29日至4月6日(2008)),46-61
[51] Wolf,K.,我的服务有合作伙伴吗?,(Trans.Petri网和其他并发模型,第2卷(2009)),152-171·Zbl 1235.68321号
[52] 北卡罗来纳州洛曼。;Weinberg Wendy,D.,综合服务合作伙伴的工具,Fundam。通知。,113, 3-4, 295-311 (2011)
[53] 哥勒,G。;Sifakis,J.,《基于组件建模的组合》,科学。计算。程序。,55, 1-3, 161-183 (2005) ·Zbl 1075.68016号
[54] Erl,T.,《SOA:服务设计原则》(2007),普伦蒂斯·霍尔出版社:普伦蒂斯霍尔出版社,美国新泽西州上鞍河
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。