Jeeg: Temporal Constraints for the Synchronization of Concurrent Objects

We introduce Jeeg, a dialect of Java based on a declarative replacement of the synchronization mechanisms of Java that results in a complete decoupling of the 'business' and the 'synchronization' code of classes. Synchronization constraints in Jeeg are expressed in a linear temporal logic which allows to effectively limit the occurrence of the inheritance anomaly that commonly affects concurrent object oriented languages. Jeeg is inspired by the current trend in aspect oriented languages. In a Jeeg program the sequential and concurrent aspects of object behaviors are decoupled: specified separately by the programmer these are then weaved together by the Jeeg compiler

CrocoPat 2.1 Introduction and Reference Manual

CrocoPat is an efficient, powerful and easy-to-use tool for manipulating relations of arbitrary arity, including directed graphs. This manual provides an introduction to and a reference for CrocoPat and its programming language RML. It includes several application examples, in particular from the analysis of structural models of software systems.Comment: 19 pages + cover, 2 eps figures, uses llncs.cls and cs_techrpt_cover.sty, for downloading the source code, binaries, and RML examples, see http://www.software-systemtechnik.de/CrocoPat

Automating Fine Concurrency Control in Object-Oriented Databases

Several propositions were done to provide adapted concurrency control to object-oriented databases. However, most of these proposals miss the fact that considering solely read and write access modes on instances may lead to less parallelism than in relational databases! This paper cope with that issue, and advantages are numerous: (1) commutativity of methods is determined a priori and automatically by the compiler, without measurable overhead, (2) run-time checking of commutativity is as efficient as for compatibility, (3) inverse operations need not be specified for recovery, (4) this scheme does not preclude more sophisticated approaches, and, last but not least, (5) relational and object-oriented concurrency control schemes with read and write access modes are subsumed under this proposition

Possessives and beyond : semantics and syntax

Recent work on the semantics of possessives has evinced a resurgence of interest in the substantive nature and provenance of the possessive relation (e.g. Barker 1995; Partee and Borschev 1998, 2000a, 2000b; Borschev and Partee 2001; Vikner and Jensen 2002) *. A more systematic account of these relations is made possible by developments in lexical semantic theories, which have given rise to a weakly polymorphic view of the syntax-lexical semantics interface, whereby lexical items are underspecified to some degree, and dependent on the selectional properties of other elements in their immediate syntactic environment (e.g. Pustejovsky 1995, 1998). While various approaches subscribe to some version of these hypotheses, there are important theoretical differences between them with respect to the domain in which knowledge is considered to lie, whether it is encoded in a sort system underlying the lexicon, or whether it is construed as ‘world knowledge’ (cf. Dölling 1995, 1997). This paper endorses the view that the lexicon should be imputed with a limited amount of knowledge, organised as a sort inheritance hierarchy (Pustejovsky 1995). It attempts to extend the approach to possessive relations proposed by Jensen and Vikner (1994, 2004; Vikner and Jensen, 2002), based on the Generative Lexicon, to a particular class of possessive constructions. Such constructions, exemplified by expressions like a women’s magazine, are often ambiguous between a regular, relational interpretation and an alternative ‘modificational’ interpretation. Anticipating the outcome of the analysis, the latter will be referred to as Generic Possessives (GPs). Focusing on data from Maltese, I will show that the possessor NP in these constructions is kind-denoting. I will argue that the GP expresses a relation holding between the entity denoted by the head noun and putative realizations of the kind denoted by the possessor NP.peer-reviewe