Contract-Based Requirement Modularization via Synthesis of Correct Decompositions

Le, Thi Thieu Hoa; Fahrenberg, Uli; Legay, Axel

doi:10.1145/2885752

Cited by 13 publications

(7 citation statements)

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…While developing modern systems in distributed environment, the interoperability of components is ensured with contracts. So, the contracts are used to test the overall properties as well as sub-properties in a system [65]. The concept of an interaction contract between components existed more than a decade ago [12].…”

Section: H Contract-based Modelingmentioning

confidence: 99%

Hierarchical Modeling of Complex Internet of Things Systems Using Conceptual Modeling Approaches

2019

View full text Add to dashboard Cite

Popularity of the Internet of things (IoT) is currently on the rise. Academia as well as industry is equally fascinated by this disruptive technology. The IoT research and implementation have succeeded securing their place in numerous domains including, but not limited to, business, transportation and logistics, health care, smart cities, and agriculture. Conceptual modeling is pivotal to the design and implementation of a system. Various modeling approaches have been used for a variety of the IoT applications and case studies. In this paper, we examine various innovative applications of the existing conceptual modeling approaches for the IoT. We analyze the use of these approaches against different concerns in isolation as well as in mutual combination for the IoT. We also define a set of terminologies that we frequently encounter in this manuscript and those likely to be used while adopting proposed modeling approaches for the IoT scenarios. This study also attempts to reconcile different modeling approaches toward a unified modeling system. For this purpose, we map various conceptual modeling approaches against different layers of functional model of the IoT reference architecture. There is also a scenario in the end of the paper which elaborates the use of different modeling approaches in hierarchy for a complex IoT system. INDEX TERMS Agent-based modeling, ambient-oriented modeling, aspect-oriented modeling, conceptual modeling approaches, contract-based modeling, fuzzy-logic modeling, the Internet of Things, network-based modeling, object-based modeling, ontology, service-oriented modeling.

show abstract

Section: H Contract-based Modelingmentioning

confidence: 99%

Hierarchical Modeling of Complex Internet of Things Systems Using Conceptual Modeling Approaches

2019

View full text Add to dashboard Cite

show abstract

“…[ 97 ], this specification theory uses synchronistic input and output (I/O) actions to abstract the temporal ordering of behavior. To ensure the interoperability of components and adherence to specifications, a generic algebraic method is developed and two strategies are proposed to synthesize or refine a set of contracts to evaluate the composition satisfaction of a given contract [ 98 ]. Moreover, the authors also presented a set of decomposing conditions for verifying the decomposition of a contract into a set of contracts [ 98 ].…”

Section: Dependable Self-adaptive Architecture Designmentioning

confidence: 99%

A Comprehensive Technological Survey on the Dependable Self-Management CPS: From Self-Adaptive Architecture to Self-Management Strategies

Zhou

Zuo

Hou

et al. 2019

Sensors

View full text Add to dashboard Cite

Cyber Physical Systems (CPS) has been a popular research area in the last decade. The dependability of CPS is still a critical issue, and few surveys have been published in this domain. CPS is a dynamic complex system, which involves various multidisciplinary technologies. To avoid human errors and to simplify management, self-management CPS (SCPS) is a wise choice. To achieve dependable self-management, systematic solutions are necessary to verify the design and to guarantee the safety of self-adaptation decisions, as well as to maintain the health of SCPS. This survey first recalls the concepts of dependability, and proposes a generic environment-in-loop processing flow of self-management CPS, and then analyzes the error sources and challenges of self-management through the formal feedback flow. Focusing on reducing the complexity, we first survey the self-adaptive architecture approaches and applied dependability means, then we introduce a hybrid multi-role self-adaptive architecture, and discuss the supporting technologies for dependable self-management at the architecture level. Focus on dependable environment-centered adaptation, we investigate the verification and validation (V&V) methods for making safe self-adaptation decision and the solutions for processing decision dependably. For system-centered adaptation, the comprehensive self-healing methods are summarized. Finally, we analyze the missing pieces of the technology puzzle and the future directions. In this survey, the technical trends for dependable CPS design and maintenance are discussed, an all-in-one solution is proposed to integrate these technologies and build a dependable organic SCPS. To the best of our knowledge, this is the first comprehensive survey on dependable SCPS building and evaluation.

show abstract

“…Decomposition of an assume-guarantee contract for an overall system into assume-guarantee contracts for components has been investigated in an approach that checks whether a candidate decomposition satisfies certain sufficient conditions, and if not amends the contracts in a sound way in search of a correct decomposition [61]. This approach is formulated generically for contract theories whose operators satisfy certain distributivity requirements, and is demonstrated in theories with trace-based and modal transition specifications.…”

Section: A Modular Design By Contractmentioning

confidence: 99%

Layering Assume-Guarantee Contracts for Hierarchical System Design

Filippidis

Murray

2018

Proc. IEEE

View full text Add to dashboard Cite

Specifications for complex engineering systems are typically decomposed into specifications for individual subsystems in a manner that ensures they are implementable and simpler to develop further. We describe a method to algorithmically construct component specifications that implement a given specification when assembled. By eliminating variables that are irrelevant to realizability of each component, we simplify the specifications and reduce the amount of information necessary for operation. We parametrize the information flow between components by introducing parameters that select whether each variable is visible to a component or not. The decomposition algorithm identifies which variables can be hidden while preserving realizability and ensuring correct composition, and these are eliminated from component specifications by quantification and conversion of binary decision diagrams to formulas. The resulting specifications describe component viewpoints with full information with respect to the remaining variables, which is essential for tractable algorithmic synthesis of implementations. The specifications are written in TLA + , with liveness properties restricted to an implication of conjoined recurrence properties, known as GR(1). We define an operator for forming open systems from closed systems, based on a variant of the "while-plus" operator. This operator simplifies the writing of specifications that are realizable without being vacuous. To convert the generated specifications from binary decision diagrams to readable formulas over integer variables, we symbolically solve a minimal covering problem. We show with examples how the method can be applied to obtain contracts that formalize the hierarchical structure of system design.

show abstract

Contract-Based Requirement Modularization via Synthesis of Correct Decompositions

Cited by 13 publications

References 24 publications

Hierarchical Modeling of Complex Internet of Things Systems Using Conceptual Modeling Approaches

Hierarchical Modeling of Complex Internet of Things Systems Using Conceptual Modeling Approaches

A Comprehensive Technological Survey on the Dependable Self-Management CPS: From Self-Adaptive Architecture to Self-Management Strategies

Layering Assume-Guarantee Contracts for Hierarchical System Design

Contact Info

Product

Resources

About