Search results for "Semantics"
showing 10 items of 407 documents
Generation of User Interfaces from Business Process Model Notation (BPMN)
2019
Business Process Model Notation focuses on functional processes; so, the design of the interface generally depends on the subjective experience of the analyst. This thesis proposes a new method to generate interfaces from BPMN models. The idea is to identify rules from BPMN to interfaces in existing real projects. We have analyzed 7 Bizagi projects to generalize a list of rules. It has been done considering five BPMN patterns. Apart from BPMN primitives, there are rules that depend on elements of Class Diagrams to know how to generate the interfaces. When the rules have several alternatives to generate the interfaces, we need an unambiguous semantics to specify which alternative we are goin…
What is the Natural Abstraction Level of an Algorithm?
2021
Abstract State Machines work with algorithms on the natural abstraction level. In this paper, we discuss the notion of the natural abstraction level of an algorithm and how ASM manage to capture this abstraction level. We will look into three areas of algorithms: the algorithm execution, the algorithm description, and the algorithm semantics. We conclude that ASM capture the natural abstraction level of the algorithm execution, but not necessarily of the algorithm description. ASM do also capture the natural abstraction level of execution semantics.
Distributed Computing on Distributed Memory
2018
Distributed computation is formalized in several description languages for computation, as e.g. Unified Modeling Language (UML), Specification and Description Language (SDL), and Concurrent Abstract State Machines (CASM). All these languages focus on the distribution of computation, which is somewhat the same as concurrent computation. In addition, there is also the aspect of distribution of state, which is often neglected. Distribution of state is most commonly represented by communication between active agents. This paper argues that it is desirable to abstract from the communication and to consider abstract distributed state. This includes semantic handling of conflict resolution, e.g. i…
Sub-symbolic Encoding of Words
2003
A new methodology for sub-symbolic semantic encoding of words is presented. The methodology uses the WordNet lexical database and an ad hoc modified Sammon algorithm to associate a vector to each word in a semantic n-space. All words have been grouped according to the WordNet lexicographers’ files classification criteria: these groups have been called lexical sets. The word vector is composed by two parts: the first one, takes into account the belonging of the word to one of these lexical sets; the second one is related to the meaning of the word and it is responsible for distinguishing the word among the other ones of the same lexical set. The application of the proposed technique over all…
Knowledge Acquisition Based on Semantic Balance of Internal and External Knowledge
1999
This paper presents a strategy to handle incomplete knowledge during acquisition process. The goal of this research is to develop formal tools that benefit the law of semantic balance. The assumption is used that a situation inside the object’s boundary in some world should be in balance with a situation outside it. It means that continuous cognition of an object aspires to a complete knowledge about it and knowledge about internal structure of the object will be in balance with knowledge about relationships of the object with other objects in its environment. It is supposed that one way to discover incompleteness of knowledge about some object is to measure and compare knowledge about its …
A Formal Semantics and a Client Synthesis for a BPEL Service
2008
A complex Web service described with languages like BPEL4WS, consists of an executable process and its observable behaviour (called an abstract process) based on the messages exchanged with the client. The abstract process behaviour is non deterministic due to the internal choices during the service execution. Furthermore the specification often includes timing constraints which must be taken into account by the client. Thus given a service specification, we identify the synthesis of a client as a key issue for the development of Web services. To this end, we propose an approach based on (dense) timed automata to first describe the observable service behaviour and then to build correct inte…
The advantage of errorless learning for the acquisition of new concepts' labels in alcoholics
2009
BackgroundPrevious findings revealed that the acquisition of new semantic concepts' labels was impaired in uncomplicated alcoholic patients. The use of errorless learning may therefore allow them to improve learning performance. However, the flexibility of the new knowledge and the memory processes involved in errorless learning remain unclear.MethodNew concepts' labels acquisition was examined in 15 alcoholic patients and 15 control participants in an errorless learning condition compared with 19 alcoholic patients and 19 control subjects in a trial-and-error learning condition. The flexibility of the new information was evaluated using different photographs from those used in the learning…
Teaching and Learning School Informatics: A Concept-Based Pedagogical Approach
2009
While informatics is a well-established discipline in higher education around the world, it is not the case in secondary education, with the exception of a few countries. Generally, what is taught is not informatics as a subject with its own methods, concepts, and principles, but some software tools with the goal that the use is sufficient for students to acquire skills. In addition, an analysis of the current situation reveals that the real competencies of teachers and students in informatics are far weaker than might be expected in secondary education. This work proposes a concept-based pedagogical approach to school informatics. The aim is to provide the students with a more thorough und…
The neural basis of sublexical speech and corresponding nonspeech processing: a combined EEG-MEG study.
2014
Abstract We addressed the neural organization of speech versus nonspeech sound processing by investigating preattentive cortical auditory processing of changes in five features of a consonant–vowel syllable (consonant, vowel, sound duration, frequency, and intensity) and their acoustically matched nonspeech counterparts in a simultaneous EEG–MEG recording of mismatch negativity (MMN/MMNm). Overall, speech–sound processing was enhanced compared to nonspeech sound processing. This effect was strongest for changes which affect word meaning (consonant, vowel, and vowel duration) in the left and for the vowel identity change in the right hemisphere also. Furthermore, in the right hemisphere, spe…
Does conal prime CANAL more than cinal? Masked phonological priming effects in Spanish with the lexical decision task.
2005
Evidence for an early involvement of phonology in word identification usually relies on the comparison between a target word preceded by a homophonic prime and an orthographic control (rait-RATE vs. raut-RATE). This comparison rests on the assumption that the two control primes are equally orthographically similar to the target. Here, we tested for phonological effects with a masked priming paradigm in which orthographic similarity between priming conditions was perfectly controlled at the letter level and in which identification of the prime was virtually at chance for both stimulus onset asynchronies (SOAs) (66 and 50 msec). In the key prime-target pairs, each prime differed from the targ…