Amanote Research

Amanote Research

    RegisterSign In

Web Service Contracting: Specification and Reasoning With SCIFF

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-72667-8_7
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

Unknown

Authors
Marco AlbertiFederico ChesaniMarco GavanelliEvelina LammaPaola MelloMarco MontaliPaolo Torroni
Publisher

Springer Berlin Heidelberg


Related search

Semantic Web Service Choreography: Contracting and Enactment

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Ontology-Based Context Modelling and Reasoning in the Web Service Migration Framework

Acta Electrotechnica et Informatica
2013English

Web Ontology Reasoning With Datatype Groups

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Modular Reasoning for Actor Specification Diagrams

1999English

Produce a Service Specification.

BMJ
1991English

Web Service Query Service

2009English

Web Service Composition With User Preferences

English

Domain-Specific Web Service Discovery With Service Class Descriptions

2005English

Automated Reasoning for Web Page Layout

ACM SIGPLAN Notices
Computer Science
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy