Ontology type: schema:Chapter
2006
AUTHORSSergey Stupnikov , Leonid Kalinichenko , Stephane Bressan
ABSTRACTAmong 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... »
PAGES216-231
Advances in Databases and Information Systems
ISBN
978-3-540-37899-0
978-3-540-37900-3
http://scigraph.springernature.com/pub.10.1007/11827252_18
DOIhttp://dx.doi.org/10.1007/11827252_18
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1023599886
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
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 |