A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Formal Modelling of an Adaptable Service System
[chapter]
Intelligence in Communication Systems
Preserved Fulltext
We present a formal model for the basic entity used for the implementation of the service functionality in the Telematics Architecture for Play-based Adaptable Service systems (TAPAS). ...
Adaptable service systems are service systems that adapt dynamically to changes in both time and position related to users, nodes, capabilities, status, and changed service requirements. ...
Telematics Architecture for Play-based Adaptable Service systems (TAPAS) is a research project which aims at developing an architecture for adaptable service systems. ...
doi:10.1007/0-387-32015-6_12
dblp:conf/intellcomm/ShiaaAC05
fatcat:dwohvuj37rcbbfcib466ui346a
A Formal Model for Dynamically Adaptable Services
[article]
2010
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
This paper elaborates a well-founded model and theory of DA, introducing formalisms written using COWS. The model is evaluated for reliability and responsiveness properties with the model checker CMC. ...
The complexity of dynamic adaptation (DA) is significant, but currently not well understood or formally specified. ...
Finally our proposal is aimed at identifying a formal service-oriented language for modelling dynamic adaptation, rather than advancing techniques for formal verification of web services or services as ...
arXiv:1011.2652v1
fatcat:qx6ywa5fjjbcbh4wuqjg2vllpa
An Analysis of Formal Languages for Dynamic Adaptation
2010
2010 15th IEEE International Conference on Engineering of Complex Computer Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Formal methods are an attractive option for solving this problem as they provide a means to precisely model a software system. ...
The service-oriented computing paradigm is in widespread use for adaptive systems that face changing conditions in their operational environment as well as the integration of new services. ...
Formal languages provide the formal underpinnings to explain and model software systems in a precise manner. ...
doi:10.1109/iceccs.2010.9
dblp:conf/iceccs/FoxC10
fatcat:xantkbwkt5d4hcjwm5paz4qn2i
Formal Aspects of Component Software (FACS'09)
2012
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The first contribution, Formal Modeling of Evolving Self-Adaptive Systems, presents a formal model for developing and modeling self-adaptive evolving systems based on policies enforced by autonomous managers ...
systems • formal aspects of Web services and business processes • component-based Web services and service-oriented architectures • quality-of-service issues in Web services, multi-agent systems, and ...
doi:10.1016/j.scico.2012.02.008
fatcat:bxhgskikind6thcbtytbi5wrqi
An Approach to Verifying Security and Timing Properties in UML Models
2010
2010 15th IEEE International Conference on Engineering of Complex Computer Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Formal methods are an attractive option for solving this problem as they provide a means to precisely model a software system. ...
The service-oriented computing paradigm is in widespread use for adaptive systems that face changing conditions in their operational environment as well as the integration of new services. ...
Formal languages provide the formal underpinnings to explain and model software systems in a precise manner. ...
doi:10.1109/iceccs.2010.10
dblp:conf/iceccs/ThapaSK10
fatcat:jk7bsff7d5hwndkd2xoeszkbcy
Towards Formal Planning for Quality-Aware Self-Adaptive Systems
2017
2017 IEEE 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We particularly focus on the specification of quality-aware adaptation strategies required to ensure continuous satisfaction of non-functional requirements (Quality of service). ...
In this paper, we propose a formal approach that combines the advantages of both componentbased modeling (e. g., reduces model complexity), MDE (e. g., facilitates the development process) and Maude (a ...
Figure. 1 . 1 An Overview of the proposed model.
Figure 2 . 2 Self-adaptive system meta-model. ...
doi:10.1109/wetice.2017.22
dblp:conf/wetice/MaatouguiBZ17
fatcat:mrwmrkqmibairbwnjntuu5hm7a
Self-adaptive software needs quantitative verification at runtime
2012
Communications of the ACM
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
r is predicted; for example, an observed failure of the alarm service from the system in Figure 2 might yield an updated model that ceases to satisfy requirement R1 from Figures 2 and 4. ...
requirements of a software system as symbolic expressions parameterized by domain assumptions; for example, the "probability that an invocation of the analysis service is followed by an alarm failure" ...
doi:10.1145/2330667.2330686
fatcat:s75xkr5oejcr5cch27mezzm5my
Verifying the adaptation behavior of embedded systems
2006
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems - SEAMS '06
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
This leads to new classes of design errors, since adaptation has become an increasingly complex part of the systems' behavior. ...
Moreover, we demonstrate how state-of-the-art model checkers can be used to formally reason about the resulting system description. ...
In this paper, we describe a technique to extract such an abstract model of the adaptation behavior that lends itself well for formal verification. ...
doi:10.1145/1137677.1137681
dblp:conf/icse/0001ST06
fatcat:43vlhfyrhjfgjh7uhp4nq4dwxm
Variability and Rigour in Service Computing Engineering
2011
2011 IEEE 34th Software Engineering Workshop
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We foresee a flexible engineering methodology according to which software service line organisations can develop novel classes of service-oriented applications that can easily be adapted to customer requirements ...
Our proposal is to develop rigorous modelling techniques as well as analysis and verification support tools for assisting organisations to plan, optimise, and control the quality of software service provision ...
Modelling Variability and Adaptability To address the crosscutting correctness concern, we must provide a formal model of service lines that is able to capture the notion of variability, i.e., able to ...
doi:10.1109/sew.2011.24
dblp:conf/sew/BeekGFF11
fatcat:zsbwed4uxjgclgg5mhdpoxdebi
Towards an integrated approach for validating qualities of self-adaptive systems
2012
Proceedings of the 2012 Workshop on Dynamic Analysis - WODA 2012
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
In this position paper, we argue for an integrated formally founded approach to validate the required software qualities of self-adaptive systems. ...
This approach integrates three activities: (1) model checking of the behavior of a self-adaptive system during design, (2) model-based testing of the concrete implementation during development, and (3) ...
[8] proposes an approach to achieve QoS for service-based systems through dynamical adaptation. ...
doi:10.1145/2338966.2336803
dblp:conf/issta/Weyns12
fatcat:75xsi3hrqvdgtjihjcg7mzb2km
Modeling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research)
2010
International Workshop on Automated Configuration and Tailoring of Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Our aim is to develop rigorous modelling techniques and analysis and verification tools that can be used for the systematic, large-scale provision and market segmentation of software services. ...
We foresee flexible design techniques with which software service line organizations can develop novel classes of service-oriented applications that can easily be adapted to customer requirements as well ...
An extension of LTSs, called Modal Transition Systems (MTSs), has been proposed as a formal model for product families [19] , [28] , allowing one to embed in a single model the behaviour of a family ...
dblp:conf/acota/BeekGFZ10
fatcat:tlxiazzykjhnnimv3354fvmxku
SimCA vs ActivFORMS: comparing control- and architecture-based adaptation on the TAS exemplar
2015
Proceedings of the 1st International Workshop on Control Theory for Software Engineering - CTSE 2015
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Today customers require software systems to provide particular levels of qualities, while operating under dynamically changing conditions. ...
In this paper, we apply SimCA and ActivFORMS to the Tele Assistance System (TAS) exemplar and compare obtained results, demonstrating the di↵erence in achieved qualities and formal guarantees. ...
ActivFORMS ActivFORMS is an architecture-based approach for selfadaptation that uses an integrated formal model of the adaptation components of the feedback loop and the knowledge they share [11] . ...
doi:10.1145/2804337.2804338
dblp:conf/sigsoft/ShevtsovIW15
fatcat:sq6eiyf3hnftfi5brsjapf4mky
Assuring system goals under uncertainty with active formal models of self-adaptation
2014
Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In ActivFORMS, the formal models of the managing system are directly deployed and executed to realize self-adaptation, guaranteeing the verified properties. ...
Having the formal models readily available at runtime paves the way for: (1) incremental verification during system execution, and (2) runtime evolution of the self-adaptive system. ...
In [1] , requirements are automatically analyzed to enforce optimal configurations of a service based system by adapting service selection and resource allocation. ...
doi:10.1145/2591062.2591137
dblp:conf/icse/IftikharW14
fatcat:btt644dv3bba5jixje4p7qsfze
An Ontology Oriented Architecture for Context Aware Services Adaptation
[article]
2014
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In this paper, we present an ontology based approach for the development of context aware services. ...
Ontologies presents the most promising instrument for context modeling and managing due to their high and formal expressiveness and the possibilities for applying ontology reasoning techniques. ...
. Each CAWebService contains an Adaptation. For a given CAWebService, a set of AdaptationRule is associated; An AdaptationRule can involve the execution of an ordered set of Adaptations. An Adaptation ...
arXiv:1404.3280v1
fatcat:qisxmqb5e5ct3l4lajmktb3fxq
Formal Aspects of Component Software (FACS 2010 selected and extended papers)
2014
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
However, modeling in process calculi is rather low level, an aspect that can impede effective analysis, in particular, of the service-oriented facets of software systems. ...
Algebraic characterization and verification of service-oriented systems is also the focal point in the paper "Model Checking Adaptive Service Compositions" by Michele Bugliesi, Andrea Marin, and Sabina ...
This paper details the Paradigm modeling process of migration and provides a proof of its correctness. Code annotation offers an effective means to runtime verification of component-based systems. ...
doi:10.1016/j.scico.2014.03.010
fatcat:euxsvofacjfhdmrb6unokikrji
« Previous
Showing results 1 — 15 out of 557,399 results