Animating the Approach of Deriving Operational Semantics from Algebraic Semantics for Web Services

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2011.56 ◽

2011 ◽

Author(s):

Qian Wang ◽

Huibiao Zhu

Keyword(s):

Web Services ◽

Operational Semantics ◽

Algebraic Semantics

Download Full-text

Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude

2013 18th International Conference on Engineering of Complex Computer Systems ◽

10.1109/iceccs.2013.46 ◽

2013 ◽

Cited By ~ 1

Author(s):

Peng Liu ◽

Huibiao Zhu ◽

Shengchao Qin ◽

Phillip J. Brooke ◽

Xi Wu

Keyword(s):

Web Services ◽

Operational Semantics ◽

Algebraic Semantics

Download Full-text

An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination

Fifth International Conference on Quality Software (QSIC'05) ◽

10.1109/qsic.2005.14 ◽

2006 ◽

Author(s):

Jingtao Yang ◽

C. Cirstea ◽

P. Henderson

Keyword(s):

Web Services ◽

Operational Semantics

Download Full-text

Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language

2009 Australian Software Engineering Conference ◽

10.1109/aswec.2009.20 ◽

2009 ◽

Cited By ~ 1

Author(s):

Huibiao Zhu ◽

Yongxin Zhao ◽

Jifeng He

Keyword(s):

Normal Form ◽

Operational Semantics ◽

System Level ◽

Algebraic Semantics ◽

Driven System ◽

Event Driven ◽

Form Approach

Download Full-text

Linking Operational Semantics and Algebraic Semantics for Wireless Networks

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41202-8_25 ◽

2013 ◽

pp. 380-396

Author(s):

Xiaofeng Wu ◽

Huibiao Zhu

Keyword(s):

Wireless Networks ◽

Operational Semantics ◽

Algebraic Semantics

Download Full-text

An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework

Lecture Notes in Computer Science - Web Services and Formal Methods ◽

10.1007/978-3-642-29834-9_7 ◽

2012 ◽

pp. 79-94 ◽

Cited By ~ 2

Author(s):

José Antonio Mateo ◽

Valentín Valero ◽

Gregorio Díaz

Keyword(s):

Web Services ◽

Operational Semantics ◽

Web Services Resource Framework

Download Full-text

Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35705-3_9 ◽

2013 ◽

pp. 186-203

Author(s):

Chengcheng Wu ◽

Yongxin Zhao ◽

Huibiao Zhu

Keyword(s):

Operational Semantics ◽

Algebraic Semantics

Download Full-text

Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language

2009 33rd Annual IEEE Software Engineering Workshop ◽

10.1109/sew.2009.17 ◽

2009 ◽

Author(s):

Huibiao Zhu ◽

Fan Yang ◽

Jifeng He ◽

Jonathan P. Bowen ◽

Jeff W. Sanders

Keyword(s):

Operational Semantics ◽

Algebraic Semantics ◽

Shared Variable

Download Full-text

Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35705-3_8 ◽

2013 ◽

pp. 164-185 ◽

Cited By ~ 2

Author(s):

Huibiao Zhu ◽

Peng Liu ◽

Jifeng He ◽

Shengchao Qin

Keyword(s):

Operational Semantics ◽

Algebraic Semantics ◽

Mechanical Approach

Download Full-text

Unifying Denotational Semantics with Operational Semantics for Web Services

Distributed Computing and Internet Technology - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77115-9_23 ◽

2007 ◽

pp. 225-239 ◽

Cited By ~ 4

Author(s):

Huibiao Zhu ◽

Jifeng He ◽

Jing Li

Keyword(s):

Web Services ◽

Operational Semantics ◽

Denotational Semantics

Download Full-text

Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language

The Journal of Logic and Algebraic Programming ◽

10.1016/j.jlap.2011.06.003 ◽

2012 ◽

Vol 81 (1) ◽

pp. 2-25 ◽

Cited By ~ 11

Author(s):

Huibiao Zhu ◽

Fan Yang ◽

Jifeng He ◽

Jonathan P. Bowen ◽

Jeff W. Sanders ◽

...

Keyword(s):

Operational Semantics ◽

Algebraic Semantics ◽

Shared Variable

Download Full-text