共查询到20条相似文献,搜索用时 394 毫秒
1.
2.
3.
4.
5.
6.
以输送机器人生产线控制系统设计为例,提出将基于Petri网的Stateflow建模仿真方法应用于PLC控制软件的开发过程中。首先利用Petri网对系统控制功能进行分析,结果表明系统在运行时序上存在并行冲突,采用Petri网的数学建模功能协调冲突后,通过可达图验证了此Petri网模型是安全无死锁的;其次在上述基础上将Petri网与Stateflow组成元素相对应并进行转换;最后利用Simulink构建模型进行系统仿真分析,证明输送机器人生产线控制逻辑正确,状态转移有效。 相似文献
7.
8.
9.
如何利用广义随机Petri网对WS-BPEL描述语言进行建模、验证以及评价,进而实现对Web服务组合过程可靠性和性能的分析,一直都是领域研究中的难点和热点。首先,给出WS-BPEL业务流程到GSPN的映射规则和转换方法;并通过对GSPN模型进行可达性和不变量分析,实现对WS-BPEL业务流程正确性的验证;然后,借助构造与GSPN模型同构的马尔可夫链,完成对系统性能的分析;最后,以某实例为分析对象,对模型的正确性和有效性进行了验证。 相似文献
10.
11.
Using a stochastic modeling approach based on the Unified Modeling Language and enriched with annotations that conform to the UML profile for schedulability performance, and time, the authors propose a method for assessing quality of service (QoS) in fault-tolerant (FT) distributed systems. From the UML system specification, they produce a generalized stochastic Petri net (GSPN) performance model for assessing an FT application's QoS via stochastic analysis. The ArgoSPE tool provides support for the proposed technique, helping to automatically produce the GSPN model. 相似文献
12.
Kyriakos Anastasakis Behzad Bordbar Geri Georg Indrakshi Ray 《Software and Systems Modeling》2010,9(1):69-86
The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application
has been specified, Model Driven Architecture (MDA) techniques can be applied to generate code from such specifications. Since
implementing a system based on a faulty design requires additional cost and effort, it is important to analyse the UML models
at earlier stages of the software development lifecycle. This paper focuses on utilizing MDA techniques to deal with the analysis
of UML models and identify design faults within a specification. Specifically, we show how UML models can be automatically
transformed into Alloy which, in turn, can be automatically analysed by the Alloy Analyzer. The proposed approach relies on
MDA techniques to transform UML models to Alloy. This paper reports on the challenges of the model transformation from UML
class diagrams and OCL to Alloy. Those issues are caused by fundamental differences in the design philosophy of UML and Alloy.
To facilitate better the representation of Alloy concepts in the UML, the paper draws on the lessons learnt and presents a
UML profile for Alloy. 相似文献
13.
Ammar H.H. Islam S.M.R. 《IEEE transactions on pattern analysis and machine intelligence》1989,15(6):809-820
A time-scale decomposition (TSD) algorithm of a class of generalized stochastic Petri net (GSPN) models of systems comprising activities whose duration differ by orders of magnitude is presented. The GSPN model of a system can be decomposed into a hierarchical sequence of aggregated subnets, each of which is valid at a certain time scale. These smaller subnets are solved in isolation and their solutions are combined to get the solution of the whole system. A degradable multiprocessor system which would be intractable using conventional techniques, is analyzed using TSD. The complexity of the TSD algorithm can be orders of magnitude smaller without any significant loss in the accuracy of the result. In general, the error due to aggregation is proportional to the maximum degree of coupling between aggregates. An expression of the error due to aggregation is also given in terms of the ratio of fast and slow transitions in the GSPN model. The algorithm is easy to use and can be easily automated 相似文献
14.
Helena Szczerbicka 《Performance Evaluation》1992,14(3-4):217-226
In this paper the performability analysis of fault-tolerant computer systems using a hierarchical decomposition technique is presented. A special class of queueing network (QN) models, the so-called BCMP [4], and generalized stochastic Petri nets (GSPN) [1] which are often used to separately model performance and reliability respectively, have been combined in order to preserve the best modelling features of both.
A conceptual model is decomposed into GSPN and BCMP submodels, which are solved in isolation. Then, the remaining GSPN portion of the model is aggregated with flow-equivalents of BCMP models, in order to compute performability measures. The substitutes of BCMP models are presented by means of simple GSPN constructs, thereby preserving the 1st and 2nd moments of the throughput. A simple example of a data communication system where failed transmissions are corrected, is presented. 相似文献
15.
16.
一种UML 软件架构性能预测方法及其自动化研究 总被引:2,自引:0,他引:2
软件性能需求作为软件质量需求的重要组成部分,已受到人们极大的重视.而只在软件开发周期后期才重点关注软件性能需求的传统软件开发方法,将给开发者带来高风险和高成本等后果.如果能在软件开发周期的早期对软件系统性能进行预测,可以提前发现软件系统架构存在的性能瓶颈,并找出可能的优化方案,对各种设计方案进行比较以得出最优的软件系统架构.研究了一种基于模型的UML 软件架构性能预测方法:该方法选取软件架构设计中的UML 用例图、活动图和构件图,并引入构造型和标记值,将它们扩展为UML SPT 模型;进而,通过转换算法将UML SPT 模型转换为排队网络模型,该算法可处理同时包含分支节点和汇合节点的UML 模型活动图;最后,利用频域分析理论求解排队网络模型,以得出性能参数及性能瓶颈.同时介绍了UML 软件架构性能自动化工具的设计方案,并给出了软件架构性能预测实例. 相似文献
17.
18.
José A. Cruz-Lemus Marcela Genero M. Esperanza Manso Sandro Morasca Mario Piattini 《Empirical Software Engineering》2009,14(6):685-719
The main goal of this work is to present a family of empirical studies that we have carried out to investigate whether the
use of composite states may improve the understandability of UML statechart diagrams derived from class diagrams. Our hypotheses
derive from conventional wisdom, which says that hierarchical modeling mechanisms are helpful in mastering the complexity
of a software system. In our research, we have carried out three empirical studies, consisting of five experiments in total.
The studies differed somewhat as regards the size of the UML statechart models, though their size and the complexity of the
models were chosen so that they could be analyzed by the subjects within a limited time period. The studies also differed
with respect to the type of subjects (students vs. professionals), the familiarity of the subjects with the domains of the
diagrams, and other factors. To integrate the results obtained from each of the five experiments, we performed a meta-analysis
study which allowed us to take into account the differences between studies and to obtain the overall effect that the use
of composite states has on the understandability of UML statechart diagrams throughout all the experiments. The results obtained
are not completely conclusive. They cast doubts on the usefulness of composite states for a better understanding and memorizing
of UML statechart diagrams. Composite states seem only to be helpful for acquiring knowledge from the diagrams. At any rate,
it should be noted that these results are affected by the previous experience of the subjects on modeling, as well as by the
size and complexity of the UML statechart diagrams we used, so care should be taken when generalizing our results. 相似文献
19.
Martin Gogolla Paul Ziemann Sabine Kuske 《Electronic Notes in Theoretical Computer Science》2003,72(3):160
Recently, we proposed an integrated formal semantics based on graph transformation for central aspects of UML class, object and state diagrams. In this paper, we explain the basic ideas of that approach and show how two more UML diagram types, sequence and collaboration diagrams, can be captured. For UML models consisting of a class diagram and particular state diagrams, a graph transformation system can be defined. Its graphs are associated with system states and its rules with operations in the class diagram and transitions in the state diagrams. Sequence and collaboration diagrams then characterize sequences of operation applications and therefore sequences of transformation rule applications. Thus valid sequence and collaboration diagrams correspond to derivations induced by the graph transformation system. Proceeding this way, it can be checked for example whether such an operation application sequence may be applied in a specific system state. 相似文献
20.
Aspect-Oriented Modeling (AOM) techniques allow software designers to isolate and address separately solutions for crosscutting
concerns (such as security, reliability, new functional features, etc.). Current AOM research is concerned not only with the
separate expression of concerns and their composition into a complete system model, but also with the analysis of different
properties of such models. This paper proposes an approach for analyzing the performance effects of a given aspect on the
overall system performance, after the composition of the aspect model with the system’s primary model. Performance analysis
of UML models is enabled by the “UML Performance Profile for Schedulability, Performance and Time” (SPT) standardized by OMG,
which defines a set of quantitative performance annotations to be added to a UML model. The first step of the proposed approach
is to add performance annotations to both the primary and the aspect models. An aspect model is generic at first, and therefore
its performance annotations must be parameterized. A generic model is converted into a context-specific aspect model with
concrete values assigned to its performance annotations. The latter is composed with the primary model, generating a complete
annotated UML model. The composition is performed in both structural and behavioural views. A novel approach for composing
activity diagrams based on graph-rewriting concepts is proposed in the paper. The next step is to transform automatically
the composed model into a Layered Queueing Network (LQN) performance model, by using techniques developed in previous work.
The proposed approach is illustrated with a case study system, whose primary model is enhanced with some security features
by using AOM. The performance effects of the security aspect under consideration are analyzed in two design alternatives,
by solving and analyzing the LQN model of the composed system. 相似文献