538,577 research outputs found
Analysis of Feature Models Using Alloy: A Survey
Feature Models (FMs) are a mechanism to model variability among a family of
closely related software products, i.e. a software product line (SPL). Analysis
of FMs using formal methods can reveal defects in the specification such as
inconsistencies that cause the product line to have no valid products. A
popular framework used in research for FM analysis is Alloy, a light-weight
formal modeling notation equipped with an efficient model finder. Several works
in the literature have proposed different strategies to encode and analyze FMs
using Alloy. However, there is little discussion on the relative merits of each
proposal, making it difficult to select the most suitable encoding for a
specific analysis need. In this paper, we describe and compare those strategies
according to various criteria such as the expressivity of the FM notation or
the efficiency of the analysis. This survey is the first comparative study of
research targeted towards using Alloy for FM analysis. This review aims to
identify all the best practices on the use of Alloy, as a part of a framework
for the automated extraction and analysis of rich FMs from natural language
requirement specifications.Comment: In Proceedings FMSPLE 2016, arXiv:1603.0857
Stochastic gravitational background from inflationary phase transitions
We consider true vacuum bubbles generated in a first order phase transition
occurring during the slow rolling era of a two field inflation: it is known
that gravitational waves are produced by the collision of such bubbles. We find
that the epoch of the phase transition strongly affects the characteristic peak
frequency of the gravitational waves, causing an observationally interesting
redshift in addition to the post-inflationary expansion. In particular it is
found that a phase transition occurring typically 1020 foldings
before the reheating at GeV may be detected by the next Ligo
gravity waves interferometers. Moreover, for recently proposed models capable
of generating the observed large scale voids as remnants of the primordial
bubbles (for which the characteristic wave lengths are several tens of Mpc), it
is found that the level of anisotropy of the cosmic microwave background
provides a deep insight upon the physical parameters of the effective
Lagrangian.Comment: 12 pages, 3 figures. Phys.Rev.D in pres
An extensible manufacturing resource model for process integration
Driven by industrial needs and enabled by process technology and information technology, enterprise integration is rapidly shifting from information integration to process integration to improve overall performance of enterprises. Traditional resource models are established based on the needs of individual applications. They cannot effectively serve process integration which needs resources to be represented in a unified, comprehensive and flexible way to meet the needs of various applications for different business processes. This paper looks into this issue and presents a configurable and extensible resource model which can be rapidly reconfigured and extended to serve for different applications. To achieve generality, the presented resource model is established from macro level and micro level. A semantic representation method is developed to improve the flexibility and extensibility of the model
A Deep Chandra ACIS Study of NGC 4151. I. the X-ray Morphology of the 3 kpc-diameter Circum-nuclear Region and Relation to the Cold Interstellar Medium
We report on the imaging analysis of 200 ks sub-arcsecond resolution Chandra
ACIS-S observations of the nearby Seyfert 1 galaxy NGC 4151. Bright, structured
soft X-ray emission is observed to extend from 30 pc to 1.3 kpc in the
south-west from the nucleus, much farther than seen in earlier X-ray studies.
The terminus of the north-eastern X-ray emission is spatially coincident with a
CO gas lane, where the outflow likely encounters dense gas in the host galactic
disk. X-ray emission is also detected outside the boundaries of the ionization
cone, which indicates that the gas there is not completely shielded from the
nuclear continuum, as would be the case for a molecular torus collimating the
bicone. In the central r<200 pc region, the subpixel processing of the ACIS
data recovers the morphological details on scales of <30~pc (<0.5") first
discovered in Chandra HRC images. The X-ray emission is more absorbed towards
the boundaries of the ionization cone, as well as perpendicular to the bicone
along the direction of a putative torus in NGC 4151. The innermost region where
X-ray emission shows the highest hardness ratio, is spatially coincident with
the near-infrared resolved H_2 emission and dusty spirals we find in an HST V-H
color image. The agreement between the observed H_2 line flux and the value
predicted from X-ray-irradiated molecular cloud models supports
photo-excitation by X-rays from the active nucleus as the origin of the H_2
line, although contribution from UV fluorescence or collisional excitation
cannot be fully ruled out with current data. The discrepancy between the mass
of cold molecular gas inferred from recent CO and near-infrared H_2
observations may be explained by the anomalous CO abundance in this X-ray
dominated region. The total H_2 mass derived from the X-ray observation agrees
with measurement in Storchi-Bergmann et al.Comment: 33 pages, 9 figures and 2 table
Towards a Base UML Profile for Architecture Description
This paper discusses a base UML profile for architecture description as supported by existing Architecture Description Languages (ADLs). The profile may be extended so as to enable architecture modeling both as expressed in conventional ADLs and according to existing runtime infrastructures (e.g., system based on middleware architectures).
- âŠ