Specifying and Composing Interaction Protocols for Service-Oriented System Modelling-Reference-Cited by-同舟云学术

Specifying and Composing Interaction Protocols for Service-Oriented System Modelling

Published:2007 Issue: Volume: Page:358-373
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Abreu João,Bocchi Laura,Fiadeiro José Luiz,Lopes Antónia

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-73196-2_23

Reference13 articles.

1. Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. Springer, Berlin, Heidelberg, New York (2004)

2. Lecture Notes in Computer Science;K. Baïna,2004

3. Fiadeiro, J.L.: Categories for Software Engineering. Springer, Berlin, Heidelberg, New York (2004)

4. Fiadeiro, J.L.: Designing for software’s social complexity. IEEE Computer 40(1), 34–39 (2007)

5. Fiadeiro, J.L., Lopes, A., Bocchi, L.: The SENSORIA Reference Modelling Language: Primitives for Configuration Management (2006), Available from www.sensoria-ist.eu

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Towards AiP as a Service;International Journal of Information Systems in the Service Sector;2015-04

2. A SOC-Based Formal Specification and Verification of Hybrid Systems;Recent Trends in Algebraic Development Techniques;2015

3. Designing Complex Agent Interaction Protocols Using Colored Petri Nets;Standards and Standardization;2015

4. Designing Complex Agent Interaction Protocols Using Colored Petri Nets;International Journal of Agent Technologies and Systems;2014-04

5. Behavioral specification of reactive systems using stream-based I/O tables;Software & Systems Modeling;2011-05-31