Graph Representation of Sessions and Pipelines for Structured Service Programming (original) (raw)
Related papers
Science of Computer Programming, 2014
A Graph Syntax for Processes and Services
2009
A Model of Service Oriented Computation
2008
Software Components: a Formal Semantics Based on Coloured Petri Nets
Electronic Notes in Theoretical Computer Science, 2006
Proceedings of the 2014 International C* Conference on Computer Science & Software Engineering - C3S2E '14, 2008
Hierarchical Specification Of Software Processes In Oikos
Vincenzo Ambriola, Carlo Montangero
Proceedings of the 7th International Software Process Workshop, Communication and Coordination in the Software Process', 1991
Object-Oriented Structure Refinement – A Graph Transformational Approach
Electronic Notes in Theoretical Computer Science, 2007
Protocols for processes: programming in the large for open systems
Sigplan Notices, 2004
Proceedings of the 2nd international conference on Service oriented computing - ICSOC '04, 2004
Declarative specification and verification of service choreographiess
ACM Transactions on …, 2010
Protocols for processes: programming in the large for open systems (extended abstract
2004
Sensoria Process Calculi for Service-Oriented Computing
Lecture Notes in Computer Science, 2007
Programming service oriented applications
2008
Describing and reasoning on Web Services using Process Algebra
International Journal of Business Process Integration and Management, 2006
Engineering Methods in the Service-Oriented Context
IFIP Advances in Information and Communication Technology, 2011
Formalizing languages for service oriented computing
2007
Modeling and Execution on Web Services in the Web Information Systems
Ac 2009-2001: A Software Process Engineering Course
2009
A P 2 P Service Description Language Specification : Technical Report
2006
Formal Model-Driven Development of Communicating Systems
Lecture Notes in Computer Science, 2005
JACK: A process algebra implementation in Java
2002
D.: pCG: An implementation of the process mechanism and an extensible CG programming language
2001
A transformation system for concurrent processes
Acta Informatica, 1998
Department of Software Development Monash University
1996
Combining Graphical and Formal Specification: the Software Bus Case Study
2001
pCG: An Implementation of the Process Mechanism and an Extensible CG Programming Language
2001
UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models
2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE), 2016
Formal semantics and analysis of control flow in WS-BPEL
Science of Computer Programming, 2007
Structured Formalization of Service-Oriented Specifications
2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009
Towards a unified formal model for service orchestration and choreography
2011
Web service orchestration driven by for mal specification
Charif Mahmoudi, Fabrice Mourlin
icics.info