Constructive extensibility of trustworthy component-based systems
作者： José Dihego , Augusto Sampaio , Marcel Oliveira
关键词:
摘要: In this paper we propose inheritance relations for a CSP-based component model (BRIC), which supports constructive design based on composition rules that preserves desired properties such as deadlock freedom. We enhance with support extensibility via inheritance. The proposed allow extension of functionality, whilst preserving service conformance, define by means substitutability test. also establish an algebraic connection between and refinement. illustrate our results presenting case study consists bank system incrementally improved
acm.org
sci-hub.se 参考文章(15)
José Dihego, Pedro Antonino, Augusto Sampaio, Algebraic Laws for Process Subtyping international conference on formal engineering methods. pp. 4- 19 ,(2013) , 10.1007/978-3-642-41202-8_2
Pedro Antonino, Augusto Sampaio, Jim Woodcock, A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes formal methods. pp. 62- 77 ,(2014) , 10.1007/978-3-319-06410-9_5
Heike Wehrheim, Behavioral Subtyping Relations for Active Objects formal methods. ,vol. 23, pp. 143- 170 ,(2003) , 10.1023/A:1024764232069
Ana Cavalcanti, Robert M. Hierons, Testing with inputs and outputs in CSP fundamental approaches to software engineering. pp. 359- 374 ,(2013) , 10.1007/978-3-642-37057-1_26
Franz Puntigam, Types for Active Objects Based on Trace Semantics Springer, Boston, MA. pp. 4- 19 ,(1997) , 10.1007/978-0-387-35082-0_2
Pierre America, Designing an Object-Oriented Programming Language with Behavioural Subtyping Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages. pp. 60- 90 ,(1990) , 10.1007/BFB0019440
Zhiming Liu, Charles Morisset, Volker Stolz, rCOS: theory and tool for component-based model driven development fundamentals of software engineering. pp. 62- 80 ,(2009) , 10.1007/978-3-642-11623-0_3
John Derrick, Howard Bowman, A Junction between State Based and Behavioural Specification (Invited Talk) formal methods for open object-based distributed systems. pp. 213- 239 ,(1999)
Rodrigo Ramos, Augusto Sampaio, Alexandre Mota, Systematic Development of Trustworthy Component Systems formal methods. ,vol. 5850, pp. 140- 156 ,(2009) , 10.1007/978-3-642-05089-3_10
Barbara H. Liskov, Jeannette M. Wing, A behavioral notion of subtyping ACM Transactions on Programming Languages and Systems. ,vol. 16, pp. 1811- 1841 ,(1994) , 10.1145/197320.197383