A graph transformation approach of mobile activity diagram to nested Petri nets

Faycal Guerrouf; Allaoua Chaoui; Ali Aldahoud

首页> 外文期刊>International Journal of Computer Aided Engineering and Technology >A graph transformation approach of mobile activity diagram to nested Petri nets

【24h】

A graph transformation approach of mobile activity diagram to nested Petri nets

机译：移动活动图到嵌套Petri网的图变换方法

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

UML is considered as the standard language for modelling object oriented software systems. Mobile activity diagram is an extension of the standard UML activity diagram that deals with the requirements to model, specify, and visualise mobile agent-based systems. However, it inherits its lack of formal notation for analysis and verification purposes. In this paper we propose an approach for transforming mobile activity diagrams to nested Petri nets models. The meta-modelling tool AToM~3 is used to create meta-models for mobile activity diagram and nested Petri net. A graph grammar is proposed for automatic transformation. An auctioning system example illustrates our proposed approach.

机译：UML被认为是建模面向对象软件系统的标准语言。移动活动图是标准UML活动图的扩展，它满足建模，指定和可视化基于移动代理的系统的要求。但是，它继承了缺乏形式符号来进行分析和验证的目的。在本文中，我们提出了一种将移动活动图转换为嵌套Petri网模型的方法。元建模工具AToM〜3用于创建移动活动图和嵌套Petri网的元模型。提出了一种用于自动转换的图文法。一个拍卖系统示例说明了我们提出的方法。

著录项

来源
《International Journal of Computer Aided Engineering and Technology》 |2013年第1期|44-57|共14页
作者
Faycal Guerrouf; Allaoua Chaoui; Ali Aldahoud;
展开▼
作者单位

Faculty of Science, Department of Computer Science, University of Batna, Batna, 05000, Algeria;

MISC Laboratory, University Mentouri Constantine, Route Ain Elbey, Constantine, 25000, Algeria;

Al-Zaytoonah University of Jordan, P.O. Box 130, Amman 11733, Jordan;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
unified modelling language; UML; mobile activity diagram; nested Petri net; meta-modelling; graph grammars; graph transformations; a tool for multi-formalism and meta-modelling; AToM~3;

机译：统一的建模语言;UML;移动活动图;嵌套的陪替氏网;元建模图文法图变换;多种形式主义和元建模的工具;AToM〜3;

相似文献

外文文献
中文文献
专利

1. Verifying SysML activity diagrams using formal transformation to Petri nets [J] . Huang Edward, McGinnis Leon F., Mitchell Steven W. Systems Engineering . 2020,第1期

机译：使用对Petri网的形式转换来验证SysML活动图
2. A structural approach to graph transformation based on symmetric Petri nets [J] . Lorenzo Capra The journal of logical and algebraic methods in programming . 2021,第Apra期

机译：基于对称Petri网的图形变换的结构方法
3. A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation [J] . Elhillali Kerkouche, Algeria Allaoua Chaoui, El Bay Bourennane, The Journal of object technology . 2010,第4期

机译：基于图变换的UML和彩色Petri网集成建模与分析方法
4. Transformation of Activity Diagram into Coloured Petri Nets Using Weighted Directed Graph [C] . Maryam Jamal, Nazir Ahmad Zafar International Conference on Frontiers of Information Technology . 2016

机译：使用加权有向图将活动图转换为有色Petri网
5. Transformation of a core scenario model and activity diagrams into Petri nets. [D] . Maqbool, Shahbaz. 2005

机译：将核心方案模型和活动图转换为Petri网。
6. Time-dependent structural transformation analysis to high-level Petri net model with active state transition diagram [O] . Chen Li, Masao Nagasaki, Ayumu Saito, 2010

机译：具有活动状态转移图的高阶Petri网模型的时变结构转换分析
7. Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets [O] . Rik Eshuis, Roel Wieringa 2002

机译：比较工作流建模的petri网和活动图变体 - 对反应petri网的探索

A graph transformation approach of mobile activity diagram to nested Petri nets

摘要

著录项

相似文献

相关主题

期刊订阅