scholarly journals Concurrency coverage criteria for activity diagrams

IET Software ◽  
2021 ◽  
Vol 15 (1) ◽  
pp. 43-54
Author(s):  
Mahesh Shirole ◽  
Rajeev Kumar
Keyword(s):  
Coverage Criteria ◽  
Activity Diagrams

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.

scholarly journals Thermodynamic Stabilities of U(VI) Minerals: Estimated and Observed Relationships

1996 ◽  
Vol 465 ◽  
Author(s):  
Robert J. Finch
Keyword(s):  
Gibbs Energy ◽  
Reaction Pathways ◽  
Free Energies ◽  
Fine Grained ◽  
Surface Energies ◽  
Stability Diagrams ◽  
Activity Diagrams ◽  
Mineral Stability ◽  
Mineral Compositions

ABSTRACTGibbs free energies of formation (ΔG°ƒ) for several structurally related U(VI) minerals are estimated by summing the Gibbs energy contributions from component oxides. The estimated ΔG°f values are used to construct activity-activity (stability) diagrams, and the predicted stability fields are compared with observed mineral occurrences and reaction pathways. With some exceptions, natural occurrences agree well with the mineral stability fields estimated for the systems Sio2-Cao-Uo3-UOH2O and Co2-caO-UO3-H2O providing confidence in the estimated thermodynamic values. Activity-activity diagrams are sensitive to small differences in ΔG°f values, and mineral compositions must be known accurately, including structurally bound H2O. The estimated ΔG°f values are not considered reliable for a few minerals for two major reasons: (1) the structures of the minerals in question are not closely similar to those used to estimate the ΔG°f* values of the component oxides, and/or (2) the minerals in question are exceptionally fine grained, leading to large surface energies that increase the effective mineral solubilities.

26: Reduction Mammaplasty: A Review of Managed Care Medical Policy Coverage Criteria

2006 ◽  
Vol 118 (Supplement) ◽  
pp. 22
Author(s):  
Jesse T. Nguyen ◽  
Michael J. Wheatley ◽  
Tuan A. Nguyen ◽  
Paul L. Schnur
Keyword(s):  
Managed Care ◽  
Reduction Mammaplasty ◽  
Coverage Criteria ◽  
Medical Policy

A formal verification framework for SysML activity diagrams

2014 ◽  
Vol 41 (6) ◽  
pp. 2713-2728 ◽  
Author(s):  
Samir Ouchani ◽  
Otmane Aït Mohamed ◽  
Mourad Debbabi
Keyword(s):  
Formal Verification ◽  
Activity Diagrams ◽  
Sysml Activity Diagrams
Sign in / Sign up

Export Citation Format

Share Document