94,144 research outputs found
Phase Diagram of Vertically Shaken Granular Matter
A shallow, vertically shaken granular bed in a quasi 2-D container is studied
experimentally yielding a wider variety of phenomena than in any previous
study: (1) bouncing bed, (2) undulations, (3) granular Leidenfrost effect, (4)
convection rolls, and (5) granular gas. These phenomena and the transitions
between them are characterized by dimensionless control parameters and combined
in a full experimental phase diagram.Comment: 11 pages, 14 figures, submitted to "Physics of Fluids
Quality-aware model-driven service engineering
Service engineering and service-oriented architecture as an integration and platform technology is a recent approach to software systems integration. Quality aspects
ranging from interoperability to maintainability to performance are of central importance for the integration of heterogeneous, distributed service-based systems. Architecture models can substantially influence quality attributes of the implemented software systems. Besides the benefits of explicit architectures on maintainability and reuse, architectural constraints such as styles, reference architectures and architectural patterns can influence observable software properties such as performance. Empirical performance evaluation is a process of measuring and evaluating the performance of implemented software. We present an approach for addressing the quality of services and service-based systems at the model-level in the context of model-driven service engineering. The focus on architecture-level models is a consequence of the black-box
character of services
Semantic model-driven development of web service architectures.
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven development is a recent approach to developing software systems based on the idea of making models the central artefacts for design representation, analysis, and code generation.
We propose an ontology-based engineering methodology for semantic model-driven composition and transformation of Web service architectures. Ontology technology as a logic-based knowledge representation and reasoning framework can provide answers to the needs of sharable and reusable semantic models and descriptions needed for service engineering. Based on modelling, composition and code generation techniques for service architectures, our approach provides a methodological framework for ontology-based semantic service architecture
Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking
Business analysts and domain experts are often sketching the behaviors of a
software system using high-level models that are technology- and
platform-independent. The developers will refine and enrich these high-level
models with technical details. As a consequence, the refined models can deviate
from the original models over time, especially when the two kinds of models
evolve independently. In this context, we focus on behavior models; that is, we
aim to ensure that the refined, low-level behavior models conform to the
corresponding high-level behavior models. Based on existing formal verification
techniques, we propose containment checking as a means to assess whether the
system's behaviors described by the low-level models satisfy what has been
specified in the high-level counterparts. One of the major obstacles is how to
lessen the burden of creating formal specifications of the behavior models as
well as consistency constraints, which is a tedious and error-prone task when
done manually. Our approach presented in this paper aims at alleviating the
aforementioned challenges by considering the behavior models as verification
inputs and devising automated mappings of behavior models onto formal
properties and descriptions that can be directly used by model checkers. We
discuss various challenges in our approach and show the applicability of our
approach in illustrative scenarios.Comment: In Proceedings FESCA 2014, arXiv:1404.043
Distribution pattern-driven development of service architectures
Distributed systems are being constructed by composing a number of discrete components. This practice is particularly prevalent within the Web service domain in the form of service process orchestration and choreography. Often, enterprise systems are built from many existing discrete applications such as legacy applications exposed using Web service interfaces. There are a number of architectural configurations or distribution patterns, which express how a composed system is to be deployed in a distributed environment. However, the amount of code
required to realise these distribution patterns is considerable. In this paper, we propose a distribution
pattern-driven approach to service composition and architecting. We develop, based on a catalog of patterns, a UML-compliant framework, which takes existing Web service interfaces as its input and generates executable Web service compositions based on a distribution pattern chosen by the software architect
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
Enhancing Workflow with a Semantic Description of Scientific Intent
Peer reviewedPreprin
Are galaxies with AGN a transition population?
We present the results of an analysis of a well-selected sample of galaxies
with active and inactive galactic nuclei from the Sloan Digital Sky Survey, in
the range 0.01 < z < 0.16. The SDSS galaxy catalogue was split into two classes
of active galaxies, Type~2 AGN and composites, and one set of inactive,
star-forming/passive galaxies. For each active galaxy, two inactive control
galaxies were selected by matching redshift, absolute magnitude, inclination,
and radius. The sample of inactive galaxies naturally divides into a red and a
blue sequence, while the vast majority of AGN hosts occur along the red
sequence. In terms of H-alpha equivalent width, the population of composite
galaxies peaks in the valley between the two modes, suggesting a transition
population. However, this effect is not observed in other properties such as
colour-magnitude space, or colour-concentration plane. Active galaxies are seen
to be generally bulge-dominated systems, but with enhanced H-alpha emission
compared to inactive red-sequence galaxies. AGN and composites also occur in
less dense environments than inactive red-sequence galaxies, implying that the
fuelling of AGN is more restricted in high-density environments. These results
are therefore inconsistent with theories in which AGN host galaxies are a
`transition' population. We also introduce a systematic 3D spectroscopic
imaging survey, to quantify and compare the gaseous and stellar kinematics of a
well-selected, distance-limited sample of up to 20 nearby Seyfert galaxies, and
20 inactive control galaxies with well-matched optical properties. The survey
aims to search for dynamical triggers of nuclear activity and address
outstanding controversies in optical/IR imaging surveys.Comment: 12 pages, 8 figures, accepted by MNRA
- …