共查询到20条相似文献,搜索用时 46 毫秒
1.
Model-based approaches to system design are now widespread and successful. These approaches make extensive use of model structure
to describe systems using domain-specific abstractions, to specify and implement model transformations, and to analyze structural
properties of models. In spite of its general importance the structural semantics of modeling languages are not well-understood. In this paper we develop the formal foundations for the structural semantics
of domain-specific modeling languages (DSML), including the mechanisms by which metamodels specify the structural semantics
of DSMLs. Additionally, we show how our formalization can complement existing tools, and how it yields algorithms for the
analysis of DSMLs and model transformations.
相似文献
2.
This article presents a metamodeling study for Live Sequence Charts (LSCs) and Message Sequence Charts (MSCs) with an emphasis
on code generation. The article discusses specifically the following points: the approach to building a metamodel for MSCs
and LSCs, a metamodel extension from MSC to LSC, support for model-based code generation, and finally action model and domain-specific
data model integration. The metamodel is formulated in metaGME, the metamodel language for the Generic Modeling Environment.
相似文献
3.
The Stanford Event Heap has been shown to provide appropriate support for constructing interactive workspace applications.
Given this success it is natural to consider the Event Heap as a platform to support other classes of Ubiquitous Computing
applications. In this paper we argue that the distributed, spontaneous nature of these applications places additional demands
on the Event Heap that require extensions to both the engineering and API. Suitable extensions are described and their use
to support a typical Ubicomp application is discussed.
相似文献
4.
Much work has been done to clarify the notion of metamodelling and new ideas, such as strict metamodelling, distinction between
ontological and linguistic instantiation, unified modelling elements and deep instantiation, have been introduced. However,
many of these ideas have not yet been fully developed and integrated into modelling languages with (concrete) syntax, rigorous
semantics and tool support. Consequently, applying these ideas in practice and reasoning about their meaning is difficult,
if not impossible. In this paper, we strive to add semantic rigour and conceptual clarity to metamodelling through the introduction
of N ivel, a novel metamodelling language capable of expressing models spanning an arbitrary number of levels. N ivel is based on a core set of conceptual modelling concepts: class, generalisation, instantiation, attribute, value and association.
N ivel adheres to a form of strict metamodelling and supports deep instantiation of classes, associations and attributes. A formal
semantics is given for N ivel by translation to weight constraint rule language (WCRL), which enables decidable, automated reasoning about N ivel. The modelling facilities of N ivel and the utility of the formalisation are demonstrated in a case study on feature modelling.
相似文献
5.
This paper describes the simulated car racing competition that was arranged as part of the 2007 IEEE Congress on Evolutionary
Computation. Both the game that was used as the domain for the competition, the controllers submitted as entries to the competition
and its results are presented. With this paper, we hope to provide some insight into the efficacy of various computational
intelligence methods on a well-defined game task, as well as an example of one way of running a competition. In the process,
we provide a set of reference results for those who wish to use the simplerace game to benchmark their own algorithms. The paper is co-authored by the organizers and participants of the competition.
相似文献
6.
Awareness systems have attracted significant research interest for their potential to support interpersonal relationships.
Investigations of awareness systems for the domestic environment have suggested that such systems can help individuals stay
in touch with dear friends or family and provide affective benefits to their users. Our research provides empirical evidence
to refine and substantiate such suggestions. We report our experience with designing and evaluating the ASTRA awareness system,
for connecting households and mobile family members. We introduce the concept of connectedness and its measurement through
the Affective Benefits and Costs of communication questionnaire (ABC-Q). We inform results that testify the benefits of sharing
experiences at the moment they happen without interrupting potential receivers. Finally, we document the role that lightweight,
picture-based communication can play in the range of communication media available.
相似文献
7.
Systematic software reuse is emerging as a promising route to improved software development productivity and quality. While
many benefits of patterns reuse have been identified, there is a need to develop a mechanism for supporting and automating
the reuse of relevant analysis patterns for conceptual modeling. To enable effective reuse of analysis patterns, extant approaches
require judgment about correctly instantiating and combining the analysis patterns. Building on prior research in ontology
and conceptual modeling, we propose a “top-down” approach, referred to as Ontology for Describing Analysis Patterns (ODAP),
to explicitly express the semantics of analysis patterns. We show how ODAP helps provide a mechanism to identify appropriate
instances of analysis patterns including the discovery of valid combinations with other patterns in a patterns base. Thus,
ODAP can enable communication of the meaning of the analysis pattern constructs to modelers and be the basis for a design
support environment that supports the development of conceptual schemas using analysis patterns.
相似文献
8.
We provide the complete record of methodology that let us evolve BrilliAnt, the winner of the Ant Wars contest. Ant Wars contestants are virtual ants collecting food on a grid board in the presence
of a competing ant. BrilliAnt has been evolved through a competitive one-population coevolution using genetic programming
and fitnessless selection. In this paper, we detail the evolutionary setup that lead to BrilliAnt’s emergence, assess its
direct and indirect human-competitiveness, and describe the behavioral patterns observed in its strategy.
相似文献
9.
The complexity of group dynamics occurring in small group interactions often hinders the performance of teams. The availability
of rich multimodal information about what is going on during the meeting makes it possible to explore the possibility of providing
support to dysfunctional teams from facilitation to training sessions addressing both the individuals and the group as a whole.
A necessary step in this direction is that of capturing and understanding group dynamics. In this paper, we discuss a particular
scenario, in which meeting participants receive multimedia feedback on their relational behaviour, as a first step towards
increasing self-awareness. We describe the background and the motivation for a coding scheme for annotating meeting recordings
partially inspired by the Bales’ Interaction Process Analysis. This coding scheme was aimed at identifying suitable observable
behavioural sequences. The study is complemented with an experimental investigation on the acceptability of such a service.
相似文献
10.
An important aspect in the specification of conceptual schemas is the definition of general constraints that cannot be expressed
by the predefined constructs provided by conceptual modeling languages. This is generally achieved by using general-purpose
languages like OCL. In this paper we propose a new approach that facilitates the definition of such general constraints in
UML. More precisely, we define a profile that extends the set of predefined UML constraints by adding certain types of constraints
that are commonly used in conceptual schemas. We also show how our proposal facilitates reasoning about the constraints and
their automatic code generation, study the application of our ideas to the specification of two real-life applications, and
present a prototype tool implementation.
相似文献
11.
Quantitative usability requirements are a critical but challenging, and hence an often neglected aspect of a usability engineering process. A case study is described where quantitative usability requirements played a key role in the development of a new user interface of a mobile phone. Within the practical constraints of the project, existing methods for determining usability requirements and evaluating the extent to which these are met, could not be applied as such, therefore tailored methods had to be developed. These methods and their applications are discussed. 相似文献
12.
Acoustic environments provide many valuable cues for context-aware computing applications. From the acoustic environment we
can infer the types of activity, communication modes and other actors involved in the activity. Environmental or background
noise can be classified with a high degree of accuracy using recordings from microphones commonly found in PDAs and other
consumer devices. We describe an acoustic environment recognition system incorporating an adaptive learning mechanism and
its use in a noise tracker. We show how this information is exploited in a mobile context framework. To illustrate our approach
we describe a context-aware multimodal weather forecasting service, which accepts spoken or written queries and presents forecast
information in several forms, including email, voice and sign languages.
相似文献
13.
Tracking location is challenging due to the numerous constraints of practical systems including, but not limited to global
cost, device volume and weight, scalability and accuracy; these constraints are typically more severe for systems that should
be wearable and used indoors. We investigate the use of wearable solar cells to track changing light conditions (a concept
that we named LuxTrace) as a source of user displacement and activity data. We evaluate constraints of this approach and present
results from an experimental validation of displacement and activity estimation. The results indicate that a distance estimation
accuracy of 21 cm (80% quantile) can be achieved. A simple method to combine LuxTrace with complementary absolute location
estimation methods is also presented. We apply carpet-like distributed RFID tags to demonstrate online learning of new lighting
environments.
相似文献
14.
Thesauri and controlled vocabularies facilitate access to digital collections by explicitly representing the underlying principles
of organization. Translation of such resources into multiple languages is an important component for providing multilingual
access. However, the specificity of vocabulary terms in most thesauri precludes fully-automatic translation using general-domain
lexical resources. In this paper, we present an efficient process for leveraging human translations to construct domain-specific
lexical resources. This process is illustrated on a thesaurus of 56,000 concepts used to catalog a large archive of oral histories.
We elicited human translations on a small subset of concepts, induced a probabilistic phrase dictionary from these translations,
and used the resulting resource to automatically translate the rest of the thesaurus. Two separate evaluations demonstrate
the acceptability of the automatic translations and the cost-effectiveness of our approach.
相似文献
16.
An important area of Human Reliability Assessment in interactive systems is the ability to understand the causes of human
error and to model their occurrence. This paper investigates a new approach to analysis of task failures based on patterns
of operator behaviour, in contrast with more traditional event-based approaches. It considers, as a case study, a formal model
of an Air Traffic Control system operator’s task which incorporates a simple model of the high-level cognitive processes involved.
The cognitive model is formalised in the CSP process algebra. Various patterns of behaviour that could lead to task failure
are described using temporal logic. Then a model-checking technique is used to verify whether the set of selected behavioural
patterns is sound and complete with respect to the definition of task failure. The decomposition is shown to be incomplete
and a new behavioural pattern is identified, which appears to have been overlooked in the informal analysis of the problem.
This illustrates how formal analysis of operator models can yield fresh insights into how failures may arise in interactive
systems.
相似文献
17.
Listening to music on personal, digital devices whilst mobile is an enjoyable, everyday activity. We explore a scheme for
exploiting this practice to immerse listeners in navigation cues. Our prototype, ONTRACK, continuously adapts audio, modifying
the spatial balance and volume to lead listeners to their target destination. First we report on an initial lab-based evaluation
that demonstrated the approach’s efficacy: users were able to complete tasks within a reasonable time and their subjective
feedback was positive. Encouraged by these results we constructed a handheld prototype. Here, we discuss this implementation
and the results of field-trials. These indicate that even with a low-fidelity realisation of the concept, users can quite
effectively navigate complicated routes.
相似文献
18.
To get the maximum benefit from ambient intelligence (AmI), we need to anticipate and react to possible drawbacks and threats
emerging from the new technologies in order to devise appropriate safeguards. The SWAMI project took a precautionary approach
in its exploration of the privacy risks in AmI and sought ways to reduce them. It constructed four “dark scenarios” showing
possible negative implications of AmI, notably for privacy protection. Legal analysis of the depicted futures showed the shortcomings
of the current legal framework in being able to provide adequate privacy protection in the AmI environment. In this paper,
the authors, building upon their involvement in SWAMI research as well as the further advancement of EU privacy analysis,
identify various outstanding issues regarding the legal framework that still need to be resolved in order to deal with AmI
in an equitable and efficacious way. This article points out some of the lacunae in the legal framework and postulates several
privacy-specific safeguards aimed at overcoming them.
相似文献
19.
We present a study of using camera-phones and visual-tags to access mobile services. Firstly, a user-experience study is described in which participants were both observed learning to interact with a prototype mobile service and interviewed
about their experiences. Secondly, a pointing-device task is presented in which quantitative data was gathered regarding the speed and accuracy with which participants aimed and clicked
on visual-tags using camera-phones. We found that participants’ attitudes to visual-tag-based applications were broadly positive,
although they had several important reservations about camera-phone technology more generally. Data from our pointing-device
task demonstrated that novice users were able to aim and click on visual-tags quickly (well under 3 s per pointing-device
trial on average) and accurately (almost all meeting our defined speed/accuracy tradeoff of 6% error-rate). Based on our findings,
design lessons for camera-phone and visual-tag applications are presented.
相似文献
20.
One of the tropes of the age of ubiquitous computing is the migration of computation into new spaces. Domestic environments
have been a particular focus of attention for many. However, these spaces are neither empty nor neutral. They are already
populated by people and practices which shape both their physical form and cultural meaning. We want to consider here some
questions of technology and domesticity. In order to give some critical perspective, we want to approach domestic space from
the edge, and in particular, from the shed.
相似文献
|