Jiri Adamek, Frantisek Plasil  Home/Search
Context Related
| nenya.ms.mff.cuni....PlasilUSE2003.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: nenya.ms.mff.cu...lications.phtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We discuss the problem of defining a composition operator in behavior protocols in a way which would reflect false communication of the software components being composed. Here the issue is that the classical way in the ADLs supporting behavior description, such as Wright and TRACTA, is to employ a CSP-like parallel composition which inherently yields only "successful traces", ignoring non-accepted attempts for communication. We show that resulting from component composition, several types of... (Update)
Context of citations to this paper: More
...relation in UML 2.0. 4. Pro cases as an instance of Generic UC View. In [16,17] we developed Pro cases, based on Behavior Protocols [20,1,18,22], as an instance of Generic UC View. Here, we very briefly describe how Pro cases interpret the Generic UC View. Basic concepts An...
Cited by: More
Specifying Components with Use Cases: Analyzing Support for.. - Mencl, al. (2004) (Correct)
Specifying Component Behavior with Port State Machines - Mencl (2004) (Correct)
Static Analysis of Component Systems Using Behavior - Protocols Extend Ed (2003) (Correct)
Similar documents (at the sentence level):
57.9%: Behavior Protocols: Tolerating Faulty Architectures and.. - Adamek, Plasil (2002) (Correct)
24.7%: Component Composition Errors and Update Atomicity: Static.. - Adamek, Plasil (2003) (Correct)
24.7%: Component Composition Errors and Update - Atomicity Static Analysis (2005) (Correct)
Active bibliography (related documents): More All
1.1: Modeling Software Components Using Behavior Protocols - Visnovsky (2003) (Correct)
0.3: Enhancing Component Behavior Specifications with Port State Machines - Mencl (2003) (Correct)
0.2: Behavior Protocols for Software Components - Plasil, Visnovsky (2002) (Correct)
Similar documents based on text: More All
1.0: Bounding Component Behavior via Protocols - Plasil, Visnovsky, Besta (1999) (Correct)
0.8: Behavior Protocols - Plasil, Visnovsky, Besta (2000) (Correct)
0.8: Transaction Models vers. Behavior Protocols - Prochazka, Plasil (1999) (Correct)
Related documents from co-citation: More All
7: Behavior protocols for Software Components - Plasil, Visnovsky - 2002
7: SOFADCUP Architecture Component Trading and Dynamic Updating - Janecek, Architecture et al. - 1998
6: Components with Catalysis (context) - D'Souza - 2001
BibTeX entry: (Update)
Adamek, J., Plasil, F.: Behavior Protocols Capturing Errors and Updates (submitted, extended version available as TR 02/10, Dept. of Computer Science, University of New Hampshire, Durham, 2002) http://citeseer.ist.psu.edu/adamek03behavior.html More
@misc{ adamek02behavior,
author = "J. Adamek and F. Plasil",
title = "Behavior Protocols Capturing Errors and Updates",
text = "Adamek, J., Plasil, F.: Behavior Protocols Capturing Errors and Updates
(submitted, extended version available as TR 02/10, Dept. of Computer Science,
University of New Hampshire, Durham, 2002)",
year = "2002",
url = "citeseer.ist.psu.edu/adamek03behavior.html" }
Citations (may not include all citations):484 A Calculus of Communicating Systems (context) - Milner
195 The Theory and Practice of Concurrency (context) - Roscoe - 1998
192 Specifying Distributed Software Architectures - Magee, Dulay et al. - 1995
139 ACM Transactions on Software Engineering and Methodology (context) - Allen, Garlan et al. - 1997
30 SOFA/DCUP Architecture for Component Trading and Dynamic Upd.. - Plasil, Balek et al. - 1998
17 Analysing the Behaviour of Distributed Systems using Tracta (context) - Giannakopoulou, Kramer et al. - 1999
17 Behavior protocols for Software Components - Plasil, Visnovsky - 2002
13 Bounding Behavior via Protocols (context) - Plasil, Visnovsky et al. - 1999
9 Enhanced Component Interfaces to Support Dynamic Adaption an.. (context) - Reussner - 2001
6 Behavior Protocols: Tolerating Faulty Architectures and Supp.. - Adamek, Plasil
5 The Fractal Composition Framework (context) - Bruneton, Coupaye et al. - 2002
4 Web Services Flow Language (WSFL 1.0 (context) - Leyman - 2001
4 the construction of components with explicit protocols (context) - Farias, Sudholt - 2002
4 Purtilo: Writing Distributed Programs in Polylith (context) - Hofmeister, Atlee - 1990
4 Modeling Software Components Using Behavior Protocols - Visnovsky - 2002
3 Enhancing Behavior Protocols - Adamek - 2001
1 Distributed ComponentSystemBasedOn Architecture Description:.. (context) - Kalibera, Tuma - 2002
http://www.microsoft.com/com
http://www.omg.org/technology/uml/index.htm
http://www.omg.org/technology/documents/formal/components.htm
http://nenya.ms.mff.cuni.cz/thegroup/SOFA/sofa.html
http://java.sun.com/products/ejb
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://nenya.ms.mff.cuni.cz/publications.phtml): More
Transaction Models vers. Behavior Protocols - Prochazka, Plasil (1999) (Correct)
Open CORBA Benchmarking - Tuma, Buble (2001) (Correct)
Enhancing Behavior Protocols - Adamek (2001) (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