More on "Little Lambda" in Ho\v{r}ava-Lifshitz Gravity

We analyze different claims on the role of the coupling constant lambda in so-called lambda-R models, a minimal generalization of general relativity inspired by Horava-Lifshitz gravity. The dimensionless parameter lambda appears in the kinetic term of the Einstein-Hilbert action, leading to a one-parameter family of classical theories. Performing a canonical constraint analysis for closed spatial hypersurfaces, we obtain a result analogous to that of Bellorin and Restuccia, who showed that all non-projectable lambda-R models are equivalent to general relativity in the asymptotically flat case. However, the tertiary constraint present for closed boundary conditions assumes a more general form. We juxtapose this with an earlier finding by Giulini and Kiefer, who ruled out a range of lambda-R models by a physical, cosmological argument. We show that their analysis can be interpreted consistently within the projectable sector of Horava-Lifshitz gravity, thus resolving the apparent contradiction.Comment: 21 pages, no figure

Developing frameworks for protocol implementation

This paper presents a method to develop frameworks for protocol implementation. Frameworks are software structures developed for a specific application domain, which can be reused in the implementation of various different concrete systems in this domain. The use of frameworks support a protocol implementation process connected with formal design methods and produce an implementation code easy to extend and to reuse

A Framework for the Evaluation of Semantics-based Service Composition Approaches

The benefits of service composition are being largely acknowledged in the literature nowadays. However, as the amount of available services increases, it becomes difficult to manage, discover, select and compose them, so that automation is required in these processes. This can be achieved by using semantic information represented in ontologies. Currently there are many different approaches that support semantics-based service composition. However, still little effort has been spent on creating a common methodology to evaluate and compare such approaches. In this paper we present our initial ideas to create an evaluation framework for semantics-based service composition approaches. We use a collection of existing services, and define a set of evaluation metrics, confusion matrix-based and time-based. Furthermore, we present how composition evaluation scenarios are generated from the collection of services and specify the strategy to be used in the evaluation process. We demonstrate the proposed framework through an example. Currently there are mechanisms and initiatives to address the evaluation of the semantics-based service discovery and matchmaking approaches. However, still few efforts have been spent on the creation of comprehensive evaluation mechanisms for semantics-based service composition approaches

On the role of domain ontologies in the design of domain-specific visual modeling langages

Domain-Specific Visual Modeling Languages should provide notations and abstractions that suitably support problem solving in well-defined application domains. From their user’s perspective, the language’s modeling primitives must be intuitive and expressive enough in capturing all intended aspects of domain conceptualizations. Over the years formal and explicit representations of domain conceptualizations have been developed as domain ontologies. In this paper, we show how the design of these languages can benefit from conceptual tools developed by the ontology engineering community

A Framework for Dynamic Web Services Composition

Dynamic composition of web services is a promising approach and at the same time a challenging research area for the dissemination of service-oriented applications. It is widely recognised that service semantics is a key element for the dynamic composition of Web services, since it allows the unambiguous descriptions of a service's capabilities and parameters. This paper introduces a framework for performing dynamic service composition by exploiting the semantic matchmaking between service parameters (i.e., outputs and inputs) to enable their interconnection and interaction. The basic assumption of the framework is that matchmaking enables finding semantic compatibilities among independently defined service descriptions. We also developed a composition algorithm that follows a semantic graph-based approach, in which a graph represents service compositions and the nodes of this graph represent semantic connections between services. Moreover, functional and non-functional properties of services are considered, to enable the computation of relevant and most suitable service compositions for some service request. The suggested end-to-end functional level service composition framework is illustrated with a realistic application scenario from the IST SPICE project

Abstract Platform and Transformations for Model-Driven Service-Oriented Development

In this paper, we discuss the use of abstract platforms and transformation for designing applications according to the principles of the service-oriented architecture. We illustrate our approach by discussing the use of the service discovery pattern at a platform-independent design level. We show how a trader service can be specified at a high-level of abstraction and incorporated in an abstract platform for service-oriented development. Designers can then build platform-independent models of applications by composing application parts with this abstract platform. Application parts can use the trader service to publish and discover service offers. We discuss how the abstract platform can be realized into two target platforms, namely Web Services (with UDDI) and CORBA (with the OMG trader)

Quimerismo 60,xx/60,xy e freemartismo em bovinos nascidos de partos gemelares heterossexuais.

Foram estudados citogeneticamente 42 bovinos nascidos de partos gemelares heterossexuais, sendo 10 casais, 19 fêmeas e três machos de várias raças, principalmente, Holandesa (17) e Pardo Suíça (11), pertencentes ao Instituto de Zootecnia-APTA, Nova Odessa, SP, e a produtores particulares de outras regiões do Estado. A análise citogenética foi realizada em metáfases obtidas após culturas de linfócitos. Em 90,5% (38) dos animais, foi observado o quimerismo 60,XX/ 60,XY com 1,8 a 90,2% de células femininas. Considerando todos os animais quiméricos, foram analisadas 3806 células, sendo 1268 XX (33,3%) e 2538 XY (66,7%). Em nove casais, as freqüências de células femininas foram 24,8 e 21,5% e as de masculinas de 75,2 e 78,5% para fêmeas e machos, respectivamente. Em um casal, não foi evidenciada troca de células, e a fêmea apresentou somente células de linhagem feminina e o macho, de linhagem masculina. Três das fêmeas avaliadas eram adultas e foram abatidas. Seus aparelhos genitais apresentaram vários graus de masculinização como: aumento do clitóris, subdesenvolvimento da vagina, da cérvix (ausente em uma fêmea), do útero, das tubas uterinas, presença de glândulas vesiculares e gônadas ovotestis, (testículos e pênis rudimentares foram encontrados em uma fêmea). O cariótipo 60,XX foi observado em apenas três fêmeas das 29 analisadas: duas delas apresentaram todas as características de fêmea normal e inclusive pariram com aproximadamente 30 meses de idade; a outra fêmea ainda não atingiu a idade de reprodução, mas parece apresentar função reprodutiva normal. Dos 13 machos analisados, 12 apresentaram quimerismo 60,XX/60,XY e um apresentou cariótipo normal (60,XY). A análise citogenética é um meio eficaz e pouco oneroso de constatar freemartismo em fêmea bovina gêmea com macho, permitindo o diagnóstico precoce e a oportunidade de eliminação do processo reprodutivo os animais portadores de quimerismo, de maneira a baixar os custo com manejo e a diminuir a freqüência desta anomalia nos rebanhos

Costs and benefits of multiple levels of models in MDA development

In Model-Driven Architecture (MDA) development, models of a distributed application are carefully defined so as to remain stable in face of changes in technology platforms. As we have argued previously in [1, 3], models in MDA can be organized into different levels of platformindependence. In this paper, we analyze the costs and benefits of maintaining separate levels of models with transformations between these levels. We argue that the number of levels of models and the degree of automation of transformations between these levels depend on a number of design goals to be balanced, including those of maximizing the efficiency of the design process and maximizing the reusability of models and transformations

The role of the RM-ODP computational viewpoint concepts in the MDA approach

An MDA design approach should be able to accommodate designs at different levels of platform-independence. We have proposed a design approach previously (in [2]), which allows these levels to be identified. An important feature of this approach is the notion of abstract platform. An abstract platform is determined by the platform characteristics that are relevant for applications at a certain level of platform-independence, and must be established by considering various design goals. In this paper, we define a framework that makes it possible to use RM-ODP concepts in our MDA design approach. This framework allows a recursive application of the computational viewpoint at different levels of platform-independence. This is obtained by equating the RM-ODP notion of infrastructure to our notion of abstract platform