ACM Transactions on Computer Systems (TOCS)
Communicating sequential processes
Communicating sequential processes
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Performance and Reliability Analysis Using Directed Acyclic Graphs
IEEE Transactions on Software Engineering
Probabilistic and prioritized models of timed CSP
MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
A compositional approach to performance modelling
A compositional approach to performance modelling
Semiring-based constraint satisfaction and optimization
Journal of the ACM (JACM)
Theoretical Computer Science
Stochastic process algebras—between LOTOS and Markov chains
Computer Networks and ISDN Systems - Special issue: trends in formal description techniques
Process algebra for performance evaluation
Theoretical Computer Science
Protocol Specification and Testing
Protocol Specification and Testing
Communication and Concurrency
An Overview and Synthesis on Timed Process Algebras
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Introduction: Service-oriented computing
Communications of the ACM - Service-oriented computing
QoS-Aware Middleware for Web Services Composition
IEEE Transactions on Software Engineering
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
Current Solutions for Web Service Composition
IEEE Internet Computing
Composing Web Services: A QoS View
IEEE Internet Computing
Probabilistic, context-sensitive, and goal-oriented service selection
Proceedings of the 2nd international conference on Service oriented computing
Queueing Networks and Markov Chains
Queueing Networks and Markov Chains
SHReQ: Coordinating Application Level QoS
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
The costs and limits of availability for replicated services
ACM Transactions on Computer Systems (TOCS)
Modeling component connectors in Reo by constraint automata
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
A Calculus and logic of resources and processes
Formal Aspects of Computing
Web services choreography and orchestration in Reo and constraint automata
Proceedings of the 2007 ACM symposium on Applied computing
Adaptive Service Composition in Flexible Processes
IEEE Transactions on Software Engineering
QCCS: A Formal Model to Enforce QoS Requirements in Service Composition
TASE '07 Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
Q-Automata: Modelling the Resource Usage of Concurrent Components
Electronic Notes in Theoretical Computer Science (ENTCS)
An algebraic definition of simulation between programs
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
A Logic for Application Level QoS
Electronic Notes in Theoretical Computer Science (ENTCS)
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
Component connectors with QoS guarantees
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
QoS-Aware composition of web services: an evaluation of selection algorithms
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Service selection algorithms for composing complex services with multiple qos constraints
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
QoS-Driven web service composition with inter service conflicts
APWeb'06 Proceedings of the 8th Asia-Pacific Web conference on Frontiers of WWW Research and Development
A process calculus for qos-aware applications
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Hi-index | 0.00 |
Assuring Quality of Service (QoS) properties is critical in Service-Oriented Application (SOA) development. In this paper, we present an approach for specifying the QoS properties of services along multiple dimensions and selecting services for their composition in a way that optimizes the QoS of the result. We apply the integration of concerns paradigm to allow combined specification of QoS and functional properties by using Quantitative Constraint Automata, which integrate QoS aspects into service-oriented application development processes, mainly for service selection and composition.