Compositional Specification Calculus for Information Systems Development View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1999

AUTHORS

Leonid Kalinichenko

ABSTRACT

The paper presents a novel approach for type specification manipulations as the basic operations intended to develop various forms of compositions in information systems. Among them are interoperable compositions of pre-existing components formed during the information systems design, heterogeneous multidatabase compositions, database schema and ontology integration, compositions of workflows, compositions of the type of the result of algebraic operations over typed data collections. In the paper the compositional specification calculus is presented in context of one of such application – the compositional information systems development. Principle of decomposition of type specifications into a collection of type reducts serving as units of reuse and composition is formulated. An operation of taking most common reduct for component and specification of requirements types is defined. The refinement property of the common reduct leads to a justifiable identification of reusable component fragments. Type lattice and algebra based on partially ordered set of complete type specifications and the type commonality principle are defined. Type specification composition operations of the algebra are based on identification of common information in the composed specifications. Paper presents a combination of semi-formal and formal modeling facilities to perform provably correct operations of common reduct identification, type specification composition and reuse. More... »

PAGES

317-331

Book

TITLE

Advances in Databases and Information Systems

ISBN

978-3-540-66485-7
978-3-540-48252-9

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-48252-0_24

DOI

http://dx.doi.org/10.1007/3-540-48252-0_24

DIMENSIONS

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


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/0806", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information Systems", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Russian Academy of Sciences, Institute for Problems of Informatics, Vavilov str., 30/6, V-334, 117900, Moscow, Russia", 
          "id": "http://www.grid.ac/institutes/grid.4886.2", 
          "name": [
            "Russian Academy of Sciences, Institute for Problems of Informatics, Vavilov str., 30/6, V-334, 117900, Moscow, Russia"
          ], 
          "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"
      }
    ], 
    "datePublished": "1999", 
    "datePublishedReg": "1999-01-01", 
    "description": "The paper presents a novel approach for type specification manipulations as the basic operations intended to develop various forms of compositions in information systems. Among them are interoperable compositions of pre-existing components formed during the information systems design, heterogeneous multidatabase compositions, database schema and ontology integration, compositions of workflows, compositions of the type of the result of algebraic operations over typed data collections. In the paper the compositional specification calculus is presented in context of one of such application \u2013 the compositional information systems development. Principle of decomposition of type specifications into a collection of type reducts serving as units of reuse and composition is formulated. An operation of taking most common reduct for component and specification of requirements types is defined. The refinement property of the common reduct leads to a justifiable identification of reusable component fragments. Type lattice and algebra based on partially ordered set of complete type specifications and the type commonality principle are defined. Type specification composition operations of the algebra are based on identification of common information in the composed specifications. Paper presents a combination of semi-formal and formal modeling facilities to perform provably correct operations of common reduct identification, type specification composition and reuse.", 
    "editor": [
      {
        "familyName": "Eder", 
        "givenName": "Johann", 
        "type": "Person"
      }, 
      {
        "familyName": "Rozman", 
        "givenName": "Ivan", 
        "type": "Person"
      }, 
      {
        "familyName": "Welzer", 
        "givenName": "Tatjana", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-48252-0_24", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-66485-7", 
        "978-3-540-48252-9"
      ], 
      "name": "Advances in Databases and Information Systems", 
      "type": "Book"
    }, 
    "keywords": [
      "information systems development", 
      "information system design", 
      "composition of workflows", 
      "system development", 
      "units of reuse", 
      "pre-existing components", 
      "database schema", 
      "ontology integration", 
      "requirement types", 
      "form of composition", 
      "common reduct", 
      "specification composition", 
      "principle of decomposition", 
      "information systems", 
      "modeling facilities", 
      "common information", 
      "such applications", 
      "composition operations", 
      "basic operations", 
      "system design", 
      "reducts", 
      "algebraic operations", 
      "type specification", 
      "commonality principle", 
      "correct operation", 
      "novel approach", 
      "specification", 
      "refinement property", 
      "reuse", 
      "data collection", 
      "operation", 
      "workflow", 
      "schema", 
      "collection", 
      "calculus", 
      "component fragments", 
      "information", 
      "set", 
      "integration", 
      "applications", 
      "system", 
      "design", 
      "principles", 
      "identification", 
      "algebra", 
      "type lattice", 
      "context", 
      "components", 
      "development", 
      "decomposition", 
      "manipulation", 
      "facilities", 
      "types", 
      "results", 
      "units", 
      "combination", 
      "form", 
      "properties", 
      "composition", 
      "lattice", 
      "fragments", 
      "paper", 
      "approach"
    ], 
    "name": "Compositional Specification Calculus for Information Systems Development", 
    "pagination": "317-331", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1026901192"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-48252-0_24"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-48252-0_24", 
      "https://app.dimensions.ai/details/publication/pub.1026901192"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:47", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220519/entities/gbq_results/chapter/chapter_40.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/3-540-48252-0_24"
  }
]
 

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/3-540-48252-0_24'

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/3-540-48252-0_24'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-48252-0_24'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/3-540-48252-0_24'


 

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

133 TRIPLES      23 PREDICATES      89 URIs      82 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-48252-0_24 schema:about anzsrc-for:08
2 anzsrc-for:0806
3 schema:author Nb3b5dc326e36424783474b9c5995d85a
4 schema:datePublished 1999
5 schema:datePublishedReg 1999-01-01
6 schema:description The paper presents a novel approach for type specification manipulations as the basic operations intended to develop various forms of compositions in information systems. Among them are interoperable compositions of pre-existing components formed during the information systems design, heterogeneous multidatabase compositions, database schema and ontology integration, compositions of workflows, compositions of the type of the result of algebraic operations over typed data collections. In the paper the compositional specification calculus is presented in context of one of such application – the compositional information systems development. Principle of decomposition of type specifications into a collection of type reducts serving as units of reuse and composition is formulated. An operation of taking most common reduct for component and specification of requirements types is defined. The refinement property of the common reduct leads to a justifiable identification of reusable component fragments. Type lattice and algebra based on partially ordered set of complete type specifications and the type commonality principle are defined. Type specification composition operations of the algebra are based on identification of common information in the composed specifications. Paper presents a combination of semi-formal and formal modeling facilities to perform provably correct operations of common reduct identification, type specification composition and reuse.
7 schema:editor N1a19ccd825154099be35bdd0cf15169a
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf Nb6e6a77c3a2b49ac9ef9be3cdb6cd105
12 schema:keywords algebra
13 algebraic operations
14 applications
15 approach
16 basic operations
17 calculus
18 collection
19 combination
20 common information
21 common reduct
22 commonality principle
23 component fragments
24 components
25 composition
26 composition of workflows
27 composition operations
28 context
29 correct operation
30 data collection
31 database schema
32 decomposition
33 design
34 development
35 facilities
36 form
37 form of composition
38 fragments
39 identification
40 information
41 information system design
42 information systems
43 information systems development
44 integration
45 lattice
46 manipulation
47 modeling facilities
48 novel approach
49 ontology integration
50 operation
51 paper
52 pre-existing components
53 principle of decomposition
54 principles
55 properties
56 reducts
57 refinement property
58 requirement types
59 results
60 reuse
61 schema
62 set
63 specification
64 specification composition
65 such applications
66 system
67 system design
68 system development
69 type lattice
70 type specification
71 types
72 units
73 units of reuse
74 workflow
75 schema:name Compositional Specification Calculus for Information Systems Development
76 schema:pagination 317-331
77 schema:productId N5e3ba265823842a69e3f008a8bd5a717
78 Nd704d2db733e43659e679044d8e6ac51
79 schema:publisher Nfe045e7c61f346eca75bb7b6e0ae8734
80 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026901192
81 https://doi.org/10.1007/3-540-48252-0_24
82 schema:sdDatePublished 2022-05-20T07:47
83 schema:sdLicense https://scigraph.springernature.com/explorer/license/
84 schema:sdPublisher Nad363b96e46f401089b5a56005e7202b
85 schema:url https://doi.org/10.1007/3-540-48252-0_24
86 sgo:license sg:explorer/license/
87 sgo:sdDataset chapters
88 rdf:type schema:Chapter
89 N00f8c291957944f4bd14d960eb1b92f7 schema:familyName Welzer
90 schema:givenName Tatjana
91 rdf:type schema:Person
92 N13de7bd1e00b4bf0b5bd647d0fd16be1 schema:familyName Eder
93 schema:givenName Johann
94 rdf:type schema:Person
95 N1a19ccd825154099be35bdd0cf15169a rdf:first N13de7bd1e00b4bf0b5bd647d0fd16be1
96 rdf:rest N6f3ec30fff024c139239bac300b0070d
97 N47afda1096014f2a9b69327a95e2e3b4 schema:familyName Rozman
98 schema:givenName Ivan
99 rdf:type schema:Person
100 N5e3ba265823842a69e3f008a8bd5a717 schema:name doi
101 schema:value 10.1007/3-540-48252-0_24
102 rdf:type schema:PropertyValue
103 N6f3ec30fff024c139239bac300b0070d rdf:first N47afda1096014f2a9b69327a95e2e3b4
104 rdf:rest Na4e9ce55d2544130abfaa0a9b7485e86
105 Na4e9ce55d2544130abfaa0a9b7485e86 rdf:first N00f8c291957944f4bd14d960eb1b92f7
106 rdf:rest rdf:nil
107 Nad363b96e46f401089b5a56005e7202b schema:name Springer Nature - SN SciGraph project
108 rdf:type schema:Organization
109 Nb3b5dc326e36424783474b9c5995d85a rdf:first sg:person.016144507043.63
110 rdf:rest rdf:nil
111 Nb6e6a77c3a2b49ac9ef9be3cdb6cd105 schema:isbn 978-3-540-48252-9
112 978-3-540-66485-7
113 schema:name Advances in Databases and Information Systems
114 rdf:type schema:Book
115 Nd704d2db733e43659e679044d8e6ac51 schema:name dimensions_id
116 schema:value pub.1026901192
117 rdf:type schema:PropertyValue
118 Nfe045e7c61f346eca75bb7b6e0ae8734 schema:name Springer Nature
119 rdf:type schema:Organisation
120 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
121 schema:name Information and Computing Sciences
122 rdf:type schema:DefinedTerm
123 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
124 schema:name Information Systems
125 rdf:type schema:DefinedTerm
126 sg:person.016144507043.63 schema:affiliation grid-institutes:grid.4886.2
127 schema:familyName Kalinichenko
128 schema:givenName Leonid
129 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016144507043.63
130 rdf:type schema:Person
131 grid-institutes:grid.4886.2 schema:alternateName Russian Academy of Sciences, Institute for Problems of Informatics, Vavilov str., 30/6, V-334, 117900, Moscow, Russia
132 schema:name Russian Academy of Sciences, Institute for Problems of Informatics, Vavilov str., 30/6, V-334, 117900, Moscow, Russia
133 rdf:type schema:Organization
 




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


...