191 research outputs found
NOW: Orchestrating services in a nomadic network using a dedicated workflow language
AbstractOrchestrating services in nomadic or mobile ad hoc networks is not without a challenge, since these environments are built upon volatile connections. Services residing on mobile devices are exposed to (temporary) network failures, which must be considered the rule rather than the exception. This paper proposes a dedicated workflow language built on top of an ambient-oriented programming language that supports dynamic service discovery and communication primitives resilient to network failures. The proposed workflow language, NOW, has support for high level workflow abstractions for control flow, rich network and service failure detection, and failure handling through compensating actions, and dynamic data flow between the services in the environment. By adding this extra layer of abstraction, the application programmer is offered a flexible way to develop applications for nomadic networks
Target oriented relational model finding
Lecture Notes in Computer Science 8411, 2014Model finders are becoming useful in many software engineering problems. Kodkod is one of the most popular, due to its support for relational logic (a combination of first order logic with relational algebra operators and transitive closure), allowing a simpler specification of constraints, and support for partial instances, allowing the specification of a priori (exact, but potentially partial) knowledge about a problem's solution. However, in some software engineering problems, such as model repair or bidirectional model transformation, knowledge about the solution is not exact, but instead there is a known target that the solution should approximate. In this paper we extend Kodkod's partial instances to allow the specification of such targets, and show how its model finding procedure can be adapted to support them (using both PMax-SAT solvers or SAT solvers with cardinality constraints). Two case studies are also presented, including a careful performance evaluation to assess the effectiveness of the proposed extension.(undefined
Testing M2T/T2M Transformations
Presentado en: 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013). Del 29 de septiembre al 4 de octubre. Miami, EEUU.Testing model-to-model (M2M) transformations is becoming a prominent topic in the current Model-driven Engineering landscape. Current approaches for transformation testing, however, assume having explicit model representations for the input domain and for the output domain of the transformation. This excludes other important transformation kinds, such as model-to-text (M2T) and text-to-model (T2M) transformations, from being properly tested since adequate model representations are missing either for the input domain or for the output domain. The contribution of this paper to overcome this gap is extending Tracts, a M2M transformation testing approach, for M2T/T2M transformation testing. The main mechanism we employ for reusing Tracts is to represent text within a generic metamodel. By this, we transform the M2T/T2M transformation specification problems into equivalent M2M transformation specification problems. We demonstrate the applicability of the approach by two examples and present how the approach is implemented for the Eclipse Modeling Framework (EMF). Finally, we apply the approach to evaluate code generation capabilities of several existing UML tools.Universidad de Málaga. Campus de Excelencia Internacional AndalucĂa Tech. Proyecto TIN2011-2379
Grand canonical ensemble in generalized thermostatistics
We study the grand-canonical ensemble with a fluctuating number of degrees of
freedom in the context of generalized thermostatistics. Several choices of
grand-canonical entropy functional are considered. The ideal gas is taken as an
example.Comment: 14 pages, no figure
Does an antibiotic-loaded hydrogel coating reduce early post-surgical infection after joint arthroplasty?
Background: Infection remains among the main reasons for joint prosthesis failure. Preclinical reports have suggested that antibacterial coatings of implants may prevent bacterial adhesion and biofilm formation. This study presents the results of the first clinical trial on an antibiotic-loaded fast-resorbable hydrogel coating (Defensive Antibacterial Coating, DAC®) in patients undergoing hip or knee prosthesis. Methods: In this multicenter, randomized prospective study, a total of 380 patients, scheduled to undergo primary (n=270) or revision (n=110) total hip (N=298) or knee (N=82) joint replacement with a cementless or a hybrid implant, were randomly assigned, in six European orthopedic centers, to receive an implant either with the antibiotic-loaded DAC coating (treatment group) or without coating (control group). Pre- and postoperative assessment of clinical scores, wound healing, laboratory tests, and x-ray exams were performed at fixed time intervals. Results: Overall, 373 patients were available at a mean follow-up of 14.5 ± 5.5 months (range 6 to 24). On average, wound healing, laboratory and radiographic findings showed no significant difference between the two groups. Eleven early surgical site infections were observed in the control group and only one in the treatment group (6% vs. 0.6%; p=0.003). No local or systemic side effects related to the DAC hydrogel coating were observed, and no detectable interference with implant osteointegration was noted. Conclusions: The use of a fast-resorbable, antibiotic-loaded hydrogel implant coating can reduce the rate of early surgical site infections, without any detectable adverse events or side effects after hip or knee joint replacement with a cementless or hybrid implant
The optimized Rayleigh-Ritz scheme for determining the quantum-mechanical spectrum
The convergence of the Rayleigh-Ritz method with nonlinear parameters
optimized through minimization of the trace of the truncated matrix is
demonstrated by a comparison with analytically known eigenstates of various
quasi-solvable systems. We show that the basis of the harmonic oscillator
eigenfunctions with optimized frequency ? enables determination of boundstate
energies of one-dimensional oscillators to an arbitrary accuracy, even in the
case of highly anharmonic multi-well potentials. The same is true in the
spherically symmetric case of V (r) = {\omega}2r2 2 + {\lambda}rk, if k > 0.
For spiked oscillators with k < -1, the basis of the pseudoharmonic oscillator
eigenfunctions with two parameters ? and {\gamma} is more suitable, and
optimization of the latter appears crucial for a precise determination of the
spectrum.Comment: 22 pages,8 figure
Superstatistical distributions from a maximum entropy principle
We deal with a generalized statistical description of nonequilibrium complex
systems based on least biased distributions given some prior information. A
maximum entropy principle is introduced that allows for the determination of
the distribution of the fluctuating intensive parameter of a
superstatistical system, given certain constraints on the complex system under
consideration. We apply the theory to three examples: The superstatistical
quantum mechanical harmonic oscillator, the superstatistical classical ideal
gas, and velocity time series as measured in a turbulent Taylor-Couette flow
Service-Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior
International audienceModel-driven development of large-scale software systems is highly likely to produce models that describe the systems from many diverse perspectives using a variety of modeling languages. Checking and maintaining consistency of information captured in such multi-modeling environments is known to be challenging. In this paper we describe an approach to systematically synchronize multi-models. The approach specifically addresses the problem of synchronizing business processes and domain models in a Service-oriented Architecture development environment. In the approach, the human effort required to synchronize independently developed models is supplemented with significant automated support. This process is used to identify concept divergences, that is, a concept in one model which cannot be matched with concepts in the other model. We automate the propagation of divergence resolution decisions across the conflicting models. We illustrate the approach using models developed for a Car Crash Crisis Management System (CCCMS), a case study problem used to assess Aspect-oriented Modeling approaches
- …