We propose a new approach to check whether a given UML class diagram with its OCL integrity constraints satisfies a set of desirable properties such as schema satisfiability, class liveliness, redundancy of integrity constraints or reachability of partially specified states. Our approach is based on translating both the class diagram and the OCL constraints into a logic representation. Then, we...

Web Service is an interface which implements business logic. Performance is an important quality aspect of Web services because of their distributed nature. Predicting the performance of web services during early stages of software development is significant. In this paper we model web service using Unified Modeling Language, Use Case Diagram, Sequence Diagram, Deployment Diagram. We obtain the...

Determination of the starter torque-speed diagram is a major task in the design or selection of a proper gas turbine starter. In this paper, the maximum power of the MGT-40 gas turbine starter was calculated based on the dynamics of the rotor, start-up logic, and compressor map. In a recent research, the pressure ratio was assumed as a linear function of the rotor speed and the required starter...

This paper discusses picture logic, a visual language for the specification of diagrams and diagram transformations. Formal specification techniques for diagrammatic or visual languages have previously mainly been targeted towards static diagrammatic languages. For reasoning about certain types of diagrams, however, formalizing a notion of change is inevitable. This is particularly true of visu...

A detailed study of an S = 1 2 spin ladder model is given. The ladder consists of plaquettes formed by nearest neighbor rungs with all possible SU(2)-invariant interactions. For properly chosen coupling constants, the model is shown to be integrable in the sense that the quantum YangBaxter equation holds and one has an infinite number of conserved quantities. The R-matrix and L-operator associa...

This paper emphasize on controlling the process variable parameters such as level and flow with real time implementation of gate control of hydroelectric power plant using Programmable Logic Controller. In this work, a programmable logic controller is used as an industrial computer playing the role of a control device and push buttons, level and flow sensors provide incoming signals to the cont...