Specifying Executable Platform-Independent Models using OCL

Model-driven architecture aims at describing a system using a platform-independent model in sufficient detail so that the full implementation of the system can be generated from this model and a platform model. This implies that the platform-independent model must describe the static structure as well as the dynamic behavior of the system. We propose a declarative language for describing the behavior of platform-independent models based on a hybrid notation that uses graphical elements as well as textual elements in the form of OCL code snippets. Compared to existing approaches based on action languages it is situated at a higher level of abstraction and, through a clean separation of modifier operations and query operations, simplifies the comprehension of the behavioral aspects of the platform-independent system

Feature interaction in composed systems. Proceedings. ECOOP 2001 Workshop #08 in association with the 15th European Conference on Object-Oriented Programming, Budapest, Hungary, June 18-22, 2001

Feature interaction is nothing new and not limited to computer science. The problem of undesirable feature interaction (feature interaction problem) has already been investigated in the telecommunication domain. Our goal is the investigation of feature interaction in componet-based systems beyond telecommunication. This Technical Report embraces all position papers accepted at the ECOOP 2001 workshop no. 08 on "Feature Interaction in Composed Systems". The workshop was held on June 18, 2001 at Budapest, Hungary

CoReL: Policy-Based and Model-Driven Regulatory Compliance Management

Regulatory compliance management is now widely recognized as one of the main challenges still to be efficiently dealt with in information systems. In the discipline of business process management in particular, compliance is considered as an important driver of the efficiency, reliability and market value of companies. It consists of ensuring that enterprise systems behave according to some guidance provided in the form of regulations. This paper gives a definition of the research problem of regulatory compliance. We show why we expect a formal policy-based and model-driven approach to provide significant advantages in allowing enterprises to flexibly manage decision-making related to regulatory compliance. For this purpose, we contribute CoReL, a domain-specific modeling language for representing compliance requirements that has a graphical concrete syntax. Informal semantics of CoReL are introduced and its use is illustrated on an example. CoReL allows to leverage business process compliance modeling and checking, enhancing it with regard to, among other dimensions, user-friendliness, genericity, and traceability

Preface Volume 65, Issue 4

AbstractThis volume contains the Proceedings of the First Workshop on Software Composition (SC 2002). The Workshop has been held in Grenoble, France on April 7th, 2001, as a satellite event of ETAPS 2002.The aim of the SC Workshop is to collect different approaches and experiences in the domain of software composition. Component-based approaches to produce software from smaller units attract increasing attention of both research and industry. The rational behind this trend is in the promise of reuse. This is the idea to produce software by “plug & play” components which already exist or are produced by different external vendors. Components and software composition are considered to be a new way to overcome the remaining problems (e.g. reusability, deal with complexity) still not solved by the object-oriented paradigm.In this context, the SC workshop collects different approaches and experiences to explore and overcome the gap between promise and reality. The goal is to demystify these new approaches based on components and instead elaborate the real advantages, problems and challenges.The papers in this issue have been reviewed by the following Program Committee Members: •Uwe Assmann, Linköpings Universitet, Sweden•Pierre Cointe, Ecole des Mines de Nantes, France•Isabelle Borne, Ecole des Mines de Nantes, France•Noury Bouraqadi, Ecole des Mines de Douai, France•Serge Demeyer, University of Antwerp, Belgium•Zoltan Laszlo, Budapest University of Technology and Economics, Hungary•Welf Loewe, Universitaet Karlsruhe, Germany•Mira Mezini, Darmstadt University of Technology, Germany•Arnd Poetzsch-Heffter, FernUniversitaet Hagen,•Elke Pulvermueller, Universitaet Karlsruhe, Germany•M. Awais Rashid, Lancaster University, UK•Benedikt Schulz, Forschungszentrum Informatik Karlsruhe, Germany•Andreas Speck, Intershop Research, Jena, Germany•Mario Südholt, Ecole des Mines de Nantes, France•Bedir Tekinerdogan, University of Twente, The NetherlandsThis volume will be published in the series Electronic Notes in Theoretical Computer Science (ENTCS). This series is published electronically through the facilities of Elsevier Science B.V. and its auspices. The volumes in the ENTCS series can be accessed at URL: http://www.elsevier.nl/locate/entcs http://math.tulane.edu/~entcsWe thank all persons contributing to the success of SC2002: the authors, participants, PC Members, the ETAPS organisers and the ENTCS editors.This workshop was partially funded by the EC in the context of the project EASYCOMP (IST 1999-14191)

Correctness of model-based software composition (CMC). Proceedings. ECOOP 2003 Workshop #11 in association with the 17th European Conference on Object-Oriented Programming, Darmstadt, Germany, July 22, 2003

This proceedings contains the contributions to the Workshop on Correctness of Model-based Software Composition, held in conjunction with the 17th European Conference on Object-Oriented Programming (ECOOP), Darmstadt, Germany on July 22, 2003. While most events concentrate on realisations of composition on the technological level this workshop aims at closing the gap of ensuring the intended composition result supported by the usage of models. Two important problems in composition are first how to model the different assets (such as components, features or aspects) and second the composition of assets such that consistency and correctness is guaranteed. The first problem has been addressed in the Workshop on Model-based Software Reuse (ECOOP 2002). The latter problem occurs when dealing with, e.g., component interoperability, aspect weaving, feature interaction and (on a more abstract level) traceability between different views or models. One approach to deal with the composition problem is to use models allowing to model the composition. This allows checking the interoperability of the different assets to compose, the correctness of the configuration of assets and predicting properties of the assembled system (especially compliance with user requirements). In case of problem detection suitable resolution algorithms can be applied. 10 reviewed contributions give an overview about current research directions in correctness of model-based software compositions. Results from the discussions during the workshop may be found in the ECOOP 2003 workshop reader to be published by Springer LNCS. The web page of the workshop as well as the contributions of this proceedings may be found at URL: http://ssel.vub.ac.be/workshops/ECOOP2003/ Affiliated to previous ECOOP conferences a related workshop about feature interaction (ECOOP 2001) and an additional about model-based software reuse (ECOOP 2002) have been held. Their contributions are published as technical report No. 2001-14 and as technical report No. 2002-4, respectively, at the Universitaet Karlsruhe, Fakultaet fuer Informatik. URLs: http://www.info.uni-karlsruhe.de/~pulvermu/workshops/ecoop2001/ http://www.ubka.uni-karlsruhe.de/cgi-bin/psview?document=/ira/2001/14 http://www.info.uni-karlsruhe.de/~pulvermu/workshops/ECOOP2002/ http://www.ubka.uni-karlsruhe.de/cgi-bin/psview?document=/ira/2002/4 We would like to thank the program committee for their support as well as the authors and participants for their engaged contributions. The Workshop Organisers Ragnhild Van Der Straeten, Andreas Speck, Elke Pulvermueller, Matthias Clauss, Andreas Pleus

Picturing words? Sensorimotor cortex activation for printed words in child and adult readers

Learning to read involves associating abstract visual shapes with familiar meanings. Embodiment theories suggest that word meaning is at least partially represented in distributed sensorimotor networks in the brain (Barsalou, 2008; Pulvermueller, 2013). We explored how reading comprehension develops by tracking when and how printed words start activating these “semantic” sensorimotor representations as children learn to read. Adults and children aged 7–10 years showed clear category-specific cortical specialization for tool versus animal pictures during a one-back categorisation task. Thus, sensorimotor representations for these categories were in place at all ages. However, co-activation of these same brain regions by the visual objects’ written names was only present in adults, even though all children could read and comprehend all presented words, showed adult-like task performance, and older children were proficient readers. It thus takes years of training and expert reading skill before spontaneous processing of printed words’ sensorimotor meanings develops in childhood

Brain regions essential for improved lexical access in an aged aphasic patient: a case report

BACKGROUND: The relationship between functional recovery after brain injury and concomitant neuroplastic changes is emphasized in recent research. In the present study we aimed to delineate brain regions essential for language performance in aphasia using functional magnetic resonance imaging and acquisition in a temporal sparse sampling procedure, which allows monitoring of overt verbal responses during scanning. CASE PRESENTATION: An 80-year old patient with chronic aphasia (2 years post-onset) was investigated before and after intensive language training using an overt picture naming task. Differential brain activation in the right inferior frontal gyrus for correct word retrieval and errors was found. Improved language performance following therapy was mirrored by increased fronto-thalamic activation while stability in more general measures of attention/concentration and working memory was assured. Three healthy age-matched control subjects did not show behavioral changes or increased activation when tested repeatedly within the same 2-week time interval. CONCLUSION: The results bear significance in that the changes in brain activation reported can unequivocally be attributed to the short-term training program and a language domain-specific plasticity process. Moreover, it further challenges the claim of a limited recovery potential in chronic aphasia, even at very old age. Delineation of brain regions essential for performance on a single case basis might have major implications for treatment using transcranial magnetic stimulation