A calculus for reasoning about software composition

详细信息    查看全文

• 作者：Achermann ; Franz ; Nierstrasz ; Oscar
• 关键词：Software components ; Process calculi ; Software architecture
• 刊名：Theoretical Computer Science
• 出版年：2005
• 出版时间：February 25, 2005
• 年：2005
• 卷：331
• 期：2-3
• 页码：367-396
• 全文大小：348 K

文摘

Although the term software component has become commonplace, there is no universally accepted definition of the term, nor does there exist a common foundation for specifying various kinds of components and their compositions. We propose such a foundation. The Piccola calculus is a process calculus, based on the asynchronous Formula Not Shown -calculus, extended with explicit namespaces. The calculus is high level, rather than minimal, and is consequently convenient for expressing and reasoning about software components, and different styles of composition. We motivate and present the calculus, and outline how it is used to specify the semantics of Piccola, a small composition language. We demonstrate how the calculus can be used to simplify compositions by partial evaluation, and we briefly outline some other applications of the calculus to reasoning about compositional styles.