Service oriented formal encapsulation using data restriction for legacy systems

被引：0
作者：
National Engineering Research Center for CIMS, Department of Automation, Tsinghua University, Beijing 100084, China [1 ]
机构：
来源：
Gaojishu Tongxin | 2008年 / 10卷 / 1059-1065期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
[31]   Migration of a Legacy Procedural System to Service-Oriented Computing Using Feature Analysis [J].
Millham, Richard .
PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPLEX, INTELLIGENT AND SOFTWARE INTENSIVE SYSTEMS (CISIS 2010), 2010, :538-543
[32]   Rode standard for record oriented data encapsulation [J].
Booth, E ;
Algan, U ;
Duke, P ;
Guyton, W ;
Norris, M ;
Stainsby, S ;
Theriot, J ;
Wildgoose, B ;
Wilhelmsen, D .
GEOPHYSICS, 1996, 61 (05) :1545-1558
[33]   Formal Modelling and Verification in Service-Oriented Computing [J].
ter Beek, Maurice ;
Gnesi, Stefania ;
Martinelli, Fabio ;
Mazzanti, Franco ;
Petrocchi, Marinella .
ERCIM NEWS, 2007, (70) :27-28
[34]   A Service-Oriented UML Profile with Formal Support [J].
Bruni, Roberto ;
Hoelzl, Matthias ;
Koch, Nora ;
Lafuente, Alberto Lluch ;
Mayer, Philip ;
Montanari, Ugo ;
Schroeder, Andreas ;
Wirsing, Martin .
SERVICE-ORIENTED COMPUTING - ICSOC 2009, PROCEEDINGS, 2009, 5900 :455-+
[35]   Formal methods in the era of service-oriented design [J].
Margaria, Tiziana .
2011 35TH IEEE ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2011, :452-453
[36]   A formal model of service-oriented design structure [J].
Perepletchikov, Mikhail ;
Ryan, Caspar ;
Frampton, Keith ;
Schmidt, Heinz W. .
2007 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2007, :71-+
[37]   Challenges and opportunities for formal specifications in service oriented Architectures [J].
Alonso, Gustavo .
APPLICATIONS AND THEORY OF PETRI NETS, 2008, 5062 :1-6
[38]   INTERACTION PATTERNS IN FORMAL SERVICE-ORIENTED ORGANIZATIONS [J].
BERKOWITZ, NH ;
BENNIS, WG .
ADMINISTRATIVE SCIENCE QUARTERLY, 1961, 6 (01) :25-50
[39]   DATA ABSTRACTION, DATA ENCAPSULATION AND OBJECT-ORIENTED PROGRAMMING [J].
COHEN, AT .
SIGPLAN NOTICES, 1984, 19 (01) :31-35
[40]   Extracting reusable object-oriented legacy code segments with combined formal concept analysis and slicing techniques for service integration [J].
Zhang, Zhuopeng ;
Yang, Hongji ;
Chu, William C. .
QSIC 2006: SIXTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2006, :385-+
12345