Matches in SemOpenAlex for { <https://semopenalex.org/work/W2088045574> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W2088045574 abstract "In ubiquitous applications, where the meaning of an entity, such as a user or service, depends on environment-specific constraints and dynamic changes in the environment have to be considered in all stages of development, the separation between the system's behaviour and its context representation (a.k.a. context model) is essential for facilitating the development of such inherently complex systems. At the same time, because of its well-known benefits, a formal specifications should be considered not only for describing the system's behaviour, but also the corresponding context model. Considering this, we propose in this paper an environment to support context modelling through formal specification. For this sake, we adopt the algebra of contextualized entities proposed and define levels of abstractions over its diagrams, enabling a stepwise construction of modular specifications. The overall goal is to reduce the gap between the formal description of an ubiquitous application and its implementation." @default.
- W2088045574 created "2016-06-24" @default.
- W2088045574 creator A5052195291 @default.
- W2088045574 creator A5065765043 @default.
- W2088045574 creator A5067336825 @default.
- W2088045574 creator A5085475225 @default.
- W2088045574 creator A5091129860 @default.
- W2088045574 date "2009-06-15" @default.
- W2088045574 modified "2023-09-23" @default.
- W2088045574 title "Designing ubiquitous applications" @default.
- W2088045574 cites W1834834760 @default.
- W2088045574 cites W2115120343 @default.
- W2088045574 cites W2127080923 @default.
- W2088045574 cites W2163150616 @default.
- W2088045574 cites W2167039215 @default.
- W2088045574 doi "https://doi.org/10.1145/1555321.1555327" @default.
- W2088045574 hasPublicationYear "2009" @default.
- W2088045574 type Work @default.
- W2088045574 sameAs 2088045574 @default.
- W2088045574 citedByCount "1" @default.
- W2088045574 countsByYear W20880455742014 @default.
- W2088045574 crossrefType "proceedings-article" @default.
- W2088045574 hasAuthorship W2088045574A5052195291 @default.
- W2088045574 hasAuthorship W2088045574A5065765043 @default.
- W2088045574 hasAuthorship W2088045574A5067336825 @default.
- W2088045574 hasAuthorship W2088045574A5085475225 @default.
- W2088045574 hasAuthorship W2088045574A5091129860 @default.
- W2088045574 hasConcept C107457646 @default.
- W2088045574 hasConcept C172195944 @default.
- W2088045574 hasConcept C41008148 @default.
- W2088045574 hasConceptScore W2088045574C107457646 @default.
- W2088045574 hasConceptScore W2088045574C172195944 @default.
- W2088045574 hasConceptScore W2088045574C41008148 @default.
- W2088045574 hasLocation W20880455741 @default.
- W2088045574 hasOpenAccess W2088045574 @default.
- W2088045574 hasPrimaryLocation W20880455741 @default.
- W2088045574 hasRelatedWork W1585717275 @default.
- W2088045574 hasRelatedWork W2061877166 @default.
- W2088045574 hasRelatedWork W2347466614 @default.
- W2088045574 hasRelatedWork W2361445870 @default.
- W2088045574 hasRelatedWork W2364878349 @default.
- W2088045574 hasRelatedWork W2373379668 @default.
- W2088045574 hasRelatedWork W2380613331 @default.
- W2088045574 hasRelatedWork W2386200114 @default.
- W2088045574 hasRelatedWork W3012707328 @default.
- W2088045574 hasRelatedWork W807330763 @default.
- W2088045574 isParatext "false" @default.
- W2088045574 isRetracted "false" @default.
- W2088045574 magId "2088045574" @default.
- W2088045574 workType "article" @default.