文件大小：0.64 MB 15页
UML交互与状态机会面——一种制度方法
作者
-
部分： 体积： 第七届计算机科学代数和余代数会议（CALCO 2017）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 计算机科学代数和余代数会议（CALCO） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2017-11-17
文件
文件标识符
引用为 获取BibTex
摘要
关键词
统一建模语言 状态机 相互作用 复合结构图 机构 多视图一致性
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
Umesh Bellur和V.Vallieswaran。 论迭代开发中的面向对象设计一致性。 过程中。 3《国际信息技术大会：新一代》（ITNG'06），第46-51页。 IEEE，2006年。 
-
Mihai Codescu、Till Mossakowski、Don Sannella和Andrzej Tarlecki。 规范细化：微积分、工具和应用程序。 科学。 公司。 掠夺。， 2017年。出庭。
-
格雷戈·恩格斯（Gregor Engels）、莱科·赫克尔（Reiko Heckel）和约琴·马尔特·库斯特（Jochen Malte Küster）。 一致性工作台：基于UML的开发中的一致性管理工具。 佩迪塔·史蒂文斯（Perdita Stevens）、乔恩·惠特尔（Jon Whittle）和格雷迪·布奇（Grady Booch），编辑，Proc。 6superscriptth Intl.Conf.统一建模语言（UML'03），Lect Notes Comp.第2863卷。 科学。 斯普林格，2003年。
-
何塞·路易斯·菲亚德罗（JoséLuiz Fiadeiro）。 《软件工程分类》，斯普林格出版社，2005年。
-
马丁·格劳尔。 分层UML状态机研究所。 马格德堡奥托·冯·盖里奇大学硕士论文，2015年。
-
Joseph A.Goguen和Rod M.Burstall。 机构：规范和编程的抽象模型理论。 美国医学会期刊，39:95-1461992年。
-
约瑟夫·戈根（Joseph A.Goguen）和格里戈·罗什（Grigore Rošu）。 机构形态。 正式Asp。 公司。， 13:274-307, 2002.
-
罗尔夫·亨尼克（Rolf Hennicker）、米歇尔·比多特（Michel Bidoit）和唐松丹（Thanh-Son Dang）。 通信组件的同步和异步兼容性。 Alberto Lluch-Lafuente和JoséProença，编辑，Proc。 18上标IFIP WG 6.1国际协调模型和语言（Coordination’16），Lect第9686卷。 票据构成。 科学。， 第138-156页。 斯普林格，2016年。
-
亚历山大·纳普（Alexander Knapp）和蒂尔·莫萨科夫斯基（Till Mossakowski）。 UML中的多视图一致性，2016年。 网址： https://arxiv.org/abs/1610.03960 . -
亚历山大·克纳普、蒂尔·莫萨科夫斯基和马库斯·罗根巴赫。 UML中异构形式化开发的制度框架。 一份立场文件。 Rocco De Nicola和Rolf Hennicker，软件、服务和系统编辑。 《马丁·威辛从编程与软件工程主席退休之际致辞》，Lect第8950卷。 票据构成。 科学。， 第215-230页。 斯普林格，2015年。
-
亚历山大·纳普（Alexander Knapp）、蒂尔·穆萨科夫斯基（Till Mossakowski）、马库斯·罗根巴赫（Markus Roggenbach）和马丁·格拉尔（Martin Glauer）。 简单UML状态机研究所。 在Alexander Egyed和Ina Schaefer，编辑，Proc。 18上标国际通用软件工程基本方法（FASE'15），Lect第9033卷。 票据构成。 科学。， 第3-18页。 斯普林格，2015年。
-
亚历山大·纳普（Alexander Knapp）和乔森·伍特克（Jochen Wuttke）。 UML 2.0交互的模型检查。 在Thomas Kühne，编辑，报告Rev.Sel。 Ws.s Symp.s MoDELS 2006年论文集，Lect第4364卷。 票据构成。 科学。， 第42-51页。 施普林格，2007年。
-
凯文·拉诺，编辑。 UML 2：语义和应用。 威利，2009年。
-
Till Mossakowski、Mihai Codescu、Fabian Neuhaus和Oliver Kutz。 分布式本体、建模和规范语言DOL。 阿诺德·科斯洛和阿瑟·布赫斯鲍姆主编，《通向通用逻辑的路——庆祝Jean-Yves Beziau 50岁生日》，第二卷，《通用逻辑研究》。 Birkhäuser，2015年。
-
Till Mossakowski、Christian Maeder和Klaus Lüttich。 异构工具集。 Orna Grumberg和Michael Huth，编辑，Proc。 13上标：《用于系统构建和分析的国际协调工具和算法》（TACAS'07），Lect第4424卷。 票据构成。 科学。， 第519-522页。 施普林格，2007年。
-
尤利安·奥贝尔（Iulian Ober）和尤利亚·德拉戈米尔（Iulia Dragomir）。 明确的UML复合结构：OMEGA2经验。 在《Ivana Cerná》、《Tibor Gyimothy》、《Juraj Hromkovic》、《Keith G.Jeffery》、《Rastislav Královic》，《Marko Vukolic》和《Stefan Wolf》编辑，Proc。 37上标Conf.计算机科学理论与实践的当前趋势（SOFSEM’11），Lect第6543卷。 票据组成。 科学。， 第418-430页。 施普林格，2011年。
-
对象管理组。 统一建模语言2.5。 标准形式/2015-03-01，OMG，2015。 网址： http://www.omg.org/spec/UML/2.5 . -
对象管理组。 分布式本体、建模和规范语言（DOL）1.0-Beta。 标准ptc/2016-02-37，OMG，2016。 网址： http://www.omg.org/spec/DOL/ . -
Holger Rasch和Heike Wehrheim。 检查UML图中的一致性：类和状态机。 编辑Elie Najm、Uwe Nestmann和Perdita Stevens，Proc。 6上标IFIP WG 6.1《开放式基于对象的分布式系统的国际协调形式方法》（FMOODS’03），Lect第2884卷。 票据组成。 科学。， 第229-243页。 斯普林格，2003年。
-
托比亚斯·罗森伯格。 《在机构框架中关联UML状态机和交互》，奥格斯堡大学硕士论文，2017年。
-
卢茨·施罗德（Lutz Schröder）、蒂尔·莫萨科夫斯基（Till Mossakowski）和克里斯托夫·吕斯（Christoph Lüth）。 《制度框架中的类型阶级多态性》，JoséLuiz Fiadeiro编辑，Rev.Sel。 论文17上标国际文集《代数发展技术的最新趋势》（WADT'04），Lect第3423卷。 票据构成。 科学。， 第234-248页。 斯普林格，2005年。