Jiri Adamek, Frantisek Plasil  Home/Search
Context Related
| nenya.ms.mff.cuni...._architectures.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...tml?s=auth#tuma (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The problem this paper addresses is that an architecture formed of software components can contain composition errors (introduced, for instance, as a result of the choice of a framework's parameters). The title "Erroneous architecture is a relative concept" is to emphasize that whether a composition error occurs in an architecture depends on the way the architecture is used in its environment. An important issue is finding a way to possibly statically verify that, for a given setup containing... (Update)
Cited by: More
Enhancing Behavior Protocols with Exceptions - Holub Charles University (2005) (Correct)
Active bibliography (related documents): More All
0.3: Predictable Dynamic Plugin Systems - Chatley, Eisenbach, Kramer, Magee.. (Correct)
0.3: The Spec# Programming System: An Overview - Barnett, Leino, Schulte (Correct)
0.1: Requirements on Component Technologies for Heavy Vehicles - Möller, Fröberg, Nolin (2004) (Correct)
Similar documents based on text: More All
0.5: Component Composition Errors and Update - Atomicity Static Analysis (2005) (Correct)
0.4: Component Composition Errors and Update Atomicity: Static.. - Adamek, Plasil (2003) (Correct)
0.3: Bounding Component Behavior via Protocols - Plasil, Visnovsky, Besta (1999) (Correct)
Related documents from co-citation: More All
1088: Static Analysis of Component Systems Using Behavior Protocols (context) - Adamek - 2003
896: Partial Bindings of Components - any Harm (context) - Adamek, Plasil - 2004
800: Component Composition Errors and Update Atomicity: Static Analysis - Adamek, Plasil - 2004
BibTeX entry: (Update)
Adamek J., Plasil F., Erroneous Architecture is a Relative Concept, in Proceedings of Software Engineering and Applications (SEA) conference, Cambridge, MA, USA, ACTA Press, 2004 http://citeseer.ist.psu.edu/adamek04erroneous.html More
@misc{ adamek04erroneous,
author = "J. Adamek and F. Plasil",
title = "Erroneous Architecture is a Relative Concept",
text = "Adamek J., Plasil F., Erroneous Architecture is a Relative Concept, in
Proceedings of Software Engineering and Applications (SEA) conference, Cambridge,
MA, USA, ACTA Press, 2004",
year = "2004",
url = "citeseer.ist.psu.edu/adamek04erroneous.html" }
Citations (may not include all citations):484 A Calculus of Communicating Systems (context) - Milner - 1992
195 The Theory and Practice of Concurrency (context) - Roscoe - 1998
192 Specifying Distributed Software Architectures - Magee, Dulay et al. - 1995 ACM DBLP
35 Static Analysis of Component Systems Using Behavior Protocol.. (context) - Adamek - 2003 ACM DBLP
30 Component Composition Errors and Update Atomicity: Static An.. - Adamek, Plasil - 2004
25 Interface Automata (context) - Alfaro, Henzinger - 2001 ACM DBLP
21 IEEE Transactions on Software Engineering (context) - Plasil, Visnovsky et al. - 2002
20 Enforcing a lips Usage Policy for CORBA components (context) - Jr, Hofmeister - 2003 ACM DBLP
19 Recursive and Dynamic Software Composition with Sharing - Bruneton, Coupaye et al. - 2002
15 Assumption Generation for Software Component Verification - Giannakopoulou, Pasareanu et al. - 2002 ACM DBLP
9 Volume III: A Technology for Predictable Assembly from Certi.. (context) - Wallnau - 2003
3 Serious Specification for Composing components (context) - Barnett - 2003
1 Modeling a Framework for Plugins (context) - Chatley, Eisenbach et al. - 2003
1 Static Checking for Missing Bindings of Components (context) - Adamek, Plasil - 2004
http://java.sun.com/products/ejb
http://sofa.forge.objectweb.org/
http://www.omg.org/technology/documents/formal/compo
http://www.microsoft.com/com
Documents on the same site (http://nenya.ms.mff.cuni.cz/publications.phtml?s=auth#tuma): More
Using Connectors for Deployment of Heterogeneous Applications.. - Bulej, Bure (2005) (Correct)
Supporting Interoperability in Corba via Object Services - Adamec, Gróf.. (1995) (Correct)
Component Definition Language - Mencl (1998) (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