In this technical report, we present a generic approach for the integration of datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able to model dynamic aspects of complex systems with graphical user-friendly languages, and (ii) to be able to specify in a formal way and at a high abstraction level the datatypes pertaining to the sta...

Collaboration diagrams as described in the official UML documents specify patterns of system structure and interaction. In this paper, we propose their use for specifying, in addition, pre/postconditions and state transformations of operations and scenarios. This conceptual idea is formalized by means of graph transformation systems and graph process, thereby integrating the state transformatio...

X3D-UML utilises X3D (eXtensible 3D) to enable standards-based advanced 3D UML visualisations. Using X3D-UML, 3D UML State Machine Diagrams have been evaluated against actual user tasks and data, using the Sequential Evaluation methodology. The results of User Task Analysis, Heuristic Evaluation and Formative Evaluation phases provide clear evidence that the use of UML extended with 3D is a pra...

The aim of this study is to define a fuzzy based prediction system, that will accept the patient basic information as well as the symptoms as input and identify the chances of heart disease. The fuzzy based system is defined on multiple parameters based on which the patient disease analysis can be performed. The parameters taken in this work are Patient Age, Blood Pressure, Cholesterol Level an...

In this paper we investigate how the observation of symptoms which do not completely match a modeled fault can be used to find the most likely fault – and the degree to which this fault occurs. We start out by setting up fuzzy causal diagrams and then show how with the use of a proper operator the arcs of the causal diagram can be reversed. We introduce a graphical representation for fuzzy beli...

If software architecture is assigned with formal semantics, then automatic verification and validation can be performed during the process of model refinement. In this paper, we emphasized on the formal semantics of UML state diagrams oriented performance analysis. The exact definitions of the basic elements and composition mechanism of UML state diagrams are proposed, UML state diagrams is abs...

Algebraic graph transformation has been promoted by several authors as a means to specify model transformations. This paper explores how we can specify graph transformation-based rules for a classical problem of transforming from sequence diagrams to state machines. The specification of the transformation rules is based on the concrete syntax of sequence diagrams and state machines. We introduc...

An experimental environment has been built to reverse engineer the run-time behavior of Java software. Event trace information is generated as a result of running the target software under a debugger. The event trace is loaded to a prototype tool SCED [KMST98] as scenario diagrams. In SCED state diagrams can be generated automatically from a set of scenario diagrams. This facility is used to ex...

w w w . i j c s t . c o m InternatIonal Journal of Computer SCIenCe and teChnology 69 Abstract The State Chart Diagrams are used for analyzing the dynamic behavior of system. The understandably of State Chart Diagrams are important for the effective and clear communication among developers. In this paper we, propose a cohesion and coupling , as Average Cohesiveness of States (ACOS) and Average ...