FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W44296965> ?p ?o ?g. }

• W44296965 endingPage "34" @default.
• W44296965 startingPage "29" @default.
• W44296965 abstract "Context information is of great importance for pervasive services to enhance their flexibility and adaptability to changing conditions and dynamic environments. However, context information is characterized by several qualities that make pervasive services challenging compared to conventional Web services. These are: a highly dynamic nature, real-time requirements, quality of context information and automation. Most existing approaches to representing pervasive services focus on the detailed design or implementation phases of the software life-cycle such as pervasive Web services. Little attention has been given to the early phase of design, such as architecture design, which is of a higher level and abstract in design. Building software architectural models of pervasive services provides service engineers with a better understanding of how these complex services interoperate and help uncover any errors during the early stages of the software life-cycle.This thesis proposes a novel approach based on behavioral modeling and analysis techniques for modeling pervasive software services and their compositions and verifying the process behavior of these models against specified system properties. This systematic, architecture-centric approach for engineering pervasive services integrates the benefits of principles such as model-driven architecture, aspect-oriented modeling, and formal behavioral modeling and analysis techniques using model checking. The approach of this thesis is explored using a real-world case study in intelligent transport.The research methodology of this thesis consists of three main stages. First, using the case study the use cases are extracted and a service specification for the system under consideration is defined using message sequence charts. Second, the architecture for the system is defined using a component configuration and an architecture model in Finite State Processes (FSP). Third, the architecture model synthesized is modularized by using aspect-oriented models in UML, and is automatically transformed into behavioural FSP. A custom tool - Aspectual FSP Generation - applying an effective pipeline of model-to-model and model-to-text transformations has been built to automate the correct separation of concerns of the crosscutting context-dependent functionality at both UML modeling and formal behavioral specification levels. The generated context-dependent adaptable behavior and the core service behavior for the pervasive services are rigorously verified using the LTSA model checker against specified system properties. An evaluation framework is presented to validate the custom tool developed, the context and adaptation dimensions of the customization approach, and the formal methods employed in this study. In summary, the primary contribution of this thesis is a novel, systematic architecture-centric approach for engineering pervasive services at the software architectural level." @default.
• W44296965 created "2016-06-24" @default.
• W44296965 creator A5066751702 @default.
• W44296965 date "2017-02-08" @default.
• W44296965 modified "2023-09-25" @default.
• W44296965 title "Pervasive Services Engineering for SOAs" @default.
• W44296965 cites W1712246769 @default.
• W44296965 cites W1838096498 @default.
• W44296965 cites W2027489110 @default.
• W44296965 cites W2060910670 @default.
• W44296965 cites W2073812678 @default.
• W44296965 cites W2098535747 @default.
• W44296965 cites W2119908953 @default.
• W44296965 cites W2125022885 @default.
• W44296965 cites W2139285780 @default.
• W44296965 cites W2150634581 @default.
• W44296965 cites W2295334076 @default.
• W44296965 cites W49283320 @default.
• W44296965 doi "https://doi.org/10.4225/03/589aabcb0cbd5" @default.
• W44296965 hasPublicationYear "2017" @default.
• W44296965 type Work @default.
• W44296965 sameAs 44296965 @default.
• W44296965 citedByCount "3" @default.
• W44296965 crossrefType "proceedings-article" @default.
• W44296965 hasAuthorship W44296965A5066751702 @default.
• W44296965 hasConcept C105795698 @default.
• W44296965 hasConcept C107457646 @default.
• W44296965 hasConcept C115903868 @default.
• W44296965 hasConcept C136764020 @default.
• W44296965 hasConcept C151730666 @default.
• W44296965 hasConcept C172195944 @default.
• W44296965 hasConcept C199360897 @default.
• W44296965 hasConcept C20136886 @default.
• W44296965 hasConcept C2777904410 @default.
• W44296965 hasConcept C2779343474 @default.
• W44296965 hasConcept C2780598303 @default.
• W44296965 hasConcept C30452754 @default.
• W44296965 hasConcept C33923547 @default.
• W44296965 hasConcept C35280785 @default.
• W44296965 hasConcept C35578498 @default.
• W44296965 hasConcept C35869016 @default.
• W44296965 hasConcept C41008148 @default.
• W44296965 hasConcept C542858634 @default.
• W44296965 hasConcept C57041688 @default.
• W44296965 hasConcept C86803240 @default.
• W44296965 hasConceptScore W44296965C105795698 @default.
• W44296965 hasConceptScore W44296965C107457646 @default.
• W44296965 hasConceptScore W44296965C115903868 @default.
• W44296965 hasConceptScore W44296965C136764020 @default.
• W44296965 hasConceptScore W44296965C151730666 @default.
• W44296965 hasConceptScore W44296965C172195944 @default.
• W44296965 hasConceptScore W44296965C199360897 @default.
• W44296965 hasConceptScore W44296965C20136886 @default.
• W44296965 hasConceptScore W44296965C2777904410 @default.
• W44296965 hasConceptScore W44296965C2779343474 @default.
• W44296965 hasConceptScore W44296965C2780598303 @default.
• W44296965 hasConceptScore W44296965C30452754 @default.
• W44296965 hasConceptScore W44296965C33923547 @default.
• W44296965 hasConceptScore W44296965C35280785 @default.
• W44296965 hasConceptScore W44296965C35578498 @default.
• W44296965 hasConceptScore W44296965C35869016 @default.
• W44296965 hasConceptScore W44296965C41008148 @default.
• W44296965 hasConceptScore W44296965C542858634 @default.
• W44296965 hasConceptScore W44296965C57041688 @default.
• W44296965 hasConceptScore W44296965C86803240 @default.
• W44296965 hasLocation W442969651 @default.
• W44296965 hasOpenAccess W44296965 @default.
• W44296965 hasPrimaryLocation W442969651 @default.
• W44296965 hasRelatedWork W1514068164 @default.
• W44296965 hasRelatedWork W1542590 @default.
• W44296965 hasRelatedWork W1576419426 @default.
• W44296965 hasRelatedWork W1588186403 @default.
• W44296965 hasRelatedWork W1670132848 @default.
• W44296965 hasRelatedWork W1838096498 @default.
• W44296965 hasRelatedWork W1971622663 @default.
• W44296965 hasRelatedWork W2011661626 @default.
• W44296965 hasRelatedWork W2053576724 @default.
• W44296965 hasRelatedWork W2054583628 @default.
• W44296965 hasRelatedWork W2060910670 @default.
• W44296965 hasRelatedWork W2074984628 @default.
• W44296965 hasRelatedWork W2117910864 @default.
• W44296965 hasRelatedWork W2123087856 @default.
• W44296965 hasRelatedWork W2134612053 @default.
• W44296965 hasRelatedWork W2150634581 @default.
• W44296965 hasRelatedWork W2285601813 @default.
• W44296965 hasRelatedWork W2295336128 @default.
• W44296965 hasRelatedWork W2401526180 @default.
• W44296965 hasRelatedWork W2913051002 @default.
• W44296965 isParatext "false" @default.
• W44296965 isRetracted "false" @default.
• W44296965 magId "44296965" @default.
• W44296965 workType "article" @default.