Jiri Adamek, Frantisek Plasil  Home/Search
Context Related
| nenya.ms.mff.cuni....lasil_jsme2003.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. (Update)
Cited by: More
Specification and Generation of Environment for Model.. - Parizek, Plasil (2006) (Correct)
Enhancing Behavior Protocols with Atomic Actions - Jan Kofron November (Correct)
Behavior Protocols: Efficient Checking For Composition Errors - Post-Graduate Student Mgr (Correct)
Similar documents (at the sentence level):
23.8%: Component Composition Errors and Update - Atomicity Static Analysis (2005) (Correct)
20.5%: Behavior Protocols Capturing Errors and Updates - Adamek, Plasil (2003) (Correct)
16.4%: Behavior Protocols: Tolerating Faulty Architectures and.. - Adamek, Plasil (2002) (Correct)
Active bibliography (related documents): More All
0.3: A Connector Model Suitable for Automatic Generation of Connectors - Bulej, Bures (2003) (Correct)
0.3: Enhancing Component Behavior Specifications with Port State Machines - Mencl (2003) (Correct)
0.3: Specifying Component Behavior with Port State Machines - Mencl (2004) (Correct)
Similar documents based on text: More All
0.5: Bounding Component Behavior via Protocols - Plasil, Visnovsky, Besta (1999) (Correct)
0.4: Erroneous Architecture Is A Relative Concept - Adamek, Plasil (2004) (Correct)
0.4: Specifying Components with Use Cases: Analyzing Support for.. - Mencl, al. (2004) (Correct)
Related documents from co-citation: More All
851: Static Analysis of Component Systems Using Behavior Protocols (context) - Adamek - 2003
800: Erroneous Architecture is a Relative Concept - Adamek, Plasil - 2004
700: Partial Bindings of Components - any Harm (context) - Adamek, Plasil - 2004
BibTeX entry: (Update)
J. Adamek, F. Plasil, Component Composition Errors and Update Atomicity: Static Analysis, Accepted for publication in the Journal of Software Maintenance and Evolution: Research and Practice, 2004 (also preliminary version available at http://nenya.ms.mff.cuni.cz) http://citeseer.ist.psu.edu/adamek03component.html More
@misc{ adamek04component,
author = "J. Adamek and F. Plasil",
title = "Component Composition Errors and Update Atomicity: Static Analysis",
text = "J. Adamek, F. Plasil, Component Composition Errors and Update Atomicity:
Static Analysis, Accepted for publication in the Journal of Software Maintenance
and Evolution: Research and Practice, 2004 (also preliminary version available
at http://nenya.ms.mff.cuni.cz)",
year = "2004",
url = "citeseer.ist.psu.edu/adamek03component.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989 ACM
195 The Theory and Practice of Concurrency (context) - Roscoe - 1998
192 Specifying Distributed Software Architectures - Magee, Dulay et al. - 1995 ACM DBLP
139 ACM Transactions on Software Engineering and Methodology (context) - Allen, Garlan - 1997
43 The polyadic pi-calculus: a tutorial - Milner - 1993
30 SOFADCUP Architecture Component Trading and Dynamic Updating - Janecek, Architecture et al. - 1998
20 Supporting Unanticipated Dynamic Adaptation of Application B.. (context) - Redmond, Cahill - 2002 ACM DBLP
18 Runtime support for type-safe dynamic Java classes (context) - Malabarba, Pandey et al. - 2000 ACM DBLP
17 Analysing the Behaviour of Distributed Systems using Tracta (context) - Giannakopoulou, Kramer et al. - 1999
17 Dynamic Reconfiguration of Distributed Applications - Hofmeister - 1993 ACM
17 Behavior protocols for Software Components - Plasil, Visnovsky - 2002 ACM DBLP
13 Bounding Behavior via Protocols (context) - Plasil, Visnovsky et al. - 1999
7 Web Services Flow Language (context) - Leyman - 2001
7 Distributed Component System Based On Architecture Descripti.. - Kalibera, Tuma - 2002 DBLP
6 Behavior Protocols: Tolerating Faulty Architectures and Supp.. - Adamek, Plasil - 2002
6 A Deployment System for Pervasive Computing - Andersson - 2000 ACM DBLP
5 Writing Distributed Programs in Polylith (context) - Hofmeister, Atlee et al. - 1990 ACM
4 Modeling Software Components Using Behavior Protocols - Visnovsky - 2002
4 the construction of components with explicit protocols (context) - Farias, Sudholt - 2002
3 Proposed Final Draft of Interface Specification Version (context) - Bruneton, Coupaye et al. - 2002
3 A Meta-Model Driven Methodology for State Transfer in Compon.. (context) - Vandewoude, Berbers - 2003
http://www.microsoft.com/com
http://www.omg.org/technology/uml/index.htm
http://nenya.ms.m#.cuni.cz/thegroup/SOFA/sofa.html
http://www.omg.org/technology/documents/formal/components.htm
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