Titlebook: Software and Data Technologies; 7th International Co José Cordeiro,Slimane Hammoudi,Marten Sinderen Conference proceedings 2013 Springer-Ve

鬼魂

Peer-to-Peer Remote Service Discovery in Pervasive Computingsearch protocols. We introduce a module called . to the UPnP protocol, and a remote communication protocol over a Gnutella network. We then note that our architecture is actually independent on any locally deployed discovery protocol and thus supports full interoperability.

ATOPY

Metamodel Independence in Domain Specific Modeling Languagesd understand. Furthermore, we show how additional languages can be defined for the same domain and we discuss about implementation alternatives achieving complete platform-independence. We illustrate the proposal through a practical example in the domain of workout plans.

HOWL

Service-Oriented Integration of Metamodels’ Behavioural Semanticsonceptual level. In particular, the behavioural semantics of metamodels can be coupled in a loosely manner, without entanglement of semantically different concepts. This allows creating complex metamodel architectures where separation of concerns is high.

召集

CHARM

Fencing the Lamb: A Chart Parser for ModelCCuage specification techniques decouple language design from language processing. They allow the occurrence of ambiguities and the declarative specification of constraints for solving them. As a result, these techniques require general parser generators, which should be able to parse context-free gra

Neuropeptides

Cross-Platform Application Development Using AXIOM as an Agile Model-Driven Approach (MDE) and Agile development. In this paper, we present AXIOM, a model-driven approach for developing cross-platform mobile applications in ways that also support Agile principles. Our approach uses a domain specific language (DSL) for defining platform-independent models (PIM) of mobile application

lambaste

Rapidly Implementing EMF Applications with EMF Componentsilding tools and applications based on structured data models. However, from the user interface point of view, the development of applications based on EMF could be made simpler with more code reuse. For this reason, we propose EMF Components, a lightweight framework that allows easy and quick devel

矛盾心理

不發(fā)音

Peer-to-Peer Remote Service Discovery in Pervasive Computingheterogeneous environment offered by this computing paradigm. Remote service discovery in particular has not been properly achieved so far. In an attempt to remedy this we propose a new architecture for enabling local service discovery mechanisms to discover services remotely. We first base our arch

尾巴

Model Checking Combined Fragments of Sequence Diagramstion of multiple traces encompassing complex and concurrent behaviors. However, Combined Fragments increase the difficulty of analysis of scenarios. This paper introduces an approach to formally verify all the Combined Fragments, and nested Combined Fragments using model checking.