oalib
Search Results: 1 - 10 of 100 matches for " "
All listed articles are free for downloading (OA Articles)
Page 1 /100
Display every page Item
Some Rules to Transform Activity Diagrams into Colored Petri Nets  [PDF]
Bhawana Agarwal
International Journal of Recent Technology and Engineering , 2012,
Abstract: This paper presents a set of rules that allows software engineers to transform the behavior described by a UML 2.0 Activity Diagram (AD) into a Colored Petri Net (CPN). ADs in UML 2.0 are much richer than in UML 1.x, namely by allowing several traces to be combined in a unique diagram, using high-level operators over interactions. The main purpose of the transformation to Petri nets is to use the theoretical results in the Petri nets domain to analyze the equivalent Petri nets and infer properties of the original workflow. Thus, non-technical stakeholders are able to discuss and validate the captured requirements. The usage of this model is an important topic , since it permits the user to discuss the system behavior using the problem domain language. A small control application from industry is used to show the applicability of the suggested rules.
A method for enterprise architecture validation with colored Petri Nets
Mohammad Sadegh Alishahi,Ali Harounabadi,Seyed Javad Mirabedini
Management Science Letters , 2012,
Abstract: Architecture includes so many documents where each describes one part of an enterprise. The problem in using such descriptions is on how to consider and use all components. Therefore, in order to organize the descriptions of enterprise architecture, we should use a framework. C4ISR is one of the enterprise architectural frameworks, which includes three views, contains some products. In order to show the products, this framework needs a unified notation, which covers all the products with various views. Unified Modeling Language (UML) prepares such situation. But in order to decrease the expenses of enterprise architectural productions process, the architectural products shall be evaluated before the architectural implementation level happens. In this article, a simple way for validation of enterprise architectural products with Colored Petri Nets is presented to evaluate true behavior of architectural products well.
Evaluation of software architecture using fuzzy colored Petri nets  [PDF]
Vahid Abroshan,Ali Harounabadi,Seyed Javad Mirabedini
Management Science Letters , 2013,
Abstract: Software Architecture (SA) is one of the most important artifacts for life cycle of a software system because it incorporates some important decisions and principles for the system development. On the other hand, developing the systems based on uncertain and ambiguous requirement has been increased, significantly. Therefore, there have been significant attentions on SA requirements. In this paper, we present a new method for evaluation of performance characteristics based on a use case, response time, and queue length of SA. Since there are some ambiguities associated with considered systems, we use the idea of Fuzzy UML (F-UML) diagrams. In addition, these diagrams have been enriched with performance annotations using proposed Fuzzy-SPT sub profile, the extended version of SPT profile proposed by OMG. Then, these diagrams are mapped into an executable model based on Fuzzy Colored Petri Nets (FCPN) and finally the performance metrics are calculated using the proposed algorithms. We have implemented CPN-Tools for creating and evaluating the FCPN model.
Method of Analyzing Requirements of Weapon Equipment Architecture Based on UML and Petri Net
基于UML 和Petri 网的武器装备体系需求分析方法

SHEN Ru-song,ZHANG Yu-lin,
沈如松
,张育林

系统工程理论与实践 , 2006,
Abstract: According to its characteristics,weapon equipment architecture was divided into logical architecture and physical architecture.The process of analyzing requirements of the architecture was given.The method and steps of describing weapon equipment requirements using UML were discussed.Taking ocean surveillance and hitting target architecture as example,its physical architecture and logical architecture were described by using of activity diagram and collaboration diagram in UML from top level,respectively.The mapping relations between the static architecture model built using UML and the dynamic model built using colored stochastic Petri net were presented.The evaluation model for the example was made.Some logical performances of the architecture was analyzed preliminarily using the reachable tree approach.In the process of building the architecture models and evaluation model,all models not only maintain continuity,but also reflect the different aspects of the architecture from different angles.Hence,unity between the models is guaranteed,and the architecture can also be analyzed completely.
Interrelation of Languages of Colored Petri Nets and Some Traditional Languages  [PDF]
Goharik R. Petrosyan, Andrey M. Avetisyan, Lilit A. Ter-Vardanyan
Open Journal of Modelling and Simulation (OJMSi) , 2013, DOI: 10.4236/ojmsi.2013.13005
Abstract: The article studies the interrelation of Languages of Colored Petri Nets and Traditional formal languages. The author constructed the graph of Colored Petri Net, which generates L* Context-free language. This language may not be modeled using standard Petri Nets [1]. The Venn graph and diagram that the author modified [1], show the interrelation between languages of Colored Petri Nets and some Traditional languages. Thus the class of languages of Colored Petri Nets is supposed to include an entire class of Context-free languages.
Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS  [PDF]
K. Lano,S. Kolahdouz-Rahimi,K. Maroukian
Computer Science , 2013, DOI: 10.4204/EPTCS.135.13
Abstract: This paper provides a solution to the Petri-Nets to statecharts case using UML-RSDS. We show how a highly declarative solution which is confluent and invertible can be given using this approach.
On the Use of Graph Transformation in the Modeling and Verification of Dynamic Behavior in UML Models  [cached]
Elhillali Kerkouche,Allaoua Chaoui,El Bay Bourennane,Ouassila Labbani
Journal of Software , 2010, DOI: 10.4304/jsw.5.11.1279-1291
Abstract: The use of the UML specification language for modelling dynamic behaviors of systems is very widespread. UML Statecharts and Collaboration diagrams are widely used to model dynamic behaviors of systems. However, the lack of firm semantics for the UML modeling notations makes the detection of behavioral inconsistencies difficult in the initial phases of development. The use of formal methods makes such error detection possible but the learning cost is high. Integrating UML with a suitable formal notation is a promising approach that makes UML more precise and amenable to rigorous analysis. In this paper, we present the benefits of a similar approach that is the integration of UML Statechart and Collaboration diagrams and Colored Petri Nets models. The result is an automated approach and a tool environment that formally transforms dynamic behaviors of systems expressed using UML models into their equivalent Colored Petri Nets models for analysis purposes. To make the analysis easier, the obtained models are used to generate automatically their equivalent description in the input language of the INA Petri net analyzer. The approach is based on Graph Transformation and the Meta-Modeling tool ATOM3 is used. The approach is illustrated through an example.
Modeling and Validation of the Dynamic Host Configuration Protocol with Colored Petri Nets
Farhad Soleimanian Gharehchopogh,Reza Soufizadeh
International Journal of Electrical and Computer Engineering , 2012, DOI: 10.11591/ijece.v2i3.488
Abstract: Petri Networks with a graphical language are based on mathematical logic which have many uses and have capability for modeling and validation of distributed systems and concurrent applications. Colored Petri Networks (CPNs) are a type of Petri Network models that are used in modeling of systems which contain discrete and scattered events. In general, CPNs are used to evaluate system performance and demonstrate the correctness of systems. Dynamic Host Configuration Protocol (DHCP) is one of the main systems of protocols special for servers that are used for dynamic allocation of IP to the network computers (clients). In this paper, we highlight to analyze the correctness and authenticity of DHCPs with the use of CPNs with using the CPN Tools and to prove the accuracy of our protocol's performance.
Modeling and Analysis of Electronic Commerce Protocols Using Colored Petri Nets  [cached]
Yang Xu,Xiao yao Xie,Huan guo Zhang
Journal of Software , 2011, DOI: 10.4304/jsw.6.7.1181-1187
Abstract: Electronic commerce protocols are the basis of security in electronic commerce. Therefore, it is essential to ensure these protocols correctly. With the ideas of ZQ logic and the security protocols analysis method using Colored Petri Nets, a new method synthesizing ZQ logic and Colored Petri Nets is presented to analyze electronic commerce protocols. The new method is suitable for analyzing both accountability and fairness. However, it needs not to establish a dispute settlement model. Moreover, the ISI protocol is chosen to illustrate how an electronic commerce protocol is analyzed using the new method. An insecure state of the ISI protocol is found. Thus, the ISI protocol does not achieve accountability and fairness. The result is the same as the one in [10] where ZQ logic is used. These are stunning confirmations of the validity of the new method for analyzing electronic commerce protocols.
UML和着争PETRI网在物资采购建模中的应用
周维,王明哲
计算机系统应用 , 2002,
Abstract: 本文讨论了如何用当今流行的建模语言UML对系统进行建模,列出了一个完整的物资采购实例,通过这个实例分析建模的全部过程,提出UML作为建模语言本身存在的问题,并就存在的问题提出了着色Petri的解决方案。将UML和Petri网联合起来对系统进行建模。
Page 1 /100
Display every page Item


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.