×
曼弗雷德·布罗伊

多功能软件系统：功能需求的结构化建模和规范。 （英语） Zbl 1211.68112号

科学。计算。程序。 75，第12期，1193-1214（2010）.
摘要：本文讨论了多功能系统接口行为的结构化规范，多功能系统是指为不同目的和用例提供各种功能的系统。它介绍了多功能系统功能需求的识别、结构化建模和形式化方法的理论和第一个概念。服务层次结构根据其提供的称为服务的子功能及其相互关系和依赖性来指定多功能系统。服务层次结构以结构化的方式描述多功能系统的功能。每个服务都是独立指定的，规范被添加到服务层次结构中。模式有助于指定功能交互以及服务之间的功能依赖性。该方法基于Focus理论，用于对接口行为和服务进行建模。

MSC公司：

68N99型 软件理论

关键词：

功能规范;多功能系统;功能要求;服务层次结构;接口
PDF格式BibTeX公司 XML格式引用
\textit{M.Broy}，科学。计算。程序。75，第12号，1193--1214（2010；Zbl 1211.68112）
全文： 内政部

参考文献：

[1] S.Apel，Ch.Lengauer，B.Möller，Ch.Kästner，《基于特征的自动程序合成的代数基础》。《计算机程序设计科学》（SCP），2010年，出版中（doi:10.1016/j.scico.2010.01）·Zbl 1209.68129号
[2] Batory，D。；Benavides博士。；Ruiz Cortes，A.：《特征模型的自动化分析：未来的挑战》，美国计算机学会通讯49，第12期，45-47页（2006年）
[3] 布罗伊，M。；Stölen，K.：交互系统的规范和开发：关注流、接口和优化（2001）·Zbl 0981.68115号
[4] Broy，M.：建模服务和分层体系结构，计算机科学讲义276748-61（2003）·Zbl 1279.68063号
[5] Broy，M.：《消息序列图的语义和方法本质》，《计算机编程科学》，SCP 54，第2–3期，213-256（2004）·Zbl 1085.68011号 ·doi:10.1016/j.scico.2004.04.003
[6] Broy，M.：面向服务的系统工程：服务和分层体系结构的规范和设计——janus方法，47-81（2005）
[7] Broy，M.：信息学的“大挑战”：工程软件密集型系统，IEEE计算机，72-80（2006）
[8] 布罗伊，M。；Krüger，I。；Meisinger，M.：服务的正式模型，TOSEM–ACM软件工程和方法交易16，第1期（2007年）
[9] 考尔德，M。；Magill，E.：电信和软件系统中的特征交互，（2000年）
[10] Cockburn，A.：编写有效的用例，（2000年）
[11] Czarnecki，K。；艾森内克，U.W.：生成性编程，（2000）·Zbl 1048.68673号
[12] M.Deubler，Dienst-orientierte Softwaresysteme:Anforderungen und Entwurf，论文，Fakultät für Informatik，慕尼黑理工大学，2008年。
[13] 菲尔曼，R。；Elrad，T。；克拉克，S。；Aksit，M.：面向方面的软件开发，（2004）
[14] 吉布森，P。；Méry，D.：用于更好地理解特征交互问题的服务的形式化建模，计算机科学讲义1755，155-179（2000）·Zbl 0970.68720号
[15] David Harel：《视觉形式主义》，《ACM通讯》第31期，第5期，第514-530页（1988年）
[16] ITU-T建议Z.120消息序列图（MSC），2004年。
[17] 雅各布森（Jacobson），伊瓦尔（Ivar）：《用例和方面——无缝协作》，《对象技术杂志》（Journal for object technology）第2期，第4期，第7-28页（2003年）
[18] K.Kang，S.Cohen，J.Hess，W.Novak，A.Peterson，面向特征的领域分析（FODA）可行性研究，技术报告CMU/SEI-90-TR-021。
[19] Krüger，I。；格罗苏，R。；Scholz，P。；Broy，M.：从理科硕士到国家图表，（1999）
[20] S.Mauw，M.Reniers，高级消息序列图，收录于：SDL’97：测试时间-SDL，MSC和趋势。程序。1997年SDL论坛，第291-306页。
[21] S.Nejati，M.Sabetzadeh，S.Uchitel，P.Zave，《朝向进化系统的成分合成》，2008年11月《FSE’08会议录》。
[22] Parnas，D.：《关于将系统分解为模块的标准》，ACM通信15，1053-1058（1972）
[23] Prehofer，Ch.：功能的即插即用组合以及与状态图的功能交互，（2004）
[24] S.Rittmann，探索面向服务的汽车系统软件开发，Diplomarbeit，慕尼黑理工大学，2004年。
[25] S.Rittmann，《多功能系统使用行为建模方法》，论文，Fakultät für Informatik，慕尼黑理工大学，2008年。
[26] C.Salzmann，Modellbaseerter Entwurf spontaner Komponentensysteme，论文，Fakultät für Informatik，慕尼黑理工大学，2002年。
[27] Schätz，B.：从函数构建组件，理论计算机科学电子笔记160（2005）
[28] Schätz，B。；Salzmann，C.：《基于服务的系统工程：服务的一致组合》，Lncs 2885（2003）
[29] K.J.Turner，《智能网络中的相关服务和功能》，载于：I.Lovrek（Ed.），《第四届国际电信会议论文集》，萨格勒布，1997年，第235-243页。
[30] G.Booch，J.Rumbaugh，I.Jacobson，面向对象开发的统一建模语言，1.0版，理性软件合作。
[31] Zave，P。；Jackson，M.：需求工程的四个黑暗角落，软件工程和方法论的ACM事务（1997）
[32] Zave，P.：《演进系统的需求：电信视角》，2-9（2001）
[33] Zave，P.：三个具有挑战性特征的建筑，176-187（2001）
[34] Zave，P.：特性工程实验，编程方法，353-377（2003）
[35] Zave，P.：基于组件的电信服务开发经验，Lncs 3489298-305（2005）
[36] P.Zave，voice-over-IP中的音频功能交互。摘自：《IP电信原理、系统和应用会议记录》，2007年。
[37] Zave，P。；Goguen，H.H。；Smith，Th.M.：《组件协调：电信案例研究》，《计算机网络》45，第5期，645-664（2004）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。