×
伊贡博格尔

面向主题的软件设计方法和抽象状态机方法。 （英语） Zbl 1312.68071号

Düsterhöft，Antje（ed.）等人，《概念建模及其理论基础》。在伯恩哈德·塔尔海姆60岁生日之际，为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-28278-2/pbk）。计算机科学讲义7260，52-72（2012）。
摘要：【Subjektorientiertes Prozessmanagement。慕尼黑：Hanser-Verlag（2011）】A.弗莱什曼等人已经表明，实现面向主题的业务流程建模方法（S-BPM）的系统在抽象状态机（ASM）方面具有精确的语义基础。为基本S-BPM概念构建的ASM模型揭示了S-BPM与软件设计和分析的ASM方法之间的密切关系。在本文中，我们更仔细地研究了这种关系。我们使用该分析来评估S-BPM作为业务流程建模的一种方法，并建议对S-BPM系统进行一些具有挑战性的实际扩展。
关于整个系列，请参见[Zbl 1232.68008号].

MSC公司：

68N99型 软件理论
2005年第68季度 计算模型（图灵机等）（MSC2010）
90B70型 组织理论，运筹学中的人力规划

软件：

法尔科；罗丹；核心ASM；Metasonic公司
PDF格式BibTeX公司 XML格式引用
\textit{E.Börger}，莱克特。注释计算。科学。7260，52-72（2012年；兹比尔1312.68071）
全文： DOI程序

参考文献：

[1] Abrial，J.-R.：《商业图书》。剑桥大学出版社，剑桥（1996）·Zbl 0915.68015号 ·doi:10.1017/CBO9780511624162
[2] Abrial，J.-R.：《事件B中的建模：系统和软件工程》，剑桥大学出版社，剑桥（2010）·Zbl 1213.68214号 ·doi:10.1017/CBO9781139195881
[3] Batory，D.，Börger，E.：软件产品线的模块化定理：Jbook案例研究。通用计算机科学14（12），2059-2082（2008）
[4] Börger，E.：完整Prolog的逻辑操作语义。第一部分：选择核心与控制。收录人：Börger，E.，Kleine Büning，H.，Richter，M.M.，Schönfeld，W.（编辑）CSL 1989。LNCS，第440卷，第36-64页。斯普林格，海德堡（1990）·Zbl 0925.68301号 ·doi:10.1007/3-540-52753-231
[5] Börger，E.：完整Prolog的逻辑操作语义。第二部分：数据库操作的内置谓词。收录：Rovan，B.（编辑）MFCS 1990。LNCS，第452卷，第1-14页。斯普林格，海德堡（1990）·Zbl 0796.68140号 ·doi:10.1007/BFb0029592
[6] Börger，E.：完整Prolog的逻辑操作语义。第三部分：文件、术语、算术和输入输出的内置谓词。收录：Moschovakis，Y.N.（编辑）《计算机科学中的逻辑》。伯克利数学科学研究所出版物，第21卷，第17-50页。斯普林格，海德堡（1992）·Zbl 0753.68060号 ·doi:10.1007/978-1-4612-2822-62
[7] Börger，E.：逻辑编程：进化代数方法。摘自：Pehrson，B.，Simon，I.（编辑）IFIP第13届世界计算机大会。《技术/基础》，第一卷，第391-395页。Elsevier，阿姆斯特丹（1994）
[8] Börger，E.：为什么在硬件和软件工程中使用进化代数？收录人：Bartosek，M.、Staudek，J.、Wiedermann，J.（编辑）SOFSEM 1995。LNCS，第1012卷，第236-271页。斯普林格，海德堡（1995）·doi:10.1007/3-540-060609-2_12
[9] Börger，E.：进化代数和Parnas表。收录人：Ehrig，H.，von Henke，F.，Meseguer，J.，Wirsing，M.（编辑）《规范与语义》，Schloss Dagstuhl，Int.Conf.and Research Center for Computer Science。Dagstuhl研讨会，第9626号（1996年7月）
[10] Börger，E.：使用抽象状态机的高级系统设计和分析。收录：Hutter，D.，Stephan，W.，Traverso，P.，Ullmann，M.（编辑）FM-Trends 1998。LNCS，第1641卷，第1-43页。斯普林格，海德堡（1999）·doi:10.1007/3-540-48257-1_1
[11] Börger，E.：用于高级系统设计和分析的ASM方法的起源和发展。通用计算机科学8（1），2-74（2002）
[12] Börger，E.：作为需求工程基础的ASM地面模型方法。摘自：Dershowitz，N.（编辑）验证（Manna Festschrift）。LNCS，第2772卷，第145-160页。斯普林格，海德堡（2004）·doi:10.1007/978-3-540-39910-0_6
[13] Börger，E.：ASM细化方法。计算的形式方面15，237–257（2003）·Zbl 1093.68601号 ·doi:10.1007/s00165-003-0012-7
[14] Börger，E.：地面模型的构建和分析及其改进，作为验证基于计算机的系统的基础。计算的形式方面19，225–241（2007）·Zbl 1123.68036号 ·文件编号：10.1007/s00165-006-0019-y
[15] Börger，E.：业务流程建模方法。对BPMN、工作流模式和YAWL的关键分析。软件和系统建模（2011），doi:10.1007/s10270-011-0214-z·doi:10.1007/s10270-011-0214-z
[16] Börger，E.，Cisternino，A.，Gervasi，V.：具有应用程序的环境抽象状态机。《计算机与系统科学》（2011），为纪念Amir Pnueli，http://dx.doi.org/10.1016/j.jcss.2011.08.004 ·Zbl 1246.68088号 ·doi:10.1016/j.jcss.2011.08.004
[17] Börger，E.，Dässler，K.：序言：供讨论的DIN文件。ISO/IEC JTCI SC22 WG17 Prolog标准化文件58，英国米德尔塞克斯国家物理实验室（1990）
[18] Börger，E.，Durdanović，I.：将Occam编译为Transputer代码的正确性。《计算机杂志》39（1），52–92（1996）·Zbl 05476195号 ·doi:10.1093/comjnl/39.1.52
[19] Börger，E.，Fruja，G.，Gervasi，V.，Stärk，R.：C#语义的高级模块化定义。理论计算机科学336（2-3），235-284（2005）·兹比尔1080.68006 ·doi:10.1016/j.tcs.2004.11.008
[20] Börger，E.，Gargantini，A.，Riccobene，E.：抽象状态机。一种用于系统规范和分析的方法。摘自：Frappier，M.，Habrias，H.（编辑）《软件规范方法：使用案例研究的概述》，第103–119页。HERMES科学出版社。(2006)
[21] Börger，E.，Päppinghaus，P.，Schmid，J.：ASM在软件设计中的实际应用报告。收录人：Gurevich，Y.、Kutter，P.、Odersky，M.、Thiele，L.（编辑）ASM 2000。LNCS，第1912卷，第361-366页。斯普林格，海德堡（2000）·Zbl 0976.68567号 ·doi:10.1007/3-540-44518-8_20
[22] Börger，E.，Prinz，A.：Quo Vadis抽象状态机？通用计算机科学14（12），1921-1928（2008）
[23] Börger，E.，Rosenzweig，D.：从Prolog代数到WAM——实现的数学研究。收录人：Schönfeld，W.，Börger，E.，Kleine Büning，H.，Richter，M.M.（编辑）CSL 1990。LNCS，第533卷，第31-66页。斯普林格，海德堡（1991）·doi:10.1007/3-540-54487-9_51
[24] Börger，E.，Rosenzweig，D.：WAM代数——实现的数学研究，第2部分。收录：Voronkov，A.（编辑）RCLP 1990和RCLP 1991。LNCS（LNAI），第592卷，第35-54页。斯普林格，海德堡（1992）·doi:10.1007/3-540-55460-2_4
[25] Börger，E.，Rosenzweig，D.：WAM——定义和编译器正确性。收录：Beierle，C.，Plümer，L.（编辑）《逻辑编程：形式方法和实际应用》。《计算机科学和人工智能研究》，第11卷，第2章，第20-90页。北荷兰（1995）·Zbl 0832.68024号
[26] Börger，E.，Stärk，R.F.：抽象状态机。一种高层系统设计与分析方法。斯普林格，海德堡（2003）·Zbl 1040.68042号 ·doi:10.1007/978-3642-18216-7
[27] Delaware，B.，Cook，W.，Batory，D.：定理的乘积线。In：程序。OOPSLA 2011，波特兰（2011年10月）·doi:10.1145/2048066.2048113
[28] Denning，P.J.，Martell，C.：伟大的计算原理（2007），http://cs.gmu.edu/cne/pjd/GP/GP-site/welcome.html（2011年7月26日查阅）
[29] Farahbod，R.等人：CoreASM项目，网址：http://www.coreasm.org ·Zbl 1118.68544号
[30] Fleischmann，A.：分布式系统：软件设计与实现。施普林格，海德堡（1994）·Zbl 0817.68062号 ·doi:10.1007/978-3-642-78612-9
[31] Fleischmann，A.：Sbpm2-NatLang转换器。9月8日致Egon Börger（2011）的电子邮件
[32] Fleischmann，A.，Schmidt，W.，Stary，C.，Obermeier，S.，Börger，E.：Subjektorientiertes项目管理。Hanser Verlag，慕尼黑（2011）；附录的正确版本见[63]·数字对象标识代码：10.3139/9783446429697
[33] Fleischmann，A.，Stary，C.：与谁交谈？利益相关者对业务流程开发的看法。信息社会中的通用访问，第1-26页（2011年6月），doi:10.1007/s10209-011-0236-x·doi:10.1007/s10209-011-0236-x
[34] Frappier，M.，Habrias，H.（编辑）：软件规范方法：使用案例研究的概述。HERMES科学出版社。，巴黎（2006）·Zbl 0968.68092号
[35] Fruja，N.G.：型号安全C#和。净清除量。苏黎世理工学院博士论文（2006年）·Zbl 1178.68152号
[36] Fruja，N.G.：致力于证明.net cil的类型安全性。《计算机程序设计科学》72（3），176-219（2008）·Zbl 1154.68359号 ·doi:10.1016/j.scico.2008.05.004
[37] Fruja，N.G.，Börger，E.：建模。用于数学分析的NET CLR异常处理机制。对象技术杂志5（3），5–34（2006），http://www.jot.fm/issues/issue_2006_04/article1 ·Zbl 05431167号 ·doi:10.5381/jot.2006.5.3.a1
[38] Gurevich，Y.：重新思考图灵的论文：走向更现实的程序语义。密歇根大学EECS系CRL-TR-36-84技术报告（1984年9月）
[39] Gurevich，Y.：一篇新论文。摘要，美国数学学会6（4），317（1985）
[40] Gurevich，Y.：进化代数1993：Lipari指南。摘自：Börger，E.（编辑）规范和验证方法，第9-36页。牛津大学出版社（1995）·Zbl 0852.68053号
[41] Gurevich，Y.：交互式算法2005，添加附录。收录：Goldin，P.W.D.，Smolka，S.A.（编辑）《交互式计算：新范式》，第165–182页。斯普林格，海德堡（2006）·兹比尔1266.68198 ·doi:10.1007/3-540-34874-38
[42] Hoare，C.A.R.：通信顺序过程。普伦蒂斯·霍尔（1985）·Zbl 0637.68007号
[43] Hoare，C.A.R.，Misra，J.，Leavens，G.T.，Shankar，N.：经过验证的软件倡议：一份宣言。ACM计算调查（2009年）·doi:10.1145/1592434.1592439
[44] Kim，C.H.P.，Batory，D.，Khurshid，S.：减少测试产品线中的组合数学。In：程序。面向方面软件开发会议。ACM（2011）·doi:10.1145/1960275.1960284
[45] Knuth，D.：识字编程。CSLI课堂讲稿，第27卷。斯坦福大学语言与信息研究中心（1992年）·Zbl 1109.68387号
[46] Metasonic公司。Metasonic-suite，www.Metasonic.de/Metasonic-suite
[47] Milner，R.：通信系统微积分。LNCS，第92卷。斯普林格，海德堡（1980）·Zbl 0452.68027号 ·doi:10.1007/3-540-10235-3
[48] OMG.业务流程模型和符号（BPMN）（2011），http://www.omg.org/spec/BPMN/2.0（2011年1月3日正式）
[49] Parnas，D.L.，Madey，J.：计算机系统的功能文档。科学。计算的。程序。 25, 41–62 (1995) ·Zbl 05479481号 ·doi:10.1016/0167-6423（95）96871-J
[50] 谢尔霍恩（Schellhorn），G.：验证禁酒者Zustandsmaschinen。德国乌尔姆大学博士论文（1999年）
[51] Schellhorn，G.：使用广义正向模拟验证ASM细化。通用计算机科学7（11），952–979（2001）
[52] Schellhorn，G.：ASM精化和数据精化中正向模拟的推广：比较。理论计算机科学336（2-3），403-436（2005）·Zbl 1080.68058号 ·doi:10.1016/j.tcs.2004.11.013
[53] Schellhorn，G.，Ahrendt，W.：关于抽象状态机的推理：WAM案例研究。通用计算机科学3（4），377–413（1997）·Zbl 0960.68090号
[54] Schellhorn，G.，Ahrendt，W.：WAM案例研究：使用KIV验证Prolog的编译器正确性。摘自：Bibel，W.，Schmitt，P.（编辑）《自动扣除——应用基础》，第三卷，第165-194页。Kluwer学术出版社（1998）·Zbl 0977.68017号 ·doi:10.1007/978-94-017-0437-37
[55] 半导体工业协会，半导体国际技术路线图。设计（2005），http://www.itrs.net/Links/2005ITRS/Design2005.pdf
[56] Sneed，S.H.：导出自然语言：从S-BPM过程模型生成NL句子。收录：Fleischmann，A.，Schmidt，W.，Singer，R.，Seese，D.（编辑）S-BPM ONE 2010。CCIS，第138卷，第163-179页。斯普林格，海德堡（2011）·doi:10.1007/978-3-642-23135-39
[57] Stärk，R.F.，Schmid，J.，Börger，E.：Java和Java虚拟机：定义、验证和验证。斯普林格，海德堡（2001）·Zbl 0978.68033号 ·doi:10.1007/978-3-642-59495-3
[58] 塔斯基：德瓦赫海茨贝格里夫在斯普拉钦的书房里。哲学研究1，261-405（1936）·JFM 62.1051.05型
[59] ter Hofstede，A.，van der Aalst，W.，Adams，M.，Russell，N.（编辑）：现代业务流程自动化。斯普林格，海德堡（2010）
[60] Uzuncaova，E.，Khurshid，S.，Batory，D.：软件产品线的增量测试生成。IEEE软件工程学报36（3），309–322（2011）·doi:10.1109/TSE.2010.30
[61] van der Aalst，W.，ter Hofstede，A.：自（1999）以来创建和维护的工作流模式主页，http://www.workflowpatterns.com/
[62] Wirth，N.：算法与数据结构。普伦蒂斯·霍尔（1975）·Zbl 0375.68005号
[63] 这里可以下载[32]附录正确文本的文件，http://www.hanser.de/buch.asp？isbn=978-3-446-42707-5&面积=Wirtschaft，网址：http://www.di.unipi.it/boerger/Papers/SbpmBook附录.pdf
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。