Automated Patch Generation for Fixing Semantic Errors in ATL Transformation Rules

2021 ◽  
Author(s):  
Zahra VaraminyBahnemiry ◽  
Jessie Galasso ◽  
Khalid Belharbi ◽  
Houari Sahraoui
Keyword(s):  
Transformation Rules ◽  
Semantic Errors

TRANSLATION ERRORS OF FLIGHT ATTENDANT STUDENTS OF PSPP YOGYAKARTA

2018 ◽  
Vol 14 (1) ◽  
Author(s):  
Heri Wira Andesta ◽  
I Wayan Dirgayasa ◽  
Eddy Setia
Keyword(s):  
Data Analysis ◽  
Flight Attendant ◽  
Semantic Errors ◽  
Translation Errors

This research dealt with Translation Errors of Flight Attendant Students of PSPP Yogyakarta in translating flight attendant announcement. The aims of this study were (1) To investigate the kinds of error in translating flight attendant announcement made by flight attendant students, and (2) To explain the reasons of the students made the errors. The method used in this research is descriptive qualitative.The subjects are nineteenfligth attendant students of PSPP Yogyakarta. The instruments for collecting data aretranslation testand interview. The translation test was used to obtain the kinds of error, and the interview was used to obtain the reasons of flight attendant students made the errors.The data were analyzed by Miles and Hubberman and saldana’s data analysis. The result of this research showed that (1)there are five kinds of error made by flight attendant students,but they are not proportional distributed the example,semantic errors(43.69), and errors in the production of verb group (5.63). (2) there arethreecauses of error made by flight attendant students,but they are not proportional distributed the example,intralingual transfer (58.26), and translation (8.66). Keywords: Flight Attendant Student, Translation Errors

Slurs and Obscenities

2018 ◽  
Author(s):  
Geoffrey K. Pullum
Keyword(s):  
Self Presentation ◽  
Semantic Errors

Words are often assumed to have denotations linking them to concepts, and we use a word with a certain denotation when we want to convey to our interlocutor the concept to which it is linked. Obscene swearwords and offensive slurs reveal the simplistic character of this view. Issues of style, tone, esthetics, etiquette, attitude, and self-presentation arise; semantics, pragmatics, sociolinguistics, and anthropology are involved in clarifying them. After surveying some semantic and pragmatic preliminaries, the chapter delves into the lexicography of obscene and offensive terms. There are some flagrant semantic errors in trusted dictionaries. Experienced lexicographers get many simple meanings badly and obviously wrong. Part of the explanation may lie in a desire to distance the dictionary’s authority from the pejorative content. Correcting such entries involves recognizing that words have nonlinguistic properties as well as linguistic ones.

INSTANCE MIGRATION BETWEEN ONTOLOGIES HAVING STRUCTURAL DIFFERENCES

2011 ◽  
Vol 20 (06) ◽  
pp. 1127-1156 ◽  
Author(s):  
MAXIM DAVIDOVSKY ◽  
VADIM ERMOLAYEV ◽  
VYACHESLAV TOLOK
Keyword(s):  
Knowledge Management ◽  
Life Cycle ◽  
Structural Changes ◽  
Software Framework ◽  
Ontology Alignment ◽  
Transformation Rules ◽  
Structural Differences ◽  
Prototype Software ◽  
Descriptive Theories ◽  
Future Work

Ontology instance migration is one of the complex and not fully solved problems in knowledge management. A solution is required when the ontology schema evolves in the life cycle and the assertions have to be transferred to the newer version. The problem may become more complex in distributed settings when, for example, several autonomous software entities use and exchange partial assertional knowledge in a domain that is formalized by different though semantically overlapping descriptive theories. Such an exchange is essentially the migration of the assertional part of an ontology to other ontologies belonging to or used by different entities. The paper presents our method and tool for migrating instances between the ontologies that have structurally different but semantically overlapping schemas. The approach is based on the use of the manually coded transformation rules describing the changes between the input and the output ontologies. The tool is implemented as a plug-in for the ProjectNavigator prototype software framework. The article also reports the results of our three evaluation experiments. In these experiments we evaluated the degree of complexity in the structural changes to which our approach remains valid. We also chose the ontology sets in one of the experiments to make the results comparable with the ontology alignment software. Finally we checked how well our approach scales with the increase of the quantity of the migrated ontology instances to the numbers that are characteristic to industrial ontologies. In our opinion the evaluation results are satisfactory and suggest some directions for the future work.

Formal Verification of Transformation Rules for Speculative Execution in Real-Time Systems

1996 ◽  
Vol 29 (6) ◽  
pp. 9-17
Author(s):  
Mohamed Younis ◽  
Grace Tsai ◽  
Thomas Marlowe ◽  
Alexander Stoyenko
Keyword(s):  
Formal Verification ◽  
Real Time ◽  
Speculative Execution ◽  
Real Time Systems ◽  
Transformation Rules ◽  
Time Systems

scholarly journals Where Do Semantic Errors Come From?

Cortex ◽  
1990 ◽  
Vol 26 (1) ◽  
pp. 95-122 ◽  
Author(s):  
Alfonso Caramazza ◽  
Argye E. Hillis
Keyword(s):  
Semantic Errors

W-ALGEBRA REALIZATIONS AND W-GRAVITY ANOMALIES

1991 ◽  
Vol 06 (32) ◽  
pp. 2995-3003 ◽  
Author(s):  
C. M. HULL ◽  
L. PALACIOS
Keyword(s):  
Path Integral ◽  
Current Algebra ◽  
Gravity Anomalies ◽  
Normal Ordering ◽  
Path Integral Quantization ◽  
Transformation Rules ◽  
Higher Derivative ◽  
Quantum Current ◽  
Boson Model ◽  
Background Charge

The coupling of scalars fields to chiral W3 gravity is reviewed. In general the quantum current algebra generated by the spin-two and three currents does not close when the "natural" regularization (corresponding to the normal ordering with respect to the modes of ∂ϕi) is used, and the non-closure reflects matter-dependent anomalies in the path integral quantization. We consider the most general modification of the current, involving higher derivative "background charge" terms, and find the conditions for them to form a closed algebra in the "natural" regularization. These conditions can be satisfied only for the two-boson model. In that case, it is possible to cancel all the matter-dependent anomalies by adding finite local counter terms to the action and modifying the transformation rules of the fields.

Formal Metamodeling for Secure Model-Driven Engineering

2021 ◽  
Vol 12 (2) ◽  
pp. 46-67
Author(s):  
Liliana Maria Favre
Keyword(s):  
Cloud Computing ◽  
Formal Specifications ◽  
Model Driven Engineering ◽  
Model Driven ◽  
Transformation Rules ◽  
Systematic Development ◽  
Definition Of ◽  
Context Specific ◽  
Theoretical Foundations

Systems and applications aligned with new paradigms such as cloud computing and internet of the things are becoming more complex and interconnected, expanding the areas in which they are susceptible to attacks. Their security can be addressed by using model-driven engineering (MDE). In this context, specific IoT or cloud computing metamodels emerged to support the systematic development of software. In general, they are specified through semiformal metamodels in MOF style. This article shows the theoretical foundations of a method for automatically constructing secure metamodels in the context of realizations of MDE such as MDA. The formal metamodeling language Nereus and systems of transformation rules to bridge the gap between formal specifications and MOF are described. The main contribution of this article is the definition of a system of transformation rules called NEREUStoMOF for transforming automatically formal metamodeling specifications in Nereus to semiformal-MOF metamodels annotated in OCL.

Semantic Errors in Python

2017 ◽  
pp. 27-41
Author(s):  
Kristian Rother
Keyword(s):  
Semantic Errors
Sign in / Sign up

Export Citation Format

Share Document