See this document in CiteSeerX!

Enhancing Behavior Protocols with Exceptions (2005)  (Make Corrections)  
V. Holub Charles University, Faculty of Mathematics and Physics, Prague,...



  Home/Search   Context   Related

 
View or download:
nenya.ms.mff.cuni.c...holubwds2005.pdf
Cached:  PDF   PS.gz  PS  Image  Update  Help

From:  nenya.ms.mff.cu...onsplain.phtml (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Formal methods for describing the communicating behavior of software components are believed to become widely used. Based on our experience with creating a formal behavior model of an already existing reasonably-large project, handling exceptions explicitly in the formal language is a necessity. Otherwise the specification becomes undesirably large, hard to read and consequently error-prone. (Update)

Active bibliography (related documents):   More   All
3.9:   Erroneous Architecture Is A Relative Concept - Adamek, Plasil (2004)   (Correct)
1.1:   Behavior Protocols: Efficient Checking For Composition Errors - Post-Graduate Student Mgr   (Correct)
1.1:   Performance Improvements of Behavior Protocol Checking - Kofron (2005)   (Correct)

Similar documents based on text:   More   All
0.1:   Enhancing Behavior Protocols with Atomic Actions - Jan Kofron November   (Correct)
0.1:   A Unique Structure of Two-Generated Binary Equality Sets - Holub   (Correct)
0.1:   Enhancing Behavior Protocols - Adamek (2001)   (Correct)

BibTeX entry:   (Update)

@misc{ university-enhancing,
  author = "Holub Charles University",
  title = "Enhancing Behavior Protocols with Exceptions",
  url = "citeseer.ist.psu.edu/732922.html" }
Citations (may not include all citations):
1174   Statecharts: A Visual Formalism for Complex systems - Harel - 1987
1174   Statecharts: A Visual Formalism for Complex systems - Harel - 1987
1174   Statecharts: A Visual Formalism for Complex systems - Harel - 1987
1174   Statecharts: A Visual Formalism for Complex systems - Harel - 1987
1174   Statecharts: A Visual Formalism for Complex systems - Harel - 1987
1174   Statecharts: A Visual Formalism for Complex systems - Harel - 1987
1174   Statecharts: A Visual Formalism for Complex systems - Harel - 1987
1174   Statecharts: A Visual Formalism for Complex systems - Harel - 1987
1174   Statecharts: A Visual Formalism for Complex systems - Harel - 1987
1174   Statecharts: A Visual Formalism for Complex systems - Harel - 1987
1174   Statecharts: A Visual Formalism for Complex systems - Harel - 1987
1174   Statecharts: A Visual Formalism for Complex systems - Harel - 1987
1174   Statecharts: A Visual Formalism for Complex systems - Harel - 1987
1174   Statecharts: A Visual Formalism for Complex systems - Harel - 1987
1174   Statecharts: A Visual Formalism for Complex systems - Harel - 1987
1174   Statecharts: A Visual Formalism for Complex systems - Harel - 1987
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
35   Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003
32   Erroneous Architecture is a Relative Concept - Adamek, Plasil - 2004
32   Erroneous Architecture is a Relative Concept - Adamek, Plasil - 2004
32   Erroneous Architecture is a Relative Concept - Adamek, Plasil - 2004
32   Erroneous Architecture is a Relative Concept - Adamek, Plasil - 2004
32   Erroneous Architecture is a Relative Concept - Adamek, Plasil - 2004
32   Erroneous Architecture is a Relative Concept - Adamek, Plasil - 2004
32   Erroneous Architecture is a Relative Concept - Adamek, Plasil - 2004
32   Erroneous Architecture is a Relative Concept - Adamek, Plasil - 2004
32   Erroneous Architecture is a Relative Concept - Adamek, Plasil - 2004
32   Erroneous Architecture is a Relative Concept - Adamek, Plasil - 2004
32   Erroneous Architecture is a Relative Concept - Adamek, Plasil - 2004
32   Erroneous Architecture is a Relative Concept - Adamek, Plasil - 2004
32   Erroneous Architecture is a Relative Concept - Adamek, Plasil - 2004
32   Erroneous Architecture is a Relative Concept - Adamek, Plasil - 2004
32   Erroneous Architecture is a Relative Concept - Adamek, Plasil - 2004
32   Erroneous Architecture is a Relative Concept - Adamek, Plasil - 2004
32   Erroneous Architecture is a Relative Concept - Adamek, Plasil - 2004
32   Erroneous Architecture is a Relative Concept - Adamek, Plasil - 2004
32   Erroneous Architecture is a Relative Concept - Adamek, Plasil - 2004
32   Erroneous Architecture is a Relative Concept - Adamek, Plasil - 2004
32   Erroneous Architecture is a Relative Concept - Adamek, Plasil - 2004
32   Erroneous Architecture is a Relative Concept - Adamek, Plasil - 2004
32   Erroneous Architecture is a Relative Concept - Adamek, Plasil - 2004
32   Erroneous Architecture is a Relative Concept - Adamek, Plasil - 2004
32   Erroneous Architecture is a Relative Concept - Adamek, Plasil - 2004
32   Erroneous Architecture is a Relative Concept - Adamek, Plasil - 2004
32   Erroneous Architecture is a Relative Concept - Adamek, Plasil - 2004
32   Erroneous Architecture is a Relative Concept - Adamek, Plasil - 2004
32   Erroneous Architecture is a Relative Concept - Adamek, Plasil - 2004
32   Erroneous Architecture is a Relative Concept - Adamek, Plasil - 2004
32   Erroneous Architecture is a Relative Concept - Adamek, Plasil - 2004
32   Erroneous Architecture is a Relative Concept - Adamek, Plasil - 2004
30   Component Composition Errors and Update Atomicity: Static An.. - Adamek, Plasil - 2005
30   Component Composition Errors and Update Atomicity: Static An.. - Adamek, Plasil - 2005
30   Component Composition Errors and Update Atomicity: Static An.. - Adamek, Plasil - 2005
30   Component Composition Errors and Update Atomicity: Static An.. - Adamek, Plasil - 2005
30   Component Composition Errors and Update Atomicity: Static An.. - Adamek, Plasil - 2005
30   Component Composition Errors and Update Atomicity: Static An.. - Adamek, Plasil - 2005
30   Component Composition Errors and Update Atomicity: Static An.. - Adamek, Plasil - 2005
30   Component Composition Errors and Update Atomicity: Static An.. - Adamek, Plasil - 2005
30   Component Composition Errors and Update Atomicity: Static An.. - Adamek, Plasil - 2005
30   Component Composition Errors and Update Atomicity: Static An.. - Adamek, Plasil - 2005
30   Component Composition Errors and Update Atomicity: Static An.. - Adamek, Plasil - 2005
30   Component Composition Errors and Update Atomicity: Static An.. - Adamek, Plasil - 2005
30   Component Composition Errors and Update Atomicity: Static An.. - Adamek, Plasil - 2005
30   Component Composition Errors and Update Atomicity: Static An.. - Adamek, Plasil - 2005
30   Component Composition Errors and Update Atomicity: Static An.. - Adamek, Plasil - 2005
30   Component Composition Errors and Update Atomicity: Static An.. - Adamek, Plasil - 2005
30   Component Composition Errors and Update Atomicity: Static An.. - Adamek, Plasil - 2005
30   Component Composition Errors and Update Atomicity: Static An.. - Adamek, Plasil - 2005
30   Component Composition Errors and Update Atomicity: Static An.. - Adamek, Plasil - 2005
30   Component Composition Errors and Update Atomicity: Static An.. - Adamek, Plasil - 2005
30   Component Composition Errors and Update Atomicity: Static An.. - Adamek, Plasil - 2005
30   Component Composition Errors and Update Atomicity: Static An.. - Adamek, Plasil - 2005
30   Component Composition Errors and Update Atomicity: Static An.. - Adamek, Plasil - 2005
30   Component Composition Errors and Update Atomicity: Static An.. - Adamek, Plasil - 2005
30   Component Composition Errors and Update Atomicity: Static An.. - Adamek, Plasil - 2005
28   Partial Bindings of Components - any Harm (context) - Adamek, Plasil - 2004
28   Partial Bindings of Components - any Harm (context) - Adamek, Plasil - 2004
28   Partial Bindings of Components - any Harm (context) - Adamek, Plasil - 2004
28   Partial Bindings of Components - any Harm (context) - Adamek, Plasil - 2004
28   Partial Bindings of Components - any Harm (context) - Adamek, Plasil - 2004
28   Partial Bindings of Components - any Harm (context) - Adamek, Plasil - 2004
28   Partial Bindings of Components - any Harm (context) - Adamek, Plasil - 2004
28   Partial Bindings of Components - any Harm (context) - Adamek, Plasil - 2004
28   Partial Bindings of Components - any Harm (context) - Adamek, Plasil - 2004
28   Partial Bindings of Components - any Harm (context) - Adamek, Plasil - 2004
28   Partial Bindings of Components - any Harm (context) - Adamek, Plasil - 2004
28   Partial Bindings of Components - any Harm (context) - Adamek, Plasil - 2004
28   Partial Bindings of Components - any Harm (context) - Adamek, Plasil - 2004
28   Partial Bindings of Components - any Harm (context) - Adamek, Plasil - 2004
28   Partial Bindings of Components - any Harm (context) - Adamek, Plasil - 2004
28   Partial Bindings of Components - any Harm (context) - Adamek, Plasil - 2004
28   Partial Bindings of Components - any Harm (context) - Adamek, Plasil - 2004
28   Partial Bindings of Components - any Harm (context) - Adamek, Plasil - 2004
28   Partial Bindings of Components - any Harm (context) - Adamek, Plasil - 2004
28   Partial Bindings of Components - any Harm (context) - Adamek, Plasil - 2004
28   Partial Bindings of Components - any Harm (context) - Adamek, Plasil - 2004
28   Partial Bindings of Components - any Harm (context) - Adamek, Plasil - 2004
28   Partial Bindings of Components - any Harm (context) - Adamek, Plasil - 2004
28   Partial Bindings of Components - any Harm (context) - Adamek, Plasil - 2004
28   Partial Bindings of Components - any Harm (context) - Adamek, Plasil - 2004
28   Partial Bindings of Components - any Harm (context) - Adamek, Plasil - 2004
28   Partial Bindings of Components - any Harm (context) - Adamek, Plasil - 2004
28   Partial Bindings of Components - any Harm (context) - Adamek, Plasil - 2004
25   Interface Automata (context) - Alfaro, Henzinger - 2001
25   Interface Automata (context) - Alfaro, Henzinger - 2001
25   Interface Automata (context) - Alfaro, Henzinger - 2001
25   Interface Automata (context) - Alfaro, Henzinger - 2001
25   Interface Automata (context) - Alfaro, Henzinger - 2001
25   Interface Automata (context) - Alfaro, Henzinger - 2001
25   Interface Automata (context) - Alfaro, Henzinger - 2001
25   Interface Automata (context) - Alfaro, Henzinger - 2001
25   Interface Automata (context) - Alfaro, Henzinger - 2001
25   Interface Automata (context) - Alfaro, Henzinger - 2001
25   Interface Automata (context) - Alfaro, Henzinger - 2001
25   Interface Automata (context) - Alfaro, Henzinger - 2001
25   Interface Automata (context) - Alfaro, Henzinger - 2001
25   Interface Automata (context) - Alfaro, Henzinger - 2001
25   Interface Automata (context) - Alfaro, Henzinger - 2001
25   Interface Automata (context) - Alfaro, Henzinger - 2001
25   Interface Automata (context) - Alfaro, Henzinger - 2001
25   Interface Automata (context) - Alfaro, Henzinger - 2001
25   Interface Automata (context) - Alfaro, Henzinger - 2001
25   Interface Automata (context) - Alfaro, Henzinger - 2001
25   Interface Automata (context) - Alfaro, Henzinger - 2001
25   Interface Automata (context) - Alfaro, Henzinger - 2001
21   IEEE Transactions on Software Engineering (context) - Plasil, Visnovsky - 2002
21   IEEE Transactions on Software Engineering (context) - Plasil, Visnovsky - 2002
21   IEEE Transactions on Software Engineering (context) - Plasil, Visnovsky - 2002
21   IEEE Transactions on Software Engineering (context) - Plasil, Visnovsky - 2002
21   IEEE Transactions on Software Engineering (context) - Plasil, Visnovsky - 2002
21   IEEE Transactions on Software Engineering (context) - Plasil, Visnovsky - 2002
20   Enforcing a lips Usage Policy for CORBA Components (context) - DePrince, jr - 2003
20   Enforcing a lips Usage Policy for CORBA Components (context) - DePrince, jr - 2003
20   Enforcing a lips Usage Policy for CORBA Components (context) - DePrince, jr - 2003
20   Enforcing a lips Usage Policy for CORBA Components (context) - DePrince, jr - 2003
20   Enforcing a lips Usage Policy for CORBA Components (context) - DePrince, jr - 2003
20   Enforcing a lips Usage Policy for CORBA Components (context) - DePrince, jr - 2003
20   Enforcing a lips Usage Policy for CORBA Components (context) - DePrince, jr - 2003
20   Enforcing a lips Usage Policy for CORBA Components (context) - DePrince, jr - 2003
20   Enforcing a lips Usage Policy for CORBA Components (context) - DePrince, jr - 2003
20   Enforcing a lips Usage Policy for CORBA Components (context) - DePrince, jr - 2003
20   Enforcing a lips Usage Policy for CORBA Components (context) - DePrince, jr - 2003
20   Enforcing a lips Usage Policy for CORBA Components (context) - DePrince, jr - 2003
20   Enforcing a lips Usage Policy for CORBA Components (context) - DePrince, jr - 2003
20   Enforcing a lips Usage Policy for CORBA Components (context) - DePrince, jr - 2003
20   Enforcing a lips Usage Policy for CORBA Components (context) - DePrince, jr - 2003
20   Enforcing a lips Usage Policy for CORBA Components (context) - DePrince, jr - 2003
20   Enforcing a lips Usage Policy for CORBA Components (context) - DePrince, jr - 2003
20   Enforcing a lips Usage Policy for CORBA Components (context) - DePrince, jr - 2003
20   Enforcing a lips Usage Policy for CORBA Components (context) - DePrince, jr - 2003
18   Concurrency: State model and Java programs (context) - Magee, Kramer - 1999
12   Managing Complexity of Control Software through Concurrency (context) - Hildering - 2005
12   Managing Complexity of Control Software through Concurrency (context) - Hildering - 2005
12   Managing Complexity of Control Software through Concurrency (context) - Hildering - 2005
12   Managing Complexity of Control Software through Concurrency (context) - Hildering - 2005
12   Managing Complexity of Control Software through Concurrency (context) - Hildering - 2005
12   Managing Complexity of Control Software through Concurrency (context) - Hildering - 2005
12   Managing Complexity of Control Software through Concurrency (context) - Hildering - 2005
12   Managing Complexity of Control Software through Concurrency (context) - Hildering - 2005
12   Managing Complexity of Control Software through Concurrency (context) - Hildering - 2005
12   Managing Complexity of Control Software through Concurrency (context) - Hildering - 2005
12   Managing Complexity of Control Software through Concurrency (context) - Hildering - 2005
12   Managing Complexity of Control Software through Concurrency (context) - Hildering - 2005
9   Enhancing Component Specification by Behavior Description - .. (context) - Plasil - 2005
9   Enhancing Component Specification by Behavior Description - .. (context) - Plasil - 2005
9   Enhancing Component Specification by Behavior Description - .. (context) - Plasil - 2005
9   Enhancing Component Specification by Behavior Description - .. (context) - Plasil - 2005
9   Enhancing Component Specification by Behavior Description - .. (context) - Plasil - 2005

[Article contains additional citations not shown here]

Documents on the same site (http://nenya.ms.mff.cuni.cz/publications-plain.phtml):   More
Automated Detection of Performance Regressions: The Mono.. - Kalibera, Bulej, Tuma (2005)   (Correct)
Employing OCL for Specifying Behavior Compliance - Samek   (Correct)
Mono Regression Benchmarking - Kalibera, Bulej, Tuma (2005)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC