scispace - formally typeset
Search or ask a question
Journal ArticleDOI

MCL : A MobiGATE coordination language for highly adaptive and reconfigurable mobile middleware

01 Sep 2006-Software - Practice and Experience (John Wiley & Sons Ltd)-Vol. 36, pp 1355-1380
TL;DR: The MobiGate Coordination Language (MCL) system provides a language‐based approach to the building of mobile applications running in an adaptive middleware, MobiGATE, designed to provide rich constructs supporting the definition of compositions, with constrained type validation and checking.
Abstract: The use of middleware is one important approach in facilitating adaptation across wireless and mobile environments, where augmented service entities are composed and deployed to shield mobile clients from the effects of dynamic network characteristics. The MobiGate Coordination Language (MCL) system provides a language-based approach to the building of mobile applications running in an adaptive middleware, MobiGATE. The concept of the separation of concerns forms the underlying and unifying principle in the provision of the adaptive composition of services. Specifically, a coordination language, MCL, is designed to provide rich constructs supporting the definition of compositions, with constrained type validation and checking. In particular, MCL is formalized by means of the design of a semantic model based on the Z language, which can be used to analyze architectural descriptions and detect possible composition errors such as feedback loops and open circuit problems. Copyright © 2006 John Wiley & Sons, Ltd.
Citations
More filters
Journal ArticleDOI
TL;DR: In this paper, a semantic rules engine (SRE) for industrial gateways is presented that allows implementing dynamic and flexible rule-based control strategies, which is simple, expressive, and allows managing rules on the fly without causing any service interruption.
Abstract: The advent of the Internet-of-Things (IoT) paradigm has brought opportunities to solve many real-world problems. Energy management, for example, has attracted huge interest from academia, industries, governments, and regulatory bodies. It involves collecting energy usage data, analyzing it, and optimizing the energy consumption by applying control strategies. However, in industrial environments, performing such optimization is not trivial. The changes in business rules, process control, and customer requirements make it much more challenging. In this paper, a semantic rules engine (SRE) for industrial gateways is presented that allows implementing dynamic and flexible rule-based control strategies. It is simple, expressive, and allows managing rules on-the-fly without causing any service interruption. Additionally, it can handle semantic queries and provide results by inferring additional knowledge from previously defined concepts in ontologies. SRE has been validated and tested on different hardware platforms and in commercial products. Performance evaluations are also presented to validate its conformance to the customer requirements.

49 citations

Journal ArticleDOI
01 May 2010
TL;DR: A distributed framework that couples a middleware for context-awareness with an intermediary-based architecture for content adaptation, and includes tools for assisting the user in declaring her preferences, as well as mechanisms for detecting incorrect system behaviors due to a wrong choice of adaptation policies.
Abstract: The ubiquitous computing scenario is characterized by heterogeneity of devices used to access services, and by frequent changes in the user's context. Hence, adaptation according to the user's context and the used devices is necessary to allow mobile users to efficiently exploit Internet-based services. In this paper, we present a distributed framework, named MIMOSA, that couples a middleware for context-awareness with an intermediary-based architecture for content adaptation. MIMOSA provides an effective and efficient solution for the adaptation of Internet services on the basis of a comprehensive notion of context, by means of techniques for aggregating context data from distributed sources, deriving complex contextual situations from raw sensor data, evaluating adaptation policies, and solving possible conflicts. The middleware allows programmers to modularly build complex adaptive services starting from simple ones, and includes tools for assisting the user in declaring her preferences, as well as mechanisms for detecting incorrect system behaviors due to a wrong choice of adaptation policies. The effectiveness and efficiency of MIMOSA are shown through the development of a prototype adaptive service, and by extensive experimental evaluations.

40 citations

Book ChapterDOI
03 Jun 2014
TL;DR: The intrinsic properties brought by the LINC environment are described and how it helps the coordination aspects in a distributed system and how LINC can manage a wide range of application domains.
Abstract: This paper presents LINC, a coordination programming environment. It is an evolution of earlier middlewares the Coordination Language Facility CLF and Stitch. The aim is to provide a more flexible and expressive language correcting several of their limitations and an improved run-time environment. LINC provides a compact yet powerful coordination language and an optimised run-time which executes rules. This paper describes the intrinsic properties brought by the LINC environment and how it helps the coordination aspects in a distributed system. This paper also emphasises on the reflexivity of LINC and its usage at system level. Finally, it illustrates through several case studies, how LINC can manage a wide range of application domains.

32 citations


Cites background from "MCL : A MobiGATE coordination langu..."

  • ...However, in MCL it seems difficult to focus on the coordination when a very complex and dynamic system is considered....

    [...]

  • ...MCL and UbiCoMo share with LINC the importance of separation between coordination and computation....

    [...]

  • ...The MobiGATE Coordination Language (MCL) [33] insists on the separation between computation and coordination which is a shared approach with LINC....

    [...]

Dissertation
18 Dec 2017
TL;DR: These propose un support intergiciel, appele SICODAF, pour the conception et ledeploiement de systemes adaptatifs fiables, which permet la conception de boucles multiples pour des systemesqui sont constitues de nombreuses entites ou qui requierent des controleurs de types differents.
Abstract: Dans le contexte de l’informatique pervasive et de l’internet des objets, les systemes sontheterogenes, distribues et adaptatifs (p. ex., systemes de gestion des transports, bâtimentsintelligents). La conception et le deploiement de ces systemes sont rendus difficiles par leurnature heterogene et distribuee mais aussi le risque de decisions d’adaptation conflictuelleset d’inconsistances a l’execution. Les inconsistances sont causees par des pannes materiellesou des erreurs de communication. Elles surviennent lorsque des actions correspondant auxdecisions d’adaptation sont supposees etre effectuees alors qu’elles ne le sont pas.Cette these propose un support intergiciel, appele SICODAF, pour la conception et ledeploiement de systemes adaptatifs fiables. SICODAF combine une fiabilite comportementale(absence de decisions conflictuelles) au moyen de systemes de transitions et une fiabilited’execution (absence d’inconsistances) a l’aide d’un intergiciel transactionnel. SICODAF estbase sur le calcul autonomique. Il permet de concevoir et de deployer un systeme adaptatifsous la forme d’une boucle autonomique qui est constituee d’une couche d’abstraction, d’unmecanisme d’execution transactionnelle et d’un controleur. SICODAF supporte trois typesde controleurs (bases sur des regles, sur la theorie du controle continu ou discret). Il permetegalement la reconfiguration d’une boucle, afin de gerer les changements d’objectifs quisurviennent dans le systeme considere, et l’integration d’un systeme de detection de pannesmaterielles. Enfin, SICODAF permet la conception de boucles multiples pour des systemesqui sont constitues de nombreuses entites ou qui requierent des controleurs de types differents.Ces boucles peuvent etre combinees en parallele, coordonnees ou hierarchiques.SICODAF a ete mis en oeuvre a l’aide de l’intergiciel transactionnel LINC, de l’environnementd’abstraction PUTUTU et du langage Heptagon/BZR qui est base sur des systemesde transitions. SICODAF a ete egalement evalue a l’aide de trois etudes de cas.

1 citations


Cites background from "MCL : A MobiGATE coordination langu..."

  • ...Des exemples de tels intergiciels sont TOTA [84], EgoSpaces [62], TuCSoN [98], LIME [95], MARS [20], MobiGATE [138], Holoparadigm [13], SAPERE [26] et LINC [79]....

    [...]

References
More filters
Journal ArticleDOI
TL;DR: This survey characterizes an emerging research area, sometimes called coordination theory, that focuses on the interdisciplinary study of coordination, that uses and extends ideas about coordination from disciplines such as computer science, organization theory, operations research, economics, linguistics, and psychology.
Abstract: This survey characterizes an emerging research area, sometimes called coordination theory, that focuses on the interdisciplinary study of coordination. Research in this area uses and extends ideas about coordination from disciplines such as computer science, organization theory, operations research, economics, linguistics, and psychology.A key insight of the framework presented here is that coordination can be seen as the process of managing dependencies among activities. Further progress, therefore, should be possible by characterizing different kinds of dependencies and identifying the coordination processes that can be used to manage them. A variety of processes are analyzed from this perspective, and commonalities across disciplines are identified. Processes analyzed include those for managing shared resources, producer/consumer relationships, simultaneity constraints, and task/subtask dependencies.Section 3 summarizes ways of applying a coordination perspective in three different domains:(1) understanding the effects of information technology on human organizations and markets, (2) designing cooperative work tools, and (3) designing distributed and parallel computer systems. In the final section, elements of a research agenda in this new area are briefly outlined.

3,447 citations

Proceedings Article
01 Jan 1994
TL;DR: This paper provides an introduction to the emerging field of software architecture by considering a number of common architectural styles upon which many systems are currently based and showing how different styles can be combined in a single design.
Abstract: As the size of software systems increases, the algorithms and data structures of the computation no longer constitute the major design problems. When systems are constructed from many components, the organization of the overall system -- the software architecture -- presents a new set of design problems. This level of design has been addressed in a number of ways including informal diagrams and descriptive terms, module interconnection languages, templates and frameworks for systems that serve the needs of specific domains, and formal models of component integration mechanisms. In this paper we provide an introduction to the emerging field of software architecture. We begin by considering a number of common architectural styles upon which many systems are currently based and show how different styles can be combined in a single design. Then we present six case studies to illustrate how architectural representations can improve our understanding of complex software systems. Finally, we survey some of the outstanding problems in the field, and consider a few of the promising research directions.

1,396 citations

01 Nov 1996
TL;DR: This set of documents, collectively called the Multipurpose Internet Mail Extensions, or MIME, redefines the format of messages to allow for MIME to be applied to e-mail messages.
Abstract: STD 11, RFC 822 defines a message representation protocol specifying considerable detail about US-ASCII message headers, but which leaves the message content, or message body, as flat US-ASCII text. This set of documents, collectively called the Multipurpose Internet Mail Extensions, or MIME, redefines the format of messages to allow for

556 citations

Journal ArticleDOI
TL;DR: The Conic environment provides a language-based approach to the building of distributed systems which combines the simplicity and safety of a language approach with the flexibility and accessibility of an operating systems approach.
Abstract: The Conic environment provides a language-based approach to the building of distributed systems which combines the simplicity and safety of a language approach with the flexibility and accessibility of an operating systems approach. It provides a comprehensive set of tools for program compilation, configuration, debugging, and execution in a distributed environment. A separate configuration language is used to specify the configuration of software components into logical nodes. This provides a concise configuration description and facilitates the reuse of program components in different configurations. Applications are constructed as sets of one or more interconnected logical nodes. Arbitrary, incremental change is supported by dynamic configuration. In addition, the system provides user-transparent datatype transformation between heterogeneous processors. Applications may be run on a mixed set of interconnected computers running the Unix operating system and on base target machines with no resident operating system. The basic principles adopted in the construction of the Conic environment are outlined and the configuration and run-time facilities provided are described. >

342 citations

Journal ArticleDOI
TL;DR: This paper describes a programming model for large-scale interactive Internet services and a scalable cluster-based framework that has been in production use at UC Berkeley since April 1997, and presents a detailed examination of TranSend, a scalable transformational Web proxy deployed on this framework.
Abstract: Today's Internet clients vary widely with respect to both hardware and software properties: screen size, color depth, effective bandwidth, processing power, and the ability to handle different data formats. The order-of-magnitude span of this variation is too large to hide at the network level, making application-level techniques necessary. We show that on-the-fly adaptation by transformational proxies is a widely applicable, cost-effective, and flexible technique for addressing all these types of variations. To support this claim, we describe our experience with data-type-specific distillation (lossy compression) in a variety of applications. We also argue that placing adaptation machinery in the network infrastructure, rather than inserting it into end servers, enables incremental deployment and amortization of operating costs. To this end, we describe a programming model for large-scale interactive Internet services and a scalable cluster-based framework that has been in production use at UC Berkeley since April 1997. We present a detailed examination of TranSend, a scalable transformational Web proxy deployed on our cluster framework, and give descriptions of several handheld-device applications that demonstrate the wide applicability of the proxy-adaptation philosophy.

327 citations