Filters








557,399 Hits in 5.6 sec

Formal Modelling of an Adaptable Service System [chapter]

Mazen Malek Shiaa, Finn Arve Aagesen, Cyril Carrez
Intelligence in Communication Systems  
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]

Jorge Fox
2010 arXiv   pre-print
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

Jorge Fox, Siobhan Clarke
2010 2010 15th IEEE International Conference on Engineering of Complex Computer Systems  
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)

Sun Meng, Bernhard Schätz
2012 Science of Computer Programming  
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  ...  systemsformal 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

Vidhi Thapa, Eunjee Song, Hanil Kim
2010 2010 15th IEEE International Conference on Engineering of Complex Computer Systems  
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

Esma Maatougui, Chafia Bouanaka, Nadia Zeghib
2017 2017 IEEE 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)  
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

Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola
2012 Communications of the ACM  
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

Klaus Schneider, Tobias Schuele, Mario Trapp
2006 Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems - SEAMS '06  
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

Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, Jose L. Fiadeiro
2011 2011 IEEE 34th Software Engineering Workshop  
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

Danny Weyns
2012 Proceedings of the 2012 Workshop on Dynamic Analysis - WODA 2012  
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)

Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, Gianluigi Zavattaro
2010 International Workshop on Automated Configuration and Tailoring of Applications  
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

Stepan Shevtsov, M. Usman Iftikhar, Danny Weyns
2015 Proceedings of the 1st International Workshop on Control Theory for Software Engineering - CTSE 2015  
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

M. Usman Iftikhar, Danny Weyns
2014 Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014  
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]

Hatim Guermah, Tarik Fissaa, Hatim Hafiddi, Mahmoud Nassar and Abdelaziz Kriouile
2014 arXiv   pre-print
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)

Luís Soares Barbosa, Markus Lumpe
2014 Science of Computer Programming  
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