A Formal Approach to Modelling Time Properties of Service-Oriented Systems? (original) (raw)
Related papers
Analysing Time-Related Properties of Service-Oriented Systems
Future Directions
C WS: A Timed Service-Oriented Calculus
Lecture Notes in Computer Science, 2007
Sensoria Process Calculi for Service-Oriented Computing
Lecture Notes in Computer Science, 2007
Modelling and Analysis of Time-related Properties in Web Service Compositions
2005
From StPowla processes to SRML models
Formal Aspects of Computing, 2010
Timed modelling and analysis in web service compositions
2006
MoDeST — A Modelling and Description Language for Stochastic Timed Systems
Process Algebra and Probabilistic Methods. Performance Modelling and Verification, 2001
A Formal Approach to Service-Oriented Modelling���
2009
Representation, Verication, and Computation of Timed Properties in Web Service Compositions
A timed semantics for web services composition
International Journal of Business Process Integration and Management, 2017
Engineering service oriented applications: from StPowla processes to SRML models
… of the Theory and practice of …, 2008
F.: On temporal abstractions of web services protocols (extended version
2005
Formalizing of web-services specifications using temporal logics
Aymen Mohammed Khodayer Al-Dulaimi
ScienceRise, 2015
Representation, Verification, and Computation of Timed Properties in Web Service Compositions ∗
2006
Specification and Verification of Timed Semantic web Services
2014
Mapping OWL-S Process Model to Timed Automata
Journal of Information Technology Research
Analysis and applications of timed service protocols
ACM Transactions on Software Engineering and Methodology, 2010
An overview and synthesis on timed process algebras
Lecture Notes in Computer Science, 1992
Describing and reasoning on Web Services using Process Algebra
International Journal of Business Process Integration and Management, 2006
Performance annotated business processes in service-oriented architectures
2007
Structured Formalization of Service-Oriented Specifications
2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009
Modeling event-driven service-oriented systems using the palladio component model
… of the 1st international workshop on …, 2009
A Calculus for Orchestration of Web Services
2007
A process algebraic approach to the specification and analysis of resource-bound real-time systems
Proceedings of The IEEE, 1994
Formalizing languages for service oriented computing
2007
A Process Calculus for QoS-Aware Applications
2005
Process algebra for performance evaluation
2002