TESTING PROCESS OF FUNCTIONAL MODELS TRANSFORMATION BASED ON HYBRID METHODS
Annotation
Task of transformation of IDEF0 formal models into UML class diagrams based on hybrid methods including translation rules’ ontological design is discussed. Mechanism of transformation rules’ creation and equivalence testing of source and derived models is examined.
Keywords
Постоянный URL
Articles in current issue
- AGENT-BASED SYSTEM MODELING LANGUAGE
- AGENT-BASED APPROACH FOR CONFIGURATION OF VIRTUAL ENTERPRISES
- BUILDING COOPERATIVE SELF-ORGANISING NETWORKS: MAJOR TASKS AND TECHNOLOGIES
- ANALYSIS OF CREDIT BASED MECHANISM OF NETWORK WORM EPIDEMICS DETECTION AND CONTAINMENT
- SOFTWARE PROTECTION MODEL BASED ON REMOTE ENTRUSTING MECHANISM
- FILTERING POLICY VERIFICATION BASED ON EVENT CALCULUS AND ABDUCTION REASONING
- COMPARISON OF METHODS FOR LOCALISATION OF MULTIMODAL SYSTEM USER BY HIS SPEECH
- AUTOMATIC SYNTACTIC ANALYSIS OF RUSSIAN TEXTS BASED ON THE PHRASESTRUCTURE GRAMMAR
- CONSIDERING THE PECULIARITY OF SPONTANEOUS SPEECH AT THE DEVELOPING AUTOMATIC SPEECH RECOGNITION SYSTEM
- CHOOSING THE MODEL OF FUNCTIONING OF A TECHNICAL SYSTEM FROM THE SET OF ITS ALTERNATIVE MODELS
- DYNAMIC MODEL OF INTEGRATED PLANNING AND SCHEDULING FOR MODERNIZATION AND FUNCTIONING OF INFORMATION SYSTEM
- USING MULTI-AGENT SIMULATOR FOR MODELING DISTRIBUTED SYSTEM
- INTELLIGENT MONITORING SYSTEM OF THE ESPECIALLY DANGEROUS PROCESSES