1,171 research outputs found
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
Reflection on Turkish aspect-oriented software development workshop series
Cataloged from PDF version of article.In the last decade aspect-oriented software development (AOSD)
has gained a broad interest in both academic institutions and
industry. Likewise, several international conferences and workshops
have been organized around the topic of AOSD. This paper
summarizes the results of the national Turkish Aspect-Oriented
Software Development Workshop series that have been organized
in the last decade with the goal to stimulate the research and education
on AOSD in Turkey. The fifth workshop was organized in
December 2011. Aspects identified and demonstrated during the
workshops have been collected in the so-called Aspect Browser.
We report both on the experiences from the workshop series and
the resulting aspect browser
Early aspects: aspect-oriented requirements engineering and architecture design
This paper reports on the third Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design Workshop, which has been held in Lancaster, UK, on March 21, 2004. The workshop included a presentation session and working sessions in which the particular topics on early aspects were discussed. The primary goal of the workshop was to focus on challenges to defining methodical software development processes for aspects from early on in the software life cycle and explore the potential of proposed methods and techniques to scale up to industrial applications
Pattern languages in HCI: A critical review
This article presents a critical review of patterns and pattern languages in human-computer interaction (HCI). In recent years, patterns and pattern languages have received considerable attention in HCI for their potential as a means for developing and communicating information and knowledge to support good design. This review examines the background to patterns and pattern languages in HCI, and seeks to locate pattern languages in relation to other approaches to interaction design. The review explores four key issues: What is a pattern? What is a pattern language? How are patterns and pattern languages used? and How are values reflected in the pattern-based approach to design? Following on from the review, a future research agenda is proposed for patterns and pattern languages in HCI
First-Class Subtypes
First class type equalities, in the form of generalized algebraic data types
(GADTs), are commonly found in functional programs. However, first-class
representations of other relations between types, such as subtyping, are not
yet directly supported in most functional programming languages.
We present several encodings of first-class subtypes using existing features
of the OCaml language (made more convenient by the proposed modular implicits
extension), show that any such encodings are interconvertible, and illustrate
the utility of the encodings with several examples.Comment: In Proceedings ML 2017, arXiv:1905.0590
Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars
Aspect-orientation is a relatively new paradigm that introduces abstractions
to modularize the implementation of system-wide policies. It is based on a
composition operation, called aspect weaving, that implicitly modifies a base
system by performing related changes within the system modules. Aspect-oriented
graph grammars (AOGG) extend the classic graph grammar formalism by defining
aspects as sets of rule-based modifications over a base graph grammar. Despite
the advantages of aspect-oriented concepts regarding modularity, the implicit
nature of the aspect weaving operation may also introduce issues when reasoning
about the system behavior. Since in AOGGs aspect weaving is characterized by
means of rule-based rewriting, we can overcome these problems by using known
analysis techniques from the graph transformation literature to study aspect
composition. In this paper, we present a case study of a distributed
client-server system with global policies, modeled as an aspect-oriented graph
grammar, and discuss how to use the AGG tool to identify potential conflicts in
aspect weaving
Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules
Software Product Line Engineering (SPLE) is a software engineering paradigm
that focuses on reuse and variability. Although feature-oriented programming
(FOP) can implement software product line efficiently, we still need a method
to generate and prove correctness of all product variants more efficiently and
automatically. In this context, we propose to manipulate feature modules which
contain three kinds of artifacts: specification, code and correctness proof. We
depict a methodology and a platform that help the user to automatically produce
correct-by-construction product variants from the related feature modules. As a
first step of this project, we begin by proposing a language, GFML, allowing
the developer to write such feature modules. This language is designed so that
the artifacts can be easily reused and composed. GFML files contain the
different artifacts mentioned above.The idea is to compile them into FoCaLiZe,
a language for specification, implementation and formal proof with some
object-oriented flavor. In this paper, we define and illustrate this language.
We also introduce a way to compose the feature modules on some examples.Comment: In Proceedings FMSPLE 2015, arXiv:1504.0301
- …