From Architectural to Behavioural Specification of Services (original) (raw)
Related papers
Formalizing languages for service oriented computing
2007
Formalising Service-Oriented Design
Journal of Software, 2008
A novel specification and composition language for services
A formal model for service-oriented interactions
Science of Computer Programming, 2012
Formalizing Service-Oriented Architectures
IT Professional, 2008
A Formal Model of Service-Oriented Design Structure
2007 Australian Software Engineering Conference (ASWEC'07), 2007
Towards Service-Based Systems Engineering: Formalizing and µ-Checking Service Specifications
Engineering Service Oriented Applications: FromStPowlaProcessestoSRMLModels⋆
… FASE 2008, held as part of …, 2008
Structured Formalization of Service-Oriented Specifications
2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009
Service based Software Specification
2003
Towards a Mathematical Foundation for Service-Oriented Applications Design
Journal of Software, 2006
SOFIA: An Algebraic Specification Language for Developing Services
2016
ArchiMeDeS: A model-driven framework for the specification of service-oriented architectures
Information Systems, 2012
Towards service-based systems engineering: Formalizing and µ-checking service descriptions
Reasoning About a Service-oriented Programming Paradigm
Claudio Guidi, Fabrizio Montesi
Electronic Proceedings in Theoretical Computer Science, 2009
Service-Oriented Software Engineering
International Journal of Systems and Service-Oriented Engineering
A Lightweight Formal Framework for Service-Oriented Applications Design
Lecture Notes in Computer Science, 2005
Service-Oriented Software Engineering: A Guidance Framework for Service Engineering Methods
A symbolic semantics for a calculus for service-oriented computing
2009
Service Specification Language
Deliverable of ADAPT IST project IST-2001-37126, 2003
Modeling and reasoning about service-oriented applications via goals and commitments
2010
SOCK: A Calculus for Service Oriented Computing
Lecture Notes in Computer Science, 2006
Programming service oriented applications
2008
A Formal Approach to Service-Oriented Modelling���
2009
An automated method for service specification
Proceedings of the Warm Up Workshop for ACM/IEEE ICSE 2010 on - WUP '09, 2009
A model-based approach to service creation
Proceedings 7th IEEE Workshop on Future Trends of Distributed Computing Systems, 1999
A Formal Support to Business and Architectural Design for Service-Oriented Systems
Lecture Notes in Computer Science, 2011
A Design Tool for Service-oriented Systems
2012
Service-Oriented Software Development
AMCIS 2009 Proceedings, 2009
A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems
Lecture Notes in Computer Science, 2009
Service-oriented computing - semantics, processes, agents
2005