The Experts below are selected from a list of 18 Experts worldwide ranked by ideXlab platform
Allame Mohaddes - One of the best experts on this subject based on the ideXlab platform.
-
evaluating reliability of System Sequence Diagram using fuzzy petri net
2009Co-Authors: Safaai Bin Deris, Allame MohaddesAbstract:142 Abstract-Since UML is semi formal, many researches and effort have been performed to transform this language in to formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative parameters could be achieved with more accuracy. Since the majority of the real world information is uncertain, therefore fuzzy UML Diagram has been extensively used by System analyzer. This paper attempts to transform System Sequence Diagram created in fuzzy UML into fuzzy Petri net. Then the reliability is calculated.
Safaai Bin Deris - One of the best experts on this subject based on the ideXlab platform.
-
evaluating reliability of System Sequence Diagram using fuzzy petri net
2009Co-Authors: Safaai Bin Deris, Allame MohaddesAbstract:142 Abstract-Since UML is semi formal, many researches and effort have been performed to transform this language in to formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative parameters could be achieved with more accuracy. Since the majority of the real world information is uncertain, therefore fuzzy UML Diagram has been extensively used by System analyzer. This paper attempts to transform System Sequence Diagram created in fuzzy UML into fuzzy Petri net. Then the reliability is calculated.
Wu Xue-hai - One of the best experts on this subject based on the ideXlab platform.
-
UML Representation of Privilege Management Infrastructure(PMI) technology
Journal of Yunnan University, 2006Co-Authors: Wu Xue-haiAbstract:The paper begins with a simple introduction of Privilege Management Infrastructure(PMI) and Unified Modeling Language(UML),then describes the conceptions of PMI based on UML.Using use case Diagram,System Sequence Diagram and interaction Diagram,it gives an UML analysis model about the basic function of PMI.
Holger Becht - One of the best experts on this subject based on the ideXlab platform.
-
Practical early-lifecycle application of human factors assessment
2012Co-Authors: Simon Connelly, Andrew Hussey, Holger BechtAbstract:Human Reliability Analysis (HRA) is often seen as a time consuming task, which requires significant expertise. This may lead to a reduced focus on the human in the loop, and a failure to consider both where human error and recovery may impact on System safety performance. Through the use of a case study involving a Positive Train Control (PTC) driver interface, this paper aims to examine whether early System architecture phase task analysis can produce meaningful results with little time overhead or human factors expertise. The approach which has been used was to conduct a task analysis on a System Sequence Diagram, identifying the high order goals and the individual driver tasks, including alternate paths. Once this task analysis was completed, a tailored FMECA was conducted to identify human failure modes which may lead to System hazards and to thereby limit the scope of the subsequent HRA. The criticality analysis was performed via a HEART analysis to estimate error likelihoods, and which also identified risk factors in the HMI design and operating environment. The outcomes of the case study were design requirements on the resulting driver interface, in addition to operating procedures, and training requirements. It is argued that the approach presented allows for an analysis to be conducted early in a System design lifecycle at low cost and with limited expertise, which adds to the overall safety argument for the end product.
Raul Sidnei Wazlawick - One of the best experts on this subject based on the ideXlab platform.
-
Functional Modeling with OCL Contracts
Object-Oriented Analysis and Design for Information Systems, 2020Co-Authors: Raul Sidnei WazlawickAbstract:Commands and queries identified in the System Sequence Diagram must be implemented. Contracts are high-level specifications for those operations. They may be written in natural language or in a formal language such as OCL. This chapter presents a writing discipline for OCL contracts that avoids ambiguous interpretations and that is relatively easy to read and write. Contracts are composed of preconditions, postconditions, exceptions, and return values. Contracts for CRUDs are presented as well as contracts for other operations found in System Sequence Diagrams.
