Quansheng Wu

Learn More
Formal semantics of components are foundations for rigorous analyzing and reasoning about the composition process and its correctness. According to the notion of software contract, components interaction patterns and composition process patterns, formal semantics of components are proposed. With this basis and inspired by typing system and process(More)
—Based on the notion of 'design by contract', components interaction patterns and process patterns of component composition, formal semantics of components are proposed. With this basis and inspired by typing system and process construction methods in π-calculus, in this paper, a formal typing framework for the composition and replacement of components are(More)
  • 1