Executing temporal logic programs
Executing temporal logic programs
Solution of a problem in concurrent programming control
Communications of the ACM
Concurrency verification: introduction to compositional and noncompositional methods
Concurrency verification: introduction to compositional and noncompositional methods
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Representing Disjunction and Quantifiers in RDF
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Concurrent Execution Semantics of DAML-S with Subtypes
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Some Very Compositional Temporal Properties
PROCOMET '94 Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi
WWW '05 Proceedings of the 14th international conference on World Wide Web
Adaptive integration of third-party web services
DEAS '05 Proceedings of the 2005 workshop on Design and evolution of autonomic application software
Interaction Protocols as Design Abstractions for Business Processes
IEEE Transactions on Software Engineering
Towards self-adaptive service-oriented architectures
Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications
Service oriented architectures: approaches, technologies and research issues
The VLDB Journal — The International Journal on Very Large Data Bases
Computer integrated construction: A review and proposals for future direction
Advances in Engineering Software
Modeling process-driven and service-oriented architectures using patterns and pattern primitives
ACM Transactions on the Web (TWEB)
Designing multi-layers self-adaptive complex applications
Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting
Ontology based algorithm modeling: obtaining adaptation for SOA environment
Proceedings of the 2nd workshop on Middleware for service oriented computing: held at the ACM/IFIP/USENIX International Middleware Conference
A survey of agent-oriented software engineering for service-oriented computing
International Journal of Web Engineering and Technology
Process-context aware matchmaking for web service composition
Journal of Network and Computer Applications
Specifying and Verifying Web Transactions
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
A journey to highly dynamic, self-adaptive service-based applications
Automated Software Engineering
Towards autonomic service-oriented applications
International Journal of Autonomic Computing
Composition of Temporal Bounded Services in Open MAS
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part II: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living
Ensuring interoperable service-oriented systems through engineered self-healing
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
A formal framework for compositional verification of organic computing systems
ATC'10 Proceedings of the 7th international conference on Autonomic and trusted computing
Patterns for service composition
Proceedings of The Fourth International C* Conference on Computer Science and Software Engineering
PEWS platform: a web services composition environment
Proceedings of the 6th International Workshop on Enhanced Web Service Technologies
OWL-P: a methodology for business process development
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
An agent architecture for ensuring quality of service by dynamic capability certification
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
A formal approach to service component architecture
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Deadline prediction scheduling based on benefits
Future Generation Computer Systems
Test-and-adapt: An approach for improving service interchangeability
ACM Transactions on Software Engineering and Methodology (TOSEM) - Testing, debugging, and error handling, formal methods, lifecycle concerns, evolution and maintenance
Hi-index | 0.00 |
Current ontological specifications for semantically describing properties of Web services are limited to their static interface description. Normally for proving properties of service compositions, mapping input/output parameters and specifying the pre/post conditions are found to be sufficient. However these properties are assertions only on the initial and final states of the service respectively. They do not help in specifying/verifying ongoing behaviour of an individual service or a composed system. We propose a framework for enriching semantic service descriptions with two compositional assertions: assumption and commitment that facilitate reasoning about service composition and verification of their integration. The technique is based on Interval Temporal Logic(ITL): a sound formalism for specifying and proving temporal properties of systems. Our approach utilizes the recently proposed Semantic Web Rule Language.