Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Three logics for branching bisimulation
Journal of the ACM (JACM)
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
A compositional approach to performance modelling
A compositional approach to performance modelling
Semiring-based constraint satisfaction and optimization
Journal of the ACM (JACM)
Action versus State based Logics for Transition Systems
Proceedings of the LITP Spring School on Theoretical Computer Science: Semantics of Systems of Concurrent Processes
Web Service Conversation Modeling: A Cornerstone for E-Business Automation
IEEE Internet Computing
QoS-Aware Middleware for Web Services Composition
IEEE Transactions on Software Engineering
The Grid 2: Blueprint for a New Computing Infrastructure
The Grid 2: Blueprint for a New Computing Infrastructure
Supporting policy-driven behaviors in web services: experiences and issues
Proceedings of the 2nd international conference on Service oriented computing
A Broker-Based Framework for QoS-Aware Web Service Composition
EEE '05 Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'05) on e-Technology, e-Commerce and e-Service
ACM Transactions on Software Engineering and Methodology (TOSEM)
Dealing with change: components versus services
Communications of the ACM
A stakeholder-driven service life cycle model for SOA
2nd international workshop on Service oriented software engineering: in conjunction with the 6th ESEC/FSE joint meeting
QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
A generic component model for building systems software
ACM Transactions on Computer Systems (TOCS)
QoS-Aware Service Composition in Dino
ECOWS '07 Proceedings of the Fifth European Conference on Web Services
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
A Model-Driven Approach to Service Orchestration
SCC '08 Proceedings of the 2008 IEEE International Conference on Services Computing - Volume 2
Service-Oriented Modelling of Automotive Systems
COMPSAC '08 Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference
A Model-Checking Approach for Service Component Architectures
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Structured communication-centred programming for web services
ESOP'07 Proceedings of the 16th European conference on Programming
CC-Pi: a constraint-based language for specifying service level agreements
ESOP'07 Proceedings of the 16th European conference on Programming
A calculus for orchestration of web services
ESOP'07 Proceedings of the 16th European conference on Programming
Algebraic semantics of service component modules
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Structured co-spans: an algebra of interaction protocols
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
A coordination model for service-oriented interactions
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
From BPEL to SRML: a formal transformational approach
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Engineering service oriented applications: from StPowla processes to SRML models
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
An abstract model of service discovery and binding
Formal Aspects of Computing
When are two web services compatible?
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Modeling- and analysis techniques for web services and business processes
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
A survey of automated web service composition methods
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
SCC: a service centered calculus
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
A formal approach to service component architecture
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Early model-analysis of logistics systems
ICSOC'10 Proceedings of the 2010 international conference on Service-oriented computing
A formal model for service-oriented interactions
Science of Computer Programming
A graph-based design framework for services
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
| Hi-index | 0.00 |
This chapter provides an overview of SRML -- the SENSORIA Reference Modelling Language. Our focus will be on the language primitives that SRML offers for modelling business services and activities, the methodological approach that SRML supports, and the mathematical semantics the underpins the modelling approach, including techniques for qualitative and quantitative analysis.