From UML activity diagrams to Stochastic Petri nets

2004 ◽  
Author(s):  
Juan Pablo López-Grao ◽  
José Merseguer ◽  
Javier Campos
Keyword(s):  
Petri Nets ◽  
Stochastic Petri Nets ◽  
Activity Diagrams ◽  
Uml Activity Diagrams

From UML activity diagrams to Stochastic Petri nets

2004 ◽  
Vol 29 (1) ◽  
pp. 25-36 ◽  
Author(s):  
Juan Pablo López-Grao ◽  
José Merseguer ◽  
Javier Campos
Keyword(s):  
Petri Nets ◽  
Stochastic Petri Nets ◽  
Activity Diagrams ◽  
Uml Activity Diagrams

VERIFYING ASPECT-ORIENTED MODELS AGAINST CROSSCUTTING PROPERTIES

2013 ◽  
Vol 23 (05) ◽  
pp. 655-676 ◽  
Author(s):  
ZHANQI CUI ◽  
LINZHANG WANG ◽  
XI LIU ◽  
LEI BU ◽  
JIANHUA ZHAO ◽  
...  
Keyword(s):  
Petri Nets ◽  
Design Problems ◽  
Design Models ◽  
Crosscutting Concerns ◽  
Activity Diagrams ◽  
Development Processes ◽  
Uml Activity Diagrams ◽  
Verification Process ◽  
Aspect Oriented Modeling ◽  
Verification Techniques

Dealing with crosscutting concerns has been a critical problem in software development processes. To facilitate handling crosscutting concerns at design phases, we proposed an aspect-oriented modeling and integration approach with UML activity diagrams. The primary concerns are depicted with UML activity diagrams as primary models, whereas crosscutting concerns are described with aspectual extended activity diagrams as aspect models. Aspect models can be integrated into primary models automatically. The AOM approach can reduce the complexity of design models. However, potential faults that violate desired properties of the software system might still be introduced during the modeling or integration processes. The verification technique is well-known for its ability to assure the correctness of models and uncover design problems before implementation. We propose a framework to verify aspect-oriented UML activity diagrams based on Petri net verification techniques. For verification purpose, we transform the integrated activity diagrams into Petri nets and prove the consistency of the transformation. Then, crosscutting concerns in system requirements are refined to properties in the form of CTL formulas. Finally, the Petri nets are verified against the formalized properties to report whether the aspect-oriented design models satisfies the requirements. Furthermore, we implement a tool named Jasmine-AOV to support the verification process. Case studies are conducted to evaluate the effectiveness of the proposed approach.

Towards Open Graphical Tool-Building Framework

2011 ◽  
Vol 43 (1) ◽  
pp. 80-87 ◽  
Author(s):  
Edgars Rencis ◽  
Janis Barzdins ◽  
Sergejs Kozlovics
Keyword(s):  
Deep Understanding ◽  
Easy Task ◽  
Domain Specific ◽  
Activity Diagrams ◽  
Graphical Tool ◽  
One Step ◽  
Uml Activity Diagrams ◽  
Definition Of ◽  
Tool Building

Towards Open Graphical Tool-Building Framework Nowadays, there are many frameworks for developing domain-specific tools. However, if we want to create a really sophisticated tool with specific functionality requirements, it is not always an easy task to do. Although tool-building platforms offer some means for extending the tool functionality and accessing it from external applications, it usually requires a deep understanding of various technical implementation details. In this paper we try to go one step closer to a really open graphical tool-building framework that would allow both to change the behavior of the tool and to access the tool from the outside easily. We start by defining a specialization of metamodels which is a great and powerful facility itself. Then we go on and show how this can be applied in the field of graphical domain-specific tool building. The approach is demonstrated on an example of a subset of UML activity diagrams. The benefits of the approach are also clearly indicated. These include a natural and intuitive definition of tools, a strict logic/presentation separation and the openness for extensions as well as for external applications.

Extended Stochastic Petri Nets: Applications and Analysis.

1984 ◽  
Author(s):  
J. B. Dugan ◽  
K. S. Trivedi ◽  
R. M. Geist ◽  
V. F. Nicola
Keyword(s):  
Petri Nets ◽  
Stochastic Petri Nets
Sign in / Sign up

Export Citation Format

Share Document