ANALYSIS OF IDIOMATIC EMOTION EXPRESSIONS DETECTED FROM ONLINE MOVIE REVIEWS

A large number of idiomatic emotion expressions in Korean are composed of certain nouns of human body parts accompanied by selected predicates, which represent a ‘physiological metonymy’ of sentiment (Lakoff 1987, Ungerer & Schmid 1996)or instance, kasum-i ttwita literally means a physiological reaction (i.e. one’s heart beat) but also can represent the emotion like being thrilled to bits. We compared idiomatic emotion expressions used in English online movie reviews and those observed in Korean, and noticed that the nouns of body parts such as kasum ‘heart’, maum ‘mind’ or nwun ‘eyes’ emerge frequently in both languages, whereas ekkay ‘shoulder’, kancang ‘intestines’ or ppye ‘bones’ seem to be rather reserved for Korean emotion expressions. In this study, we extract idiomatic emotion expressions based on the 13 nouns of body parts listed by Lim (2001) from Korean online movie reviews. For instance, nouns such as meli ‘head’, ip ‘mouth’ or simcang ‘cardia’ are frequently used for constituting the emotion expressions of POSITIVE values as shown in ip-ul tamwul-swu epsta ‘be with open mouth (with delight) these nouns hardly occur in NEGATIVE emotion expressions, which is not predictable from their semantic features, but reveals their lexical idiosyncrasy. The frequent emotion expressions observed in online movie reviews will be analyzed and classified according to their semantic properties. We will show what salient traits of Korean emotion expressions can be remarked in current online subjective documents such as users’ reviews, blogs or opinion texts

OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse

OpenJML is a tool for checking code and specifications of Java programs. We describe our experience building the tool on the foundation of JML, OpenJDK and Eclipse, as well as on many advances in specification-based software verification. The implementation demonstrates the value of integrating specification tools directly in the software development IDE and in automating as many tasks as possible. The tool, though still in progress, has now been used for several college-level courses on software specification and verification and for small-scale studies on existing Java programs.Comment: In Proceedings F-IDE 2014, arXiv:1404.578

New urban Soundscapes: Angklung Buskers in Yogyakarta

Caratterizzati da una costante sovrapposizione di stimoli acustici di diversa natura, i paesaggi sonori delle realtà metro- politane contemporanee sono entità composite di difficile interpretazione. Entro questi contesti, tuttavia, la produzione di musica dal vivo ha senza dubbio un ruolo cruciale nella costruzione degli spazi sonori pubblici e dell’immaginario acustico ad essi associato. Nel presente articolo sono presentati alcuni risultati di una ricerca svolta a Yogyakarta (Giava, Indonesia) su un particolare fenomeno di musica di strada, le angklung bands: gruppi di musicisti di strada che si guadagna- no da vivere esibendosi quotidianamente negli spazi più trafficati della città. Applicando il metodo etnografico dell’osservazione partecipante, è stata documentata l’attività di questi musicisti, indagandone storie di vita, prassi performative e repertori, considerando la complessità del feno- meno e il suo rapporto “osmotico” con l’ambiente urbano Yogyanese. Descrivendo questo specifico caso di studio, si cercherà di dimostrare come una pratica musicale apparentemente marginale possa avere una funzione importante nella costruzione di una realtà acustica metropolitana, sino a divenirne un’impronta sonora. Il saggio è corredato da esempi video che illustrano la pratica musicale in analisi e consentono di valutarne l’impatto sul paesaggio sonoro circostante.Being characterized by a constant overlapping of different kinds of acoustic stimuli, contemporary metropolitan soundscapes are composite entities that are rather difficult to interpret. Within these contexts however, the production of live music undoubtedly has a crucial role in the construction of sonic public spaces and of the acoustic ideas and concepts that are associated with them. This paper presents some results of a research conducted in Yogyakarta (Java, Indonesia) regarding a particular kind of street music, i.e. the angklung bands: groups of buskers who make a living by performing every day in the most crowded spaces of the city. By applying the ethnographic method of participant observation, the activity of these musicians was documented, together with their life stories, repertoires and performative practices. In addition, the complexity of the phenomenon and its “osmotic” relationship with the Yogyanese urban context was carefully considered. This specific case study is utilized in order to show how an apparently marginal musical practice has had a significant function in the construction of a metropolitan acoustic environment, to the extent of becoming one of its soundmarks. This paper is accompanied by several video examples, which illustrate how the musical practice analyzed is conducted and make it possible to evaluate its impact on the surrounding soundscape

Kompics: a message-passing component model for building distributed systems

The Kompics component model and programming framework was designedto simplify the development of increasingly complex distributed systems. Systems built with Kompics leverage multi-core machines out of the box and they can be dynamically reconfigured to support hot software upgrades. A simulation framework enables deterministic debugging and reproducible performance evaluation of unmodified Kompics distributed systems. We describe the component model and show how to program and compose event-based distributed systems. We present the architectural patterns and abstractions that Kompics facilitates and we highlight a case study of a complex distributed middleware that we have built with Kompics. We show how our approach enables systematic development and evaluation of large-scale and dynamic distributed systems

A Systematic Aspect-Oriented Refactoring and Testing Strategy, and its Application to JHotDraw

Aspect oriented programming aims at achieving better modularization for a system's crosscutting concerns in order to improve its key quality attributes, such as evolvability and reusability. Consequently, the adoption of aspect-oriented techniques in existing (legacy) software systems is of interest to remediate software aging. The refactoring of existing systems to employ aspect-orientation will be considerably eased by a systematic approach that will ensure a safe and consistent migration. In this paper, we propose a refactoring and testing strategy that supports such an approach and consider issues of behavior conservation and (incremental) integration of the aspect-oriented solution with the original system. The strategy is applied to the JHotDraw open source project and illustrated on a group of selected concerns. Finally, we abstract from the case study and present a number of generic refactorings which contribute to an incremental aspect-oriented refactoring process and associate particular types of crosscutting concerns to the model and features of the employed aspect language. The contributions of this paper are both in the area of supporting migration towards aspect-oriented solutions and supporting the development of aspect languages that are better suited for such migrations.Comment: 25 page