[PDF] Top 20 An enhanced UML consistency checker using logical approach

An enhanced UML consistency checker using logical approach

... define consistency as a state in which two or more overlapping elements of different software models make assertion about the aspects of the system they describe which are jointly ...of UML model as ... See full document

51

Logical Approach: Consistency Rules between Activity Diagram and Class Diagram

... to consistency checking has undergone a considerable boom from time to ...industry, UML modelling has been extensively used. The different forms of the UML model that characterise the system from ... See full document

8

Specification of vertical semantic consistency rules of UML class diagram refinement using logical approach

... both logical and physical as well as static and dynamic aspect of the system under design (Booch, ...achieved using the various diagrams of ...on UML, definition, and notations of a class ... See full document

38

An Enhanced Information Security System Using Orthogonal Codes and MRJTC

... Studies on image compression and steganography have been an active area of research from the beginning of the digital image processing. The use of preprocessing methods for improving compression rate and elevating the ... See full document

5

Tool support for a metamodeling approach for reasoning about requirements

... Using the Eclipse Test & Performance Tools Platform Project (TPTP) we did an Execution Time Analysis, to inspect which calls take a long time to finish. We could realize an optimization of a method in the ... See full document

111

A Logical Approach To The Statement Of Cash Flows

... this logical approach to preparing the indirect method statement of cash flows reasonably understandable and ...indirect approach of cash flow whereby an understanding is established together with ... See full document

10

A UML-based static verification framework for security

... on UML - pro- files ...of using UML’s graphical notation as the basis for expressing RBAC, with the power of dynamic authorisation con- straints, ...evaluate UML specifications for vulnerabil- ities ... See full document

24

A Facile Consistency Screening Approach to Select Cells with Better Performance Consistency for Commercial 18650 Lithium Ion Cells

... for consistency screening is even less than the measurement ...facile consistency screening approach to select cells with better consistency for commercial 18650 lithium ion ...certain ... See full document

20

Applying a Model Driven Architecture Approach: Transforming CIM to PIM Using UML

... of UML, and in particular classes and their ...the UML, including classes, associations, and ...simplified UML model based on a package containing the data types and ... See full document

12

Enterprise modeling:process and REA value chain perspective

... model using REA ontology. This rather static model is then converted into UML activity, sequence and state diagrams thus achieving dynamic view of the REA ...by using REA model transition called ... See full document

18

Deregressing estimated breeding values and weighting information for genomic regression analyses

... their approach to using EBV or deregressed data, and as to using the appropriate methods for weighting some data sources to account for heterogeneous ... See full document

9

Twins: Easy-managed location in self-organizing networks using Hilbert space-filling curves

... our approach, let us argue on the importance of associating logical to geographic ...the logical space, through a mathematical technique called space-filling ... See full document

22

Cloud Data Integrity Checker Using Tpa

... In this module, the user has to give request to download the file. This request will be stored and processed by the server to respond the user. It checks the appropriate sub server to assign the task. A job scheduler is ... See full document

6

Using UML for Automatic Test Generation

... In this paper, we describe an architecture for model-based verification and testing in which projected models are generated automatically for each specified purpose. We explain how these projected models can be ... See full document

10

A Secure Localization Approach against Wormhole Attacks Using Distance Consistency

... The pseudocode of the wormhole attack detection is shown in Algorithm 1. The sensor broadcasts a Loc req message for self-localization. When receiving the Loc req message, each N-locator replies a Loc ack message with ... See full document

11

Dependency Analysis using UML for Component based Software Systems: An XMI Approach

... parsing approach for extracting information related to component dependency is better than other approaches because by using the parser a large XMI file can be parsed in a short time providing accurate ... See full document

10

PLC Modeling and Checking Based on Formal Method

... model checker SPIN’s input language Promela is focused on describing the concurrent, so starting from this idea, we build these factors into several concurrent processes to fit the checking from SPIN, it will also ... See full document

6

A logical approach to A-Prolog

... A-Prolog (Stable Logic Programming [2] or Answer Set Programming) is the realization of much theoretical work on Nonmonotonic Reasoning and AI ap- plications of Logic Programming (LP) in the last 15 years. The main ... See full document

12

An Analysis and New Methodology for Reverse Engineering of UML Behavioral

... of UML diagrams ...an approach for the extraction of UML sequence diagrams from code through building the control flow ...an approach to build a high-level sequence diagram incrementally from ... See full document

5

The MOUSE approach : mapping ontologies using UML for system engineers

... Alignment Format [Euzenat 2010] was developed to express a set of pairs of mapping elements from source and target ontologies in an XML format. This syntax describes the general mapping information with the properties: ... See full document

255