Behavior Protocols Capturing Errors and Updates

摘要: We discuss the problem of defining a composition operator in behavior protocols way which would reflect false communication software components being composed. Here issue is that classical ADLs supporting description, such as Wright and TRACTA, to employ CSP-like parallel inherently yields only ”successful traces”, ignoring nonaccepted attempts for communication. show that, resulting from component composition, several types errors can occur: bad activity, no divergence. The key idea behind activity asymmetry roles during event exchange typical real programs should be honored: caller considered initiator call (callee has passive role). In most formal systems, this not case. propose new operator, ”consent”, reflecting these by producing erroneous traces. addition, using consent it statically determined, whether atomicity dynamic update implicitly guarantied thanks its current environment.