Interactive Discovery and Composition of Complex Web Services View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2006

AUTHORS

Sergey Stupnikov , Leonid Kalinichenko , Stephane Bressan

ABSTRACT

Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composition, verification, monitoring and recovery of services for the realization of complex processes. Most existing works addressing this issue are based on the Ontology Web Language for Services (OWL-S) and founded on description logic. Because the discovery and composition tasks are designed to be fully automatic, the solutions are limited to the realization of rather simple processes. To overcome this deficiency, this paper proposes an approach in which service capability descriptions are based on full first order predicate logic and enable an interactive discovery and composition of services for the realization of complex processes. The proposed approach is well suited when automatic service discovery does not constitute an absolute requirement and the discovery can be done interactively (semi-automatically) with human expert intervention. Such applications are, for instance, often met in e-science. The proposed approach is an extension and adaptation of the compositional information systems development (CISD) method based on the SYNTHESIS language and previously proposed by some of the authors. The resulting method offers a canonical extensible object model with its formal automatic semantic interpretation in the Abstract Machine Notation (AMN) as well as reasoning capabilities applying AMN interactively to the discovery and composition of web services. More... »

PAGES

216-231

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/11827252_18

DOI

http://dx.doi.org/10.1007/11827252_18

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1023599886


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0801", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Artificial Intelligence and Image Processing", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0806", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information Systems", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Institute of Informatics Problems, Russian Academy of Science", 
          "id": "http://www.grid.ac/institutes/None", 
          "name": [
            "Institute of Informatics Problems, Russian Academy of Science"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Stupnikov", 
        "givenName": "Sergey", 
        "id": "sg:person.014457744532.44", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014457744532.44"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Institute of Informatics Problems, Russian Academy of Science", 
          "id": "http://www.grid.ac/institutes/None", 
          "name": [
            "Institute of Informatics Problems, Russian Academy of Science"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Kalinichenko", 
        "givenName": "Leonid", 
        "id": "sg:person.016144507043.63", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016144507043.63"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "National University of Singapore, Singapore", 
          "id": "http://www.grid.ac/institutes/grid.4280.e", 
          "name": [
            "National University of Singapore, Singapore"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Bressan", 
        "givenName": "Stephane", 
        "id": "sg:person.07573107521.12", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07573107521.12"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2006", 
    "datePublishedReg": "2006-01-01", 
    "description": "Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composition, verification, monitoring and recovery of services for the realization of complex processes. Most existing works addressing this issue are based on the Ontology Web Language for Services (OWL-S) and founded on description logic. Because the discovery and composition tasks are designed to be fully automatic, the solutions are limited to the realization of rather simple processes. To overcome this deficiency, this paper proposes an approach in which service capability descriptions are based on full first order predicate logic and enable an interactive discovery and composition of services for the realization of complex processes. The proposed approach is well suited when automatic service discovery does not constitute an absolute requirement and the discovery can be done interactively (semi-automatically) with human expert intervention. Such applications are, for instance, often met in e-science. The proposed approach is an extension and adaptation of the compositional information systems development (CISD) method based on the SYNTHESIS language and previously proposed by some of the authors. The resulting method offers a canonical extensible object model with its formal automatic semantic interpretation in the Abstract Machine Notation (AMN) as well as reasoning capabilities applying AMN interactively to the discovery and composition of web services.", 
    "editor": [
      {
        "familyName": "Manolopoulos", 
        "givenName": "Yannis", 
        "type": "Person"
      }, 
      {
        "familyName": "Pokorn\u00fd", 
        "givenName": "Jaroslav", 
        "type": "Person"
      }, 
      {
        "familyName": "Sellis", 
        "givenName": "Timos K.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/11827252_18", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-37899-0", 
        "978-3-540-37900-3"
      ], 
      "name": "Advances in Databases and Information Systems", 
      "type": "Book"
    }, 
    "keywords": [
      "Abstract Machine Notation", 
      "web services", 
      "interactive discovery", 
      "information systems development methods", 
      "automatic service discovery", 
      "complex web services", 
      "web service standards", 
      "composition of services", 
      "Ontology Web Language", 
      "human expert intervention", 
      "extensible object model", 
      "full first order predicate logic", 
      "automatic semantic interpretation", 
      "system development method", 
      "level of automation", 
      "first-order predicate logic", 
      "order predicate logic", 
      "service discovery", 
      "Web Language", 
      "reasoning capabilities", 
      "capability descriptions", 
      "synthesis language", 
      "recovery of services", 
      "object model", 
      "description logics", 
      "composition task", 
      "global services", 
      "development methods", 
      "expert intervention", 
      "such applications", 
      "semantic interpretation", 
      "predicate logic", 
      "service standards", 
      "services", 
      "logic", 
      "language", 
      "complex process", 
      "automation", 
      "architecture", 
      "notation", 
      "realization", 
      "task", 
      "verification", 
      "discovery", 
      "requirements", 
      "capability", 
      "instances", 
      "applications", 
      "method", 
      "process", 
      "issues", 
      "extension", 
      "monitoring", 
      "solution", 
      "work", 
      "standards", 
      "model", 
      "description", 
      "science", 
      "benefits", 
      "adaptation", 
      "simple process", 
      "authors", 
      "interpretation", 
      "levels", 
      "recovery", 
      "composition", 
      "deficiency", 
      "intervention", 
      "absolute requirement", 
      "approach", 
      "paper"
    ], 
    "name": "Interactive Discovery and Composition of Complex Web Services", 
    "pagination": "216-231", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1023599886"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/11827252_18"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/11827252_18", 
      "https://app.dimensions.ai/details/publication/pub.1023599886"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-10T10:54", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220509/entities/gbq_results/chapter/chapter_462.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/11827252_18"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/11827252_18'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/11827252_18'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/11827252_18'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/11827252_18'


 

This table displays all metadata directly associated to this object as RDF triples.

163 TRIPLES      23 PREDICATES      99 URIs      91 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/11827252_18 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 anzsrc-for:0806
4 schema:author N1fe746de7e13459cb4fa36df9bb370ac
5 schema:datePublished 2006
6 schema:datePublishedReg 2006-01-01
7 schema:description Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composition, verification, monitoring and recovery of services for the realization of complex processes. Most existing works addressing this issue are based on the Ontology Web Language for Services (OWL-S) and founded on description logic. Because the discovery and composition tasks are designed to be fully automatic, the solutions are limited to the realization of rather simple processes. To overcome this deficiency, this paper proposes an approach in which service capability descriptions are based on full first order predicate logic and enable an interactive discovery and composition of services for the realization of complex processes. The proposed approach is well suited when automatic service discovery does not constitute an absolute requirement and the discovery can be done interactively (semi-automatically) with human expert intervention. Such applications are, for instance, often met in e-science. The proposed approach is an extension and adaptation of the compositional information systems development (CISD) method based on the SYNTHESIS language and previously proposed by some of the authors. The resulting method offers a canonical extensible object model with its formal automatic semantic interpretation in the Abstract Machine Notation (AMN) as well as reasoning capabilities applying AMN interactively to the discovery and composition of web services.
8 schema:editor N62850a1a5a3b419ca31903edcecece5b
9 schema:genre chapter
10 schema:inLanguage en
11 schema:isAccessibleForFree false
12 schema:isPartOf Nd89f3da16c404bdb9bb8c63307315412
13 schema:keywords Abstract Machine Notation
14 Ontology Web Language
15 Web Language
16 absolute requirement
17 adaptation
18 applications
19 approach
20 architecture
21 authors
22 automatic semantic interpretation
23 automatic service discovery
24 automation
25 benefits
26 capability
27 capability descriptions
28 complex process
29 complex web services
30 composition
31 composition of services
32 composition task
33 deficiency
34 description
35 description logics
36 development methods
37 discovery
38 expert intervention
39 extensible object model
40 extension
41 first-order predicate logic
42 full first order predicate logic
43 global services
44 human expert intervention
45 information systems development methods
46 instances
47 interactive discovery
48 interpretation
49 intervention
50 issues
51 language
52 level of automation
53 levels
54 logic
55 method
56 model
57 monitoring
58 notation
59 object model
60 order predicate logic
61 paper
62 predicate logic
63 process
64 realization
65 reasoning capabilities
66 recovery
67 recovery of services
68 requirements
69 science
70 semantic interpretation
71 service discovery
72 service standards
73 services
74 simple process
75 solution
76 standards
77 such applications
78 synthesis language
79 system development method
80 task
81 verification
82 web service standards
83 web services
84 work
85 schema:name Interactive Discovery and Composition of Complex Web Services
86 schema:pagination 216-231
87 schema:productId N604de3652f6b4f8e9d4778ac4dcc43d4
88 Nff90a0452a0b4d709d431b197f241a82
89 schema:publisher N008d018d77b842e4a27bb08468cd5a62
90 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023599886
91 https://doi.org/10.1007/11827252_18
92 schema:sdDatePublished 2022-05-10T10:54
93 schema:sdLicense https://scigraph.springernature.com/explorer/license/
94 schema:sdPublisher N0e74df9accbf41c1b94d5b851ec6b6c5
95 schema:url https://doi.org/10.1007/11827252_18
96 sgo:license sg:explorer/license/
97 sgo:sdDataset chapters
98 rdf:type schema:Chapter
99 N008d018d77b842e4a27bb08468cd5a62 schema:name Springer Nature
100 rdf:type schema:Organisation
101 N0e74df9accbf41c1b94d5b851ec6b6c5 schema:name Springer Nature - SN SciGraph project
102 rdf:type schema:Organization
103 N1fe746de7e13459cb4fa36df9bb370ac rdf:first sg:person.014457744532.44
104 rdf:rest Na1448e1602bd43e680e9c454ea1c9bf0
105 N604de3652f6b4f8e9d4778ac4dcc43d4 schema:name dimensions_id
106 schema:value pub.1023599886
107 rdf:type schema:PropertyValue
108 N62850a1a5a3b419ca31903edcecece5b rdf:first N95174ea072b64c9c94a84aaf12d2cdec
109 rdf:rest Na01fcfc2425d42d09f52df1003554661
110 N868a92bdc58e484db9a4c5da9b5b88e2 schema:familyName Sellis
111 schema:givenName Timos K.
112 rdf:type schema:Person
113 N87f33267f8324b55b7154556045c7d57 rdf:first sg:person.07573107521.12
114 rdf:rest rdf:nil
115 N95174ea072b64c9c94a84aaf12d2cdec schema:familyName Manolopoulos
116 schema:givenName Yannis
117 rdf:type schema:Person
118 Na01fcfc2425d42d09f52df1003554661 rdf:first Ncfe450481a4c41edb1e551f478415ec2
119 rdf:rest Nabe7f7b723a346c19be32b14677d1a08
120 Na1448e1602bd43e680e9c454ea1c9bf0 rdf:first sg:person.016144507043.63
121 rdf:rest N87f33267f8324b55b7154556045c7d57
122 Nabe7f7b723a346c19be32b14677d1a08 rdf:first N868a92bdc58e484db9a4c5da9b5b88e2
123 rdf:rest rdf:nil
124 Ncfe450481a4c41edb1e551f478415ec2 schema:familyName Pokorný
125 schema:givenName Jaroslav
126 rdf:type schema:Person
127 Nd89f3da16c404bdb9bb8c63307315412 schema:isbn 978-3-540-37899-0
128 978-3-540-37900-3
129 schema:name Advances in Databases and Information Systems
130 rdf:type schema:Book
131 Nff90a0452a0b4d709d431b197f241a82 schema:name doi
132 schema:value 10.1007/11827252_18
133 rdf:type schema:PropertyValue
134 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
135 schema:name Information and Computing Sciences
136 rdf:type schema:DefinedTerm
137 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
138 schema:name Artificial Intelligence and Image Processing
139 rdf:type schema:DefinedTerm
140 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
141 schema:name Information Systems
142 rdf:type schema:DefinedTerm
143 sg:person.014457744532.44 schema:affiliation grid-institutes:None
144 schema:familyName Stupnikov
145 schema:givenName Sergey
146 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014457744532.44
147 rdf:type schema:Person
148 sg:person.016144507043.63 schema:affiliation grid-institutes:None
149 schema:familyName Kalinichenko
150 schema:givenName Leonid
151 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016144507043.63
152 rdf:type schema:Person
153 sg:person.07573107521.12 schema:affiliation grid-institutes:grid.4280.e
154 schema:familyName Bressan
155 schema:givenName Stephane
156 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07573107521.12
157 rdf:type schema:Person
158 grid-institutes:None schema:alternateName Institute of Informatics Problems, Russian Academy of Science
159 schema:name Institute of Informatics Problems, Russian Academy of Science
160 rdf:type schema:Organization
161 grid-institutes:grid.4280.e schema:alternateName National University of Singapore, Singapore
162 schema:name National University of Singapore, Singapore
163 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...