Modeling Software Components Using Behavior Protocols

摘要: This thesis proposes a novel approach for description of software component’s behavior. The behavior is specified by using protocols –a notation similar to regular expressions, which easy read and comprehend. Based on an abstract model communication between components, the introduces notion component defines compliance relation protocol-based specification. concept resp. protocol can be used reasoning about specification refining correctness that verified at design time adherence implementation its checked run time. Further, forms basis definition dynamic update correctness. As proof concept, are in SOFA architecture language multiple levels abstraction. application allows define relationship among descriptions different abstraction also implementation.