×
丹尼尔·克罗布

复杂软件系统的建模：一个合理的概述。 （英语） Zbl 1225.68080号

Najm，Elie（编辑）等人，网络和分布式系统的形式化技术–FORTE 2006。2006年9月26日至29日，第26届IFIP WG 6.1国际会议，法国巴黎。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-46219-4/pbk）。计算机科学讲义4229，1-22（2006）。
摘要：本文致力于介绍复杂（工业）系统数学理论所依据的关键概念。我们特别展示了这种形式化框架如何捕捉现代信息技术的真实性。我们还提出了一些新的建模问题，这些问题在复杂软件系统的特定环境中自然出现。
关于整个系列，请参见[Zbl 1120.68008号].

引用于1文件

MSC公司：

68纳米99 软件理论
68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等）
68单位35 信息系统的计算方法（超文本导航、接口、决策支持等）

关键词：

复杂系统;信息系统;综合系统;建模;软件系统

软件：

Simulink公司;酯类;系统建模语言;卢斯特;Z轴
PDF格式BibTeX公司 XML格式引用
\textit{D.Krob}，莱克特。票据计算。科学。4229，1--22（2006；Zbl 1225.68080）
全文： 内政部

参考文献：

[1] Abrial，J.R.：《B书——赋予程序意义》。剑桥大学出版社，剑桥（1996）·Zbl 0915.68015号 ·doi:10.1017/CBO9780511624162
[2] Alur，R.，Courcoubetis，C.，Halbwachs，N.，Henzinger，T.A.，Ho，P.H.，Nicollin，X.，Olivero，A.，Sifakis，J.，Yovine，S.：混合系统的算法分析。西奥。公司。科学。 138(1), 3–34 (1995) ·Zbl 0874.68206号 ·文件编号：10.1016/0304-3975（94）00202-T
[3] Autebert J.M.，Boasson L.：理性转导——语言应用。收集ERI，Masson（1988）·Zbl 0758.68041号
[4] Baccelli，F.、Cohen，G.、Olsder，G.J.、Quadrat，J.P.：同步与线性——离散事件系统的代数。奇切斯特·威利（1992）·Zbl 0824.93003号
[5] Benveniste，A.、Caspi，P.、Edwards，S.A.、Halbwachs，N.、Le Guernic，P.和de Simone，R.：十二年后的同步语言。程序。IEEE，嵌入式系统专刊，91（1），64–83（2003）
[6] Bérard，B.，Bidoit，M.，Laroussinie，F.，Petit，A.，Schnoebelen，P.：Vérification de logiciels–Techniques et outils du model-checking。Vuibert Informatique（1999）
[7] Berry，G.，Gonthier，G.：同步编程语言ESTREL:设计，语义学。计算机程序设计实现科学19，83–152（1992）·Zbl 0772.68013号
[8] Bock，C.：SysML和UML2对活动建模的支持。系统工程9（2），160–186（2006）·doi:10.1002/sys.20046
[9] Börger，E.，Stärk，R.：抽象状态机——一种用于高级系统设计和分析的方法。斯普林格，海德堡（2003）·Zbl 1040.68042号 ·doi:10.1007/978-3642-18216-7
[10] 业务流程管理计划–对象管理组。业务流程建模符号，OMG（2006），http://www.bpmn.org
[11] Caseau，Y.：《城市化与BPM:le point de vue d'un DSI》，Dunod（2006）
[12] Caspi，P.，Hamon，G.，Pouzet，M.：Lucid Synchrone，《系统编程的非语言》。收录于：《时代系统：描述与验证的技术——理论与实践》，第217-260页。爱马仕国际出版公司（2006）
[13] Caspi，P.，Pouzet，M.：同步卡恩网络。In：程序。第一届ACM SIGPLAN函数编程国际会议，第226–238页（1996）·Zbl 1344.68049号 ·doi:10.1145/232627.232651
[14] Cha，D.P.，Rosenberg，J.J.，Dym，C.L.：工程系统建模与分析基础。剑桥大学出版社，剑桥（2000）
[15] 库索，P.，库索，R.：抽象解释：通过构造或近似不动点对程序进行静态分析的统一格模型。收录：第六届ACM SIGPLAN-SIGACT年度交响乐会Conf.Record。《编程语言原理》，洛杉矶，第238-252页。纽约ACM出版社（1977年）
[16] Cutland，N.：非标准分析及其应用。伦敦数学学会学生课本，第10卷。剑桥大学出版社，剑桥（1988）·Zbl 0644.0003号 ·doi:10.1017/CBO9781139172110
[17] De Alfaro，L.，Henziger，T.A.：基于界面的设计。收录：Broy，M.、Gruenbauer，J.、Harel，D.、Hoare，C.A.R.（编辑）《软件密集型系统的工程理论》。《北约科学丛书：数学、物理和化学》，第195卷，第83-104页。斯普林格，海德堡（2005）·数字对象标识代码：10.1007/1-4020-3532-2-3
[18] 弗利斯，M.：功能内尔导致非线性和非对易终止。牛市。社会数学。法国109，3-40（1981）·Zbl 0476.93021号
[19] Garmus，D.，Herron，D.：功能点分析：成功软件项目的度量实践。Addison-Wesley信息技术系列。艾迪森·韦斯利，雷丁（2000）
[20] Gold-Bernstein，B.，Ruh，W.：《企业集成：集成解决方案的基本指南》。Addison-Wesley信息技术系列。Addison-Wesley，雷丁（2004）
[21] Gunter，C.A.，Scott，D.：语义域。载于：《理论计算机科学手册》，B卷，第633–674页。Elsevier，阿姆斯特丹（1990）·Zbl 0900.68301号
[22] Halbwachs N.、Caspi P.、Raymond P.和Pilaud D.：同步数据流编程语言LUSTRE。IEEE会议录79（9），1305–1320（1991）·数字对象标识代码：10.1109/5.97300
[23] Harel，D.：状态图：复杂系统的视觉形式主义。计算机程序设计科学8（3），231-274（1987）·兹比尔0637.68010 ·doi:10.1016/0167-6423（87）90035-9
[24] 亨廷格，T.A.：混合自动机理论。摘自：第11届IEEE计算机科学逻辑研讨会论文集，LICS 1996，第278-292页。IEEE社会出版社，洛斯阿拉米托斯（1996）·Zbl 0959.68073号
[25] Henzinger，T.A.，Sifakis，J.：嵌入式系统设计挑战。收录：Misra，J.、Nipkow，T.、Sekerinski，E.（编辑）FM 2006。LNCS，第4085卷，第1-15页。斯普林格，海德堡（2006）·doi:10.1007/11813040_1
[26] IT工具箱，http://www.ittoolbox.com
[27] Kahn，G.：并行编程的简单语言的语义。In：程序。IFIP大会，第74卷，第471–475页（1974年）
[28] Katok，A.，Hasselblatt，B.：现代动力系统理论导论，剑桥（1996）·Zbl 0878.58020号
[29] Krob，D.，Bliudze，S.：面向复杂工业系统建模的功能形式主义。In:Bourgine，P.，KéPès，F.，Schoenauer，M.（编辑）欧洲复杂系统会议（ECCS 2005），第193条，20页（2005）·Zbl 1176.68081号
[30] Krob，D.，Bliudze，S.：面向复杂工业系统建模的功能形式主义。In:Complex Systems:Selected Papers ComPlexUs（即将发布）·Zbl 1176.68081号 ·数字对象标识代码：10.1159/000093688
[31] Lamport，L.：指定系统–硬件和软件工程师的TLA+语言和工具。Addison-Wesley，雷丁（2003）
[32] Le Guernic，P.，Gautier，T.：冯·诺依曼的数据流：信号方法。摘自：Gaudiot，J.-L.，Bic，L.（编辑）《数据流计算高级主题》，第413-438页。Prentice-Hall，Englewood Cliffs（1991）
[33] Maier，M.W.：系统和软件架构协调。系统工程9（2），146–159（2006）·doi:10.1002/sys.20050
[34] Manouvrier，B.:EAI——企业应用集成，爱马仕（2001）
[35] Marwedel，P.：嵌入式系统设计。Kluwer，Dordrecht（2003）
[36] Mathworks、Mathlab和Simulink，http://www.mathworks.com
[37] Mealy，G.H.：一种合成时序电路的方法。贝尔系统技术杂志34，1045–1079（1955）·doi:10.1002/j.1538-7305.1955.tb03788.x
[38] Meinadier，J.P.：Ingénierie et intégration de systèmes，爱马仕（1998）
[39] Meinadier，J.P.：《系统的完整性》，爱马仕·拉瓦锡（2002）
[40] Meyer，K.R.，Hall，G.R.：哈密顿动力系统和N体问题简介。应用数学科学，第90卷。斯普林格，海德堡（1992）·Zbl 0743.70006号 ·doi:10.1007/978-1-4757-4073-8
[41] Morley，C.，Hugues，J.，Leblanc，B.，Hugue，O.：《信息的过程》，Dunod（2005）
[42] Petri，C.A.：异步信息流理论基础。In：程序。1962年IFIP大会，第386–390页。荷兰北部，阿姆斯特丹（1963年）
[43] Proakis，J.：《数字通信》，第三版。McGraw-Hill，纽约（1995）·Zbl 0292.94002号
[44] Printz，J.、Deh，C.、Mesdon，B.、Trèves，B.：《项目信息的成本——估算模型》，爱马仕·拉瓦锡（2001）
[45] Reisig，W.：Petri网。斯普林格，海德堡（1985）·Zbl 0604.68068号 ·doi:10.1007/978-3-642-69968-9
[46] Rumbaugh，J.，Jacobson，I.，Booch，G.：统一建模语言参考手册。Addison-Wesley，雷丁（1999）
[47] Sage，A.P.，Armstrong，Jr.，J.E.：《系统工程导论》，John Wiley，Chichester（2000）
[48] Satzinger，J.W.，Jackson，R.B.，Burd，S.，Simond，M.，Villeneuve，M.：信息系统的分析与概念，Leséditions Reynald Goulet（2003）
[49] Schneider，K.：反应系统的验证——形式化方法和算法。斯普林格，海德堡（2004）·Zbl 1067.68092号 ·doi:10.1007/978-3-662-10778-2
[50] Severance，F.L.：系统建模与仿真——简介。约翰·威利，奇切斯特（2001）
[51] Sommerville，I.：软件工程，第6版。艾迪森·卫斯理，雷丁（2001）·Zbl 0679.68003号
[52] Spivey，J.M.：Z符号——参考手册。Prentice-Hall，Englewood Cliffs（1992年）·Zbl 0777.68003号
[53] SysML，系统建模语言-开源规范项目，http://www.sysml.org
[54] Tomas，J.L.：企业资源规划和项目管理集成–选择、部署和利用opeérationelle–SCM和CRM的基础，Dunod（2002）
[55] Turner，W.C.，Mize，J.H.，Case，K.E.，Nazemetz，J.W.：工业和系统工程导论。普伦蒂斯·霍尔，恩格尔伍德悬崖（1993）
[56] White，S.A.：BPMN简介，IBM（2006），http://www.bpmn.org
[57] Wordsworth，J.B.：与B.Addison-Wesley合作的软件工程，Reading（1996）·Zbl 0779.68004号
[58] Zayton，J.（编辑）：Systèmes dynamicques hybrides，爱马仕（2001）
[59] Zeigler，B.P.、Praehofer，H.、Gon Kim，T.：建模和仿真理论——集成离散事件和连续复杂动态系统。伦敦学术出版社（2000）
[60] Zschaler，S.：基于组件的软件的非功能属性的形式化规范。作者：Bruel，J.M.，Georg，G.，Hussmann，H.，Ober，I.，Pohl，C.，Whittle，J.，Zschaler，S.（编辑）基于组件的软件非功能方面模型研讨会（NfC 2004），德累斯顿理工大学（2004）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。