Matches in SemOpenAlex for { <https://semopenalex.org/work/W1991511247> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1991511247 endingPage "26" @default.
- W1991511247 startingPage "12" @default.
- W1991511247 abstract "Automata-based modeling languages, like Component Interaction Automata, offer an attractive means to capture and analyze the behavioral aspects of interacting components. At the center of these modeling languages we find finite state machines that allow for a fine-grained description how and when specific service requests may interact with other components or the environment. Unfortunately, automata-based approaches suffer from exponential state explosion, a major obstacle to the successful application of these formalisms in modeling real-world scenarios. In order to cope with the complexity of individual specifications we can apply partition refinement, an abstraction technique to alleviate the state explosion problem. But this technique too exhibits exponential time and space complexity and, worse, does not offer any guarantees for success. To better understand as to why partition refinement succeeds in some cases while it fails in others, we conducted an empirical study on the performance of a partition refinement algorithm for Component Interaction Automata specifications. As a result we have identified suitable predictors for the expected effectiveness of partition refinement. It is the structure, not the size, of a specification that weighs heavier on the outcome of partition refinement. In particular, Component Interaction Automata specifications for real-world systems are capable of producing scale-free networks containing structural artifacts that can assist the partition refinement algorithm not only converge earlier, but also yield a significant state space reduction on occasion." @default.
- W1991511247 created "2016-06-24" @default.
- W1991511247 creator A5030486012 @default.
- W1991511247 creator A5035597558 @default.
- W1991511247 date "2010-10-12" @default.
- W1991511247 modified "2023-10-16" @default.
- W1991511247 title "Partition Refinement of Component Interaction Automata: Why Structure Matters More Than Size" @default.
- W1991511247 cites W1597655219 @default.
- W1991511247 cites W2000302396 @default.
- W1991511247 cites W2005602913 @default.
- W1991511247 cites W2008620264 @default.
- W1991511247 cites W2015937909 @default.
- W1991511247 cites W2043452331 @default.
- W1991511247 cites W2070787093 @default.
- W1991511247 cites W2076983043 @default.
- W1991511247 cites W2082312109 @default.
- W1991511247 cites W2148606196 @default.
- W1991511247 cites W2264709743 @default.
- W1991511247 cites W2317739826 @default.
- W1991511247 cites W2978725006 @default.
- W1991511247 cites W4250217784 @default.
- W1991511247 doi "https://doi.org/10.4204/eptcs.37.2" @default.
- W1991511247 hasPublicationYear "2010" @default.
- W1991511247 type Work @default.
- W1991511247 sameAs 1991511247 @default.
- W1991511247 citedByCount "1" @default.
- W1991511247 countsByYear W19915112472012 @default.
- W1991511247 crossrefType "journal-article" @default.
- W1991511247 hasAuthorship W1991511247A5030486012 @default.
- W1991511247 hasAuthorship W1991511247A5035597558 @default.
- W1991511247 hasBestOaLocation W19915112471 @default.
- W1991511247 hasConcept C112505250 @default.
- W1991511247 hasConcept C11413529 @default.
- W1991511247 hasConcept C114614502 @default.
- W1991511247 hasConcept C121332964 @default.
- W1991511247 hasConcept C167822520 @default.
- W1991511247 hasConcept C168167062 @default.
- W1991511247 hasConcept C171018156 @default.
- W1991511247 hasConcept C2524010 @default.
- W1991511247 hasConcept C33923547 @default.
- W1991511247 hasConcept C41008148 @default.
- W1991511247 hasConcept C42812 @default.
- W1991511247 hasConcept C80444323 @default.
- W1991511247 hasConcept C97355855 @default.
- W1991511247 hasConceptScore W1991511247C112505250 @default.
- W1991511247 hasConceptScore W1991511247C11413529 @default.
- W1991511247 hasConceptScore W1991511247C114614502 @default.
- W1991511247 hasConceptScore W1991511247C121332964 @default.
- W1991511247 hasConceptScore W1991511247C167822520 @default.
- W1991511247 hasConceptScore W1991511247C168167062 @default.
- W1991511247 hasConceptScore W1991511247C171018156 @default.
- W1991511247 hasConceptScore W1991511247C2524010 @default.
- W1991511247 hasConceptScore W1991511247C33923547 @default.
- W1991511247 hasConceptScore W1991511247C41008148 @default.
- W1991511247 hasConceptScore W1991511247C42812 @default.
- W1991511247 hasConceptScore W1991511247C80444323 @default.
- W1991511247 hasConceptScore W1991511247C97355855 @default.
- W1991511247 hasLocation W19915112471 @default.
- W1991511247 hasLocation W19915112472 @default.
- W1991511247 hasLocation W19915112473 @default.
- W1991511247 hasOpenAccess W1991511247 @default.
- W1991511247 hasPrimaryLocation W19915112471 @default.
- W1991511247 hasRelatedWork W1501820462 @default.
- W1991511247 hasRelatedWork W1518566078 @default.
- W1991511247 hasRelatedWork W1991511247 @default.
- W1991511247 hasRelatedWork W2484578205 @default.
- W1991511247 hasRelatedWork W2783424283 @default.
- W1991511247 hasRelatedWork W2913154806 @default.
- W1991511247 hasRelatedWork W2938037396 @default.
- W1991511247 hasRelatedWork W4213453687 @default.
- W1991511247 hasRelatedWork W4288372561 @default.
- W1991511247 hasRelatedWork W1590800102 @default.
- W1991511247 hasVolume "37" @default.
- W1991511247 isParatext "false" @default.
- W1991511247 isRetracted "false" @default.
- W1991511247 magId "1991511247" @default.
- W1991511247 workType "article" @default.