×
朱莉娅·帕德伯格;哈特穆特·埃里格

基于转换的组件框架中的Petri网模块。 （英文） 兹比尔1088.68129

J.日志。代数。程序。 67，第1-2号，198-225（2006）.
概要：基于组件的软件工程需要有彻底的形式化概念和建模技术的支持。本文结合了两位作者在以前的论文中独立介绍的两个概念。一方面，2002年IDPT上引入的Petri网模块的概念J.帕德伯格[“Petri网模块”，J.Integrated Design Process Technol.6，105–120（2002）]，另一方面，FASE 2002引入了系统建模的通用组件框架H.Ehrig、F.Orejas、B.Braatz、M.Klein和M.Piirainen先生[“系统建模的通用组件框架”，见：《FASE’02会议录》，Lect.Notes Comput.Sci.2306，33–48（2002；Zbl 1059.68543号)]. 首先，我们开发了基于转换的组件方法的分类形式化，该方法基于推出。这是我们证明Petri网模块可以被视为通用组件框架的实例化的框架。这允许将通用框架基于转换的语义和组合结果应用于Petri网模型。除了通用Petri网模块之外，我们还引入了保留安全属性的Petri网模型，可以将其视为通用框架基于pushout形式化的另一个实例。

引用于三文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

组件;Petri网;基于转换的组件方法;Petri网模块;范畴理论

引文：

Zbl 1059.68543号
PDF格式BibTeX公司 XML格式引用
\textit{J.Padberg}和\textit{H.Ehrig}，J.Log。代数。程序。67，编号1--2，198-225（2006；Zbl 1088.68129）
全文： 内政部

参考文献：

[1] 巴蒂斯顿，E。；辛迪奥，F.D。；Mauri，G.，OBJSA网：一类将对象作为域的高级网，（Rozenberg，G，《Petri网的进展》，Petri网进展，计算机科学讲义，第340卷（1988），Springer），20-43·Zbl 0668.68068号
[2] 巴蒂斯顿，E。；辛迪奥，F.D。；Mauri，G。；Rapanotti，L.，OBJSA网的形态和最小模型，（第十二届国际Petri网应用和理论会议，第十二届Petri网国际应用和理论大会，计算机科学讲义，第524卷（1991），Springer），455-476
[3] Broy先生。；Streicher，T.，带单个标记的Petri网的模块化函数建模，（Petri网进展，Petri网发展，计算机科学讲义，第609卷（1992），Springer）
[4] Buchholz，P.，复杂系统分析的层次高级Petri网，（Petri网的应用和理论。Petri网应用和理论，计算机科学讲义，第815卷（1994），Springer），119-138
[5] Christinsen，S。；Hansen，N.，用同步通信信道扩展的有色Petri网，（Petri网的应用和理论。Petri网应用和理论，计算机科学讲义，第815卷（1994），Springer），159-178
[6] 戴特斯，W。；格鲁恩，V滑稽的net软件过程管理方法，国际软件工程与知识工程杂志，4，2，229-256（1994）
[7] 戴塞尔，J。；Juhás，G。；Lorenz，R.，部分代数上Petri网的过程语义，（第二十一届国际Petri网应用和理论会议论文集，第二十一届Petri网国际应用和理论大会论文集，计算机科学讲义，第1825卷（2000），Springer），146-165·Zbl 0986.68089号
[8] Ehrig，H。；哈贝尔，A。；Kreowski，H.-J。；Parisi-Prescce，F.，《从图文法到高级替换系统》，（计算机科学讲义，第532卷（1991年），Springer-Verlag），269-291·Zbl 0765.68088号
[9] Ehrig，H。；Mahr，B.，《代数规范基础》。2.模块规范和约束，EATCS理论计算机科学专著，第21卷（1990），Springer-Verlag:Springer-Verlag Berlin·Zbl 0759.68013号
[11] Ehrig，H。；Orejas，F。；Braatz，B。；克莱因，M。；Piirainen，M.，《系统建模的通用组件概念》（FASE’02会议录）。FASE’02会议录，计算机科学讲义，第2306卷（2002），斯普林格）·Zbl 1059.68543号
[13] Fehling，R.，《具有构建块的分层Petri网的概念》，（《Petri网进展》，93年）。1993年《Petri网进展》，计算机科学讲义，第674卷（1993年），施普林格出版社，148-168·Zbl 0825.00052号
[15] 格鲁恩，V。；Thiel，A.，Komponentenmodelle:DCOM、JavaBeans、EnterpriseJavaBeans，CORBA（2000），Addison-Wesley
[16] He，X.，层次谓词转移网的形式定义，（Petri网的应用与理论，Petri网应用与理论、计算机科学讲义，第1091卷（1996），Springer），212-229·Zbl 1418.68144号
[17] Jensen，K.，有色petri网。基本概念、分析方法和实际应用，EATCS理论计算机科学专著版，基本概念，第1卷（1992年），Springer-Verlag·Zbl 0762.68004号
[20] 梅塞盖尔，J。；Montanari，U.，Petri网是幺半群，信息与计算，88，2，105-155（1990）·Zbl 0711.68077号
[22] Padberg，J.，Petri网模块，《集成设计与工艺技术杂志》，6，4，105-120（2002）
[25] Padberg，J。；埃里格，H。；Ribeiro，L.，代数高级网络变换系统，计算机科学中的数学结构，52117-256（1995）·Zbl 0839.68068号
[26] Padberg，J。；Urbášek，M.，《基于规则的Petri网精化：一项调查》，（Ehrig，H.；Reisig，W.；Rozenberg，G.；Weber，H.，《Petri网的进展：基于通信系统建模的Petri网络技术》，《计算机科学讲义》，第2472卷（2002），施普林格）·Zbl 1283.68251号
[27] Sibertin-Blanc，C.，合作网，（Petri网的应用和理论’94。Petri网的应用和理论，《计算机科学讲义》，第815卷（1994年），施普林格出版社，471-490
[29] Szyperski，C.，《基于面向对象编程的组件软件》（1997），Addison-Wesley
[30] Weber，H.，《通信和软件基础设施的持续工程》，《计算机科学讲义》，第1577卷（1999年），Springer-Verlag，第22-29页
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。