Algebraic semantics of design abstractions for context-awareness

Antónia Lopes; José Luiz Fiadeiro

doi:10.1007/978-3-540-31959-7_5

Algebraic semantics of design abstractions for context-awareness

Antónia Lopes, José Luiz Fiadeiro

Science and Engineering Office

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

5 Citations (Scopus)

Abstract

We investigate essential features of contexts and proper abstractions for modelling context-awareness within CommUnity, a language that we have been developing to support architectural design of distributed and mobile system. Under the assumption that the context that a component perceives is determined by its current position, we explore the use of abstract data types for defining design primitives through which different notions of context can be modelled explicitly according to the application domain.

Original language	English
Title of host publication	Recent Trends in Algebraic Development Techniques
Subtitle of host publication	17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers
Editors	J. L. Fiadeiro, P. D. Mosses, F. Orejas
Place of Publication	Berlin
Publisher	Springer Verlag
Pages	79-93
Number of pages	15
ISBN (Electronic)	9783540319597
ISBN (Print)	9783540253273
DOIs	https://doi.org/10.1007/978-3-540-31959-7_5
Publication status	Published - 2005
Event	17th International Workshop, WADT 2004 - Barcelona, Spain Duration: 27 Mar 2004 → 29 Mar 2004

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
Volume	3423
ISSN (Print)	0302-9743

Conference

Conference	17th International Workshop, WADT 2004
Country/Territory	Spain
City	Barcelona
Period	27/03/04 → 29/03/04

Keywords

Mobile System
Algebraic Semantic
Operation Symbol
Abstract Data Type
Multiple Assignment

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-540-31959-7_5

Cite this

Lopes, A., & Fiadeiro, J. L. (2005). Algebraic semantics of design abstractions for context-awareness. In J. L. Fiadeiro, P. D. Mosses, & F. Orejas (Eds.), Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers (pp. 79-93). (Lecture Notes in Computer Science; Vol. 3423). Springer Verlag. https://doi.org/10.1007/978-3-540-31959-7_5

Lopes, Antónia ; Fiadeiro, José Luiz. / Algebraic semantics of design abstractions for context-awareness. Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers. editor / J. L. Fiadeiro ; P. D. Mosses ; F. Orejas. Berlin : Springer Verlag, 2005. pp. 79-93 (Lecture Notes in Computer Science).

@inproceedings{7f5223005e6b41ad8824d7d1108a9f39,

title = "Algebraic semantics of design abstractions for context-awareness",

abstract = "We investigate essential features of contexts and proper abstractions for modelling context-awareness within CommUnity, a language that we have been developing to support architectural design of distributed and mobile system. Under the assumption that the context that a component perceives is determined by its current position, we explore the use of abstract data types for defining design primitives through which different notions of context can be modelled explicitly according to the application domain.",

keywords = "Mobile System, Algebraic Semantic, Operation Symbol, Abstract Data Type, Multiple Assignment",

author = "Ant{\'o}nia Lopes and Fiadeiro, {Jos{\'e} Luiz}",

year = "2005",

doi = "10.1007/978-3-540-31959-7_5",

language = "English",

isbn = "9783540253273",

series = "Lecture Notes in Computer Science",

publisher = "Springer Verlag",

pages = "79--93",

editor = "Fiadeiro, {J. L.} and Mosses, {P. D.} and F. Orejas",

booktitle = "Recent Trends in Algebraic Development Techniques",

address = "Germany",

note = "17th International Workshop, WADT 2004 ; Conference date: 27-03-2004 Through 29-03-2004",

}

Lopes, A & Fiadeiro, JL 2005, Algebraic semantics of design abstractions for context-awareness. in JL Fiadeiro, PD Mosses & F Orejas (eds), Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers. Lecture Notes in Computer Science, vol. 3423, Springer Verlag, Berlin, pp. 79-93, 17th International Workshop, WADT 2004, Barcelona, Spain, 27/03/04. https://doi.org/10.1007/978-3-540-31959-7_5

Algebraic semantics of design abstractions for context-awareness. / Lopes, Antónia; Fiadeiro, José Luiz.
Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers. ed. / J. L. Fiadeiro; P. D. Mosses; F. Orejas. Berlin: Springer Verlag, 2005. p. 79-93 (Lecture Notes in Computer Science; Vol. 3423).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Algebraic semantics of design abstractions for context-awareness

AU - Lopes, Antónia

AU - Fiadeiro, José Luiz

PY - 2005

Y1 - 2005

N2 - We investigate essential features of contexts and proper abstractions for modelling context-awareness within CommUnity, a language that we have been developing to support architectural design of distributed and mobile system. Under the assumption that the context that a component perceives is determined by its current position, we explore the use of abstract data types for defining design primitives through which different notions of context can be modelled explicitly according to the application domain.

AB - We investigate essential features of contexts and proper abstractions for modelling context-awareness within CommUnity, a language that we have been developing to support architectural design of distributed and mobile system. Under the assumption that the context that a component perceives is determined by its current position, we explore the use of abstract data types for defining design primitives through which different notions of context can be modelled explicitly according to the application domain.

KW - Mobile System

KW - Algebraic Semantic

KW - Operation Symbol

KW - Abstract Data Type

KW - Multiple Assignment

UR - http://www.scopus.com/inward/record.url?scp=24344436416&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-31959-7_5

DO - 10.1007/978-3-540-31959-7_5

M3 - Conference contribution

AN - SCOPUS:24344436416

SN - 9783540253273

T3 - Lecture Notes in Computer Science

SP - 79

EP - 93

BT - Recent Trends in Algebraic Development Techniques

A2 - Fiadeiro, J. L.

A2 - Mosses, P. D.

A2 - Orejas, F.

PB - Springer Verlag

CY - Berlin

T2 - 17th International Workshop, WADT 2004

Y2 - 27 March 2004 through 29 March 2004

ER -

Lopes A, Fiadeiro JL. Algebraic semantics of design abstractions for context-awareness. In Fiadeiro JL, Mosses PD, Orejas F, editors, Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers. Berlin: Springer Verlag. 2005. p. 79-93. (Lecture Notes in Computer Science). doi: 10.1007/978-3-540-31959-7_5

Algebraic semantics of design abstractions for context-awareness

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this