2008
DOI: 10.1007/978-3-540-87891-9_9
|View full text |Cite
|
Sign up to set email alerts
|

State Space Reduction Techniques for Component Interfaces

Abstract: Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software systems. Unfortunately, the underlying formalisms suffer from combinatorial state explosion when constructing new specifications for composite components or systems and may therefore render the application of these techniques impractical for real-world applications. In this paper, we explore the bisimulation technique as a means for… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
13
0

Year Published

2010
2010
2012
2012

Publication Types

Select...
4
1

Relationship

2
3

Authors

Journals

citations
Cited by 6 publications
(13 citation statements)
references
References 34 publications
0
13
0
Order By: Relevance
“…Partition refinement through weak bisimulation can alleviate the impact of state explosion, but this technique too exhibits exponential time and space complexity [16]. Worse, success is erratic.…”
Section: Resultsmentioning
confidence: 99%
See 4 more Smart Citations
“…Partition refinement through weak bisimulation can alleviate the impact of state explosion, but this technique too exhibits exponential time and space complexity [16]. Worse, success is erratic.…”
Section: Resultsmentioning
confidence: 99%
“…This algorithm is part of our experimental composition framework for Component Interaction Automata, implemented in PLT-Scheme, that provides support not only for the specification and refinement of component interaction automata, but also for the extraction of metrics data [16,15].…”
Section: Partition Refinement For Component Interaction Automatamentioning
confidence: 99%
See 3 more Smart Citations