In the UML, sequence diagrams are used to state scenarios, i.e., examples of interactions between objects. As such, sequence diagrams are being developed in the early design phases where requirements on the system are being captured. Their intuitively appealing character and conceptual simplicity makes them an ideal tool for formulating simple properties on a system, even for non-experts. Besid...

In this paper, our focus of attention is the proper propagationof fuzzy degrees in determinization of $Nondeterministic$ $Fuzzy$$Finite$ $Tree$ $Automata$ (NFFTA). Initially, two determinizationmethods are introduced which have some limitations (one inbehavior preserving and other in type of fuzzy operations). Inorder to eliminate these limitations and increasing theefficiency of FFTA, we defin...

This research puts forward rough finite state automata which have been represented by two variants of BDD called ROBDD and ZBDD. The proposed structures have been used in networked system diagnosis and can overcome cominatorial explosion. In implementation the CUDD - Colorado University Decision Diagrams package is used. A mathematical proof for claimed complexity are provided which shows ZBDD ...

The present paper concerns with the characteristic semigroup of input independent and state independent fuzzy automaton. Apart from the relationship between input independent and state independent fuzzy automaton, various properties of characteristic semigroups of state independent fuzzy automaton are established. Also, quasi-perfect fuzzy automaton and quasi strongly connected fuzzy automaton ...

There are many methods for numerical solutions of integral equations. In various branches of science and engineering, chemistry and biology, and physics applications integral equation is provided by many other authors. In this paper, a simple numerical method using a fuzzy, for the numerical solution of the integral equation with the weak singular kernel is provided. Finally, by providing three...

This paper compares state-equation models to state-machine models. It compares continuous system models to discrete system models. The examples were designed to be at the same level of abstraction. This paper models these systems with the following methods: the state-space approach of Linear Systems Theory, set-theoretic notation, block diagrams, use cases, UML diagrams and SysML diagrams. This...

The classical ergodic theory hasbeen built on σ-algebras. Later the Individual ergodictheorem was studied on more general structures like MV-algebrasand quantum structures. The aim of this paper is to formulate theIndividual ergodic theorem for intuitionistic fuzzy observablesusing  m-almost everywhere convergence, where  m...

We present an institution for UML state machines without hierarchical states. The interaction with UML class diagrams is handled via institutions for guards and actions, which provide dynamic components of states (such as valuations of attributes) but abstract away from details of class diagrams. We also study a notion of interleaving product, which captures the interaction of several state mac...

the traditional event tree analysis uses a single probability to represent each top event. however, it is unrealistic to evaluate the occurrence of each event by using a crisp value without considering the inherent uncertainty and imprecision a state has. the fuzzy set theory is universally applied to deal with this kind of phenomena. the main purpose of this study is to construct an easy metho...

| This paper presents a new approach to representing and detecting computer penetrations in real-time. The approach, called state transition analysis, models penetrations as a series of state changes that lead from an initial secure state to a target compromised state. State transition diagrams, the graphical representation of penetrations, identify precisely the requirements for and the compro...