| 1. |
- Aceto, L., et al.
(author)
-
Decompositional Reasoning about the History of Parallel Processes
- 2011
-
In: Fundamentals of software engineering. - Heidelberg : Springer Berlin/Heidelberg. - 1611-3349 .- 0302-9743. - 9783642293191 - 9783642293207 ; , s. 32-47
-
Conference paper (peer-reviewed)abstract
- This paper presents a decomposition technique for Hennessy-Milner logic with past and its extension with recursively defined formulae. In order to highlight the main ideas and technical tools, processes are described using a subset of CCS with parallel composition, nondeterministic choice, action prefixing and the inaction constant. The study focuses on developing decompositional reasoning techniques for parallel contexts in that language. © 2012 Springer-Verlag.
|
|
| 2. |
- Aceto, Luca, et al.
(author)
-
Rule formats for determinism and idempotence
- 2012
-
In: Science of Computer Programming. - Amsterdam : Elsevier BV. - 0167-6423 .- 1872-7964. ; 77:7-8, s. 889-907
-
Journal article (peer-reviewed)abstract
- Determinism is a semantic property of (a fragment of) a language that specifies that a program cannot evolve operationally in several different ways. Idempotence is a property of binary composition operators requiring that the composition of two identical specifications or programs will result in a piece of specification or program that is equivalent to the original components. In this paper, we propose (related) meta-theorems for guaranteeing the determinism and idempotence of binary operators. These meta-theorems are formulated in terms of syntactic templates for operational semantics, called rule formats. In order to obtain a powerful rule format for idempotence, we make use of the determinism of certain transition relations in the definition of the format for idempotence. We show the applicability of our formats by applying them to various operational semantics from the literature.
|
|
| 3. |
- Khakpour, Narges, et al.
(author)
-
Formal modeling of evolving self-adaptive systems
- 2012
-
In: Science of Computer Programming. - Amsterdam : Elsevier. - 0167-6423 .- 1872-7964. ; 78:1, s. 3-26
-
Journal article (peer-reviewed)abstract
- In this paper, we present a formal model, named PobSAM (Policy-based Self-Adaptive Model), for developing and modeling self-adaptive evolving systems. In this model, policies are used as a mechanism to direct and adapt the behavior of self-adaptive systems. A PobSAM model is a collection of autonomous managers and managed actors. The managed actors are dedicated to the functional behavior while the autonomous managers govern the behavior of managed actors by enforcing suitable policies. A manager has a set of configurations including two types of policies: governing policies and adaptation policies. To adapt the system behavior in response to the changes, the managers switch among different configurations. We employ the combination of an algebraic formalism and an actor-based model to specify this model formally. Managed actors are expressed by an actor model. Managers are modeled as meta-actors whose configurations are described using a multi-sorted algebra called CA. We provide an operational semantics for PobSAM using labeled transition systems. Furthermore, we provide behavioral equivalence of different sorts of CA in terms of splitting bisimulation and prioritized splitting bisimulation. Equivalent managers send the same set of messages to the actors. Using our behavioral equivalence theory, we can prove that the overall behavior of the system is preserved by substituting a manager by an equivalent one.
|
|
| 4. |
- Khakpour, Narges, et al.
(author)
-
PobSAM : policy-based managing of actors in self-adaptive systems
- 2010
-
In: Proceedings of the 6th International Workshop on Formal Aspects of Component Software (FACS’09, Eindhoven, The Netherlands, November 2-3, 2009). - Amsterdam : Elsevier. ; 263, s. 129-143
-
Conference paper (peer-reviewed)
|
|
| 5. |
- Kim, Min Seo, et al.
(author)
-
Global burden of peripheral artery disease and its risk factors, 1990-2019 : a systematic analysis for the Global Burden of Disease Study 2019
- 2023
-
In: The Lancet Global Health. - : Elsevier. - 2214-109X. ; 11:10, s. E1553-E1565
-
Journal article (peer-reviewed)abstract
- Background: Peripheral artery disease is a growing public health problem. We aimed to estimate the global disease burden of peripheral artery disease, its risk factors, and temporospatial trends to inform policy and public measures.Methods: Data on peripheral artery disease were modelled using the Global Burden of Disease, Injuries, and Risk Factors Study (GBD) 2019 database. Prevalence, disability-adjusted life years (DALYs), and mortality estimates of peripheral artery disease were extracted from GBD 2019. Total DALYs and age-standardised DALY rate of peripheral artery disease attributed to modifiable risk factors were also assessed.Findings: In 2019, the number of people aged 40 years and older with peripheral artery disease was 113 million (95% uncertainty interval [UI] 99 center dot 2-128 center dot 4), with a global prevalence of 1 center dot 52% (95% UI 1 center dot 33-1 center dot 72), of which 42 center dot 6% was in countries with low to middle Socio-demographic Index (SDI). The global prevalence of peripheral artery disease was higher in older people, (14 center dot 91% [12 center dot 41-17 center dot 87] in those aged 80-84 years), and was generally higher in females than in males. Globally, the total number of DALYs attributable to modifiable risk factors in 2019 accounted for 69 center dot 4% (64 center dot 2-74 center dot 3) of total peripheral artery disease DALYs. The prevalence of peripheral artery disease was highest in countries with high SDI and lowest in countries with low SDI, whereas DALY and mortality rates showed U-shaped curves, with the highest burden in the high and low SDI quintiles.Interpretation: The total number of people with peripheral artery disease has increased globally from 1990 to 2019. Despite the lower prevalence of peripheral artery disease in males and low-income countries, these groups showed similar DALY rates to females and higher-income countries, highlighting disproportionate burden in these groups. Modifiable risk factors were responsible for around 70% of the global peripheral artery disease burden. Public measures could mitigate the burden of peripheral artery disease by modifying risk factors.
|
|
