| 1. |
- Bernardi, Simona, et al.
(författare)
-
Living with Uncertainty in Model-Based Development
- 2021
-
Ingår i: Composing Model-Based Analysis Tools. - Cham : Springer. - 9783030819149 - 9783030819156 ; , s. 159-185
-
Bokkapitel (refereegranskat)abstract
- Uncertainty is present in model-based developments in many different ways. In the context of composing model-based analysis tools, this chapter discusses how the combination of different models can increase or decrease the overall uncertainty. It explores how such uncertainty could be more explicitly addressed and systematically managed, with the goal of defining a conceptual framework to deal with and manage it. We proceed towards this goal both with a theoretical reasoning and a practical application through an example of designing a peer-to-peer file-sharing protocol. We distinguish two main steps: (i) software system modelling and (ii) model-based performance analysis by highlighting the challenges related to the awareness that model-based development in software engineering needs to coexist with uncertainty. This core chapter addresses Challenge 5 introduced in Chap. 3 of this book (living with uncertainty).
|
|
| 2. |
- Moha, Naouel, et al.
(författare)
-
Specification and Detection of SOA Antipatterns
- 2012
-
Ingår i: Service-Oriented Computing. - Berlin, Heidelberg : Springer. - 9783642343209 - 9783642343216
-
Konferensbidrag (refereegranskat)abstract
- Like any other complex software system, Service Based Systems (SBSs) must evolve to fit new user requirements and execution contexts. The changes resulting from the evolution of SBSs may degrade their design and quality of service (QoS) and may often cause the appearance of common poor solutions, called Antipatterns. Antipatterns resulting from these changes also hinder the future maintenance and evolution of SBSs. The automatic detection of antipatterns is thus important to assess the design and QoS of SBSs and ease their maintenance and evolution. However, methods and techniques for the detection of antipatterns in SBSs are still in their infancy despite their importance. In this paper, we introduce a novel and innovative approach supported by a framework for specifying and detecting antipatterns in SBSs. Using our approach, we specify 10 well-known and common antipatterns, including Multi Service and Tiny Service, and we automatically generate their detection algorithms. We apply and validate the detection algorithms in terms of precision and recall on Home-Automation, an SBS developed independently. This validation demonstrates that our approach enables the specification and detection of SOA antipatterns with the precision of more than 90% and the recall of 100%.
|
|
| 3. |
- Palma, Francis, et al.
(författare)
-
SOA Antipatterns : An Approach for their Specification and Detection
- 2013
-
Ingår i: International journal of intelligent and cooperative information systems. - : IEEE Press. - 0218-2157 .- 0218-8430. ; 22:4
-
Tidskriftsartikel (refereegranskat)abstract
- Like any other large and complex software systems, Service-Based Systems (SBSs) must evolve to fit new user requirements and execution contexts. The changes resulting from the evolution of SBSs may degrade their design and quality of service (QoS) and may often cause the appearance of common poor solutions in their architecture, called antipatterns, in opposition to design patterns, which are good solutions to recurring problems. Antipatterns resulting from these changes may hinder the future maintenance and evolution of SBSs. The detection of antipatterns is thus crucial to assess the design and QoS of SBSs and facilitate their maintenance and evolution. However, methods and techniques for the detection of antipatterns in SBSs are still in their infancy despite their importance. In this paper, we introduce a novel and innovative approach supported by a framework for specifying and detecting antipatterns in SBSs. Using our approach, we specify 10 well-known and common antipatterns, including Multi Service and Tiny Service, and automatically generate their detection algorithms. We apply and validate the detection algorithms in terms of precision and recall two systems developed independently, (1) Home-Automation, an SBS with 13 services, and (2) FraSCAti, an open-source implementation of the Service Component Architecture (SCA) standard with more than 100 services. This validation demonstrates that our approach enables the specification and detection of Service Oriented Architecture (SOA) antipatterns with an average precision of 90% and recall of 97.5%.
|
|
| 4. |
|
|
| 5. |
- Weyns, Danny, et al.
(författare)
-
Perpetual assurances for self-adaptive systems
- 2017
-
Ingår i: Software Engineeringfor Self-Adaptive Systems III, Assurances. - Cham : Springer. - 9783319741826 - 9783319741833 ; , s. 31-63
-
Bokkapitel (refereegranskat)abstract
- Providing assurances for self-adaptive systems is challenging. A primary underlying problem is uncertainty that may stem from a variety of different sources, ranging from incomplete knowledge to sensor noise and uncertain behavior of humans in the loop. Providing assurances that the self-adaptive system complies with its requirements calls for an enduring process spanning the whole lifetime of the system. In this process, humans and the system jointly derive and integrate new evidence and arguments, which we coined perpetual assurances for self-adaptive systems. In this paper, we provide a background framework and the foundation for perpetual assurances for self-adaptive systems. We elaborate on the concrete challenges of offering perpetual assurances, requirements for solutions, realization techniques and mechanisms to make solutions suitable. We also present benchmark criteria to compare solutions. We then present a concrete exemplar that researchers can use to assess and compare approaches for perpetual assurances for self-adaptation. © Springer International Publishing AG 2017.
|
|
