From Zinc to Design Model View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2006

AUTHORS

Reza Rafeh , Maria Garcia de la Banda , Kim Marriott , Mark Wallace

ABSTRACT

We describe a preliminary implementation of the high-level modelling language Zinc. This language supports a modelling methodology in which the same Zinc model can be automatically mapped into different design models, thus allowing modellers to easily “plug and play” with different solving techniques and so choose the most appropriate for that problem. Currently, mappings to three very different design models based on constraint programming (CP), mixed integer programming (MIP) and local search are provided. Zinc is the first modelling language that we know of that supports such solver and technique-independent modelling. It does this by using an intermediate language called Flattened Zinc, and rewrite rules for transforming the Flattened Zinc model into one that is tailored to a particular solving technique. More... »

PAGES

215-229

Book

TITLE

Practical Aspects of Declarative Languages

ISBN

978-3-540-69608-7
978-3-540-69611-7

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-540-69611-7_14

DOI

http://dx.doi.org/10.1007/978-3-540-69611-7_14

DIMENSIONS

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


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/20", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Language, Communication and Culture", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/2004", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Linguistics", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Clayton School\u00a0of IT, Monash University, Australia", 
          "id": "http://www.grid.ac/institutes/grid.1002.3", 
          "name": [
            "Clayton School\u00a0of IT, Monash University, Australia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Rafeh", 
        "givenName": "Reza", 
        "id": "sg:person.016367526545.88", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016367526545.88"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Clayton School\u00a0of IT, Monash University, Australia", 
          "id": "http://www.grid.ac/institutes/grid.1002.3", 
          "name": [
            "Clayton School\u00a0of IT, Monash University, Australia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "de la Banda", 
        "givenName": "Maria Garcia", 
        "id": "sg:person.016350443307.93", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016350443307.93"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Clayton School\u00a0of IT, Monash University, Australia", 
          "id": "http://www.grid.ac/institutes/grid.1002.3", 
          "name": [
            "Clayton School\u00a0of IT, Monash University, Australia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Marriott", 
        "givenName": "Kim", 
        "id": "sg:person.014375607254.44", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014375607254.44"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Clayton School\u00a0of IT, Monash University, Australia", 
          "id": "http://www.grid.ac/institutes/grid.1002.3", 
          "name": [
            "Clayton School\u00a0of IT, Monash University, Australia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Wallace", 
        "givenName": "Mark", 
        "id": "sg:person.016566542221.14", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016566542221.14"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2006", 
    "datePublishedReg": "2006-01-01", 
    "description": "We describe a preliminary implementation of the high-level modelling language Zinc. This language supports a modelling methodology in which the same Zinc model can be automatically mapped into different design models, thus allowing modellers to easily \u201cplug and play\u201d with different solving techniques and so choose the most appropriate for that problem. Currently, mappings to three very different design models based on constraint programming (CP), mixed integer programming (MIP) and local search are provided. Zinc is the first modelling language that we know of that supports such solver and technique-independent modelling. It does this by using an intermediate language called Flattened Zinc, and rewrite rules for transforming the Flattened Zinc model into one that is tailored to a particular solving technique.", 
    "editor": [
      {
        "familyName": "Hanus", 
        "givenName": "Michael", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-540-69611-7_14", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-69608-7", 
        "978-3-540-69611-7"
      ], 
      "name": "Practical Aspects of Declarative Languages", 
      "type": "Book"
    }, 
    "keywords": [
      "different design models", 
      "constraint programming", 
      "solving techniques", 
      "Zinc models", 
      "design model", 
      "different solving techniques", 
      "modelling language", 
      "intermediate language", 
      "preliminary implementation", 
      "such solvers", 
      "local search", 
      "rewrite rules", 
      "integer programming", 
      "programming", 
      "language", 
      "modelers", 
      "implementation", 
      "solver", 
      "model", 
      "technique", 
      "search", 
      "rules", 
      "methodology", 
      "mapping", 
      "modelling", 
      "one", 
      "problem", 
      "zinc"
    ], 
    "name": "From Zinc to Design Model", 
    "pagination": "215-229", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1044585978"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-540-69611-7_14"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-540-69611-7_14", 
      "https://app.dimensions.ai/details/publication/pub.1044585978"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-10T10:36", 
    "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_111.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-540-69611-7_14"
  }
]
 

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/978-3-540-69611-7_14'

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/978-3-540-69611-7_14'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-69611-7_14'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-69611-7_14'


 

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

109 TRIPLES      23 PREDICATES      54 URIs      47 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-540-69611-7_14 schema:about anzsrc-for:20
2 anzsrc-for:2004
3 schema:author N94fb8be91eb445c58af32751084cdf23
4 schema:datePublished 2006
5 schema:datePublishedReg 2006-01-01
6 schema:description We describe a preliminary implementation of the high-level modelling language Zinc. This language supports a modelling methodology in which the same Zinc model can be automatically mapped into different design models, thus allowing modellers to easily “plug and play” with different solving techniques and so choose the most appropriate for that problem. Currently, mappings to three very different design models based on constraint programming (CP), mixed integer programming (MIP) and local search are provided. Zinc is the first modelling language that we know of that supports such solver and technique-independent modelling. It does this by using an intermediate language called Flattened Zinc, and rewrite rules for transforming the Flattened Zinc model into one that is tailored to a particular solving technique.
7 schema:editor Nab12576ec8334853a03d35e3232e4c3c
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf Nc8cad31c197b40f0ae7cfdcaa5b77eac
12 schema:keywords Zinc models
13 constraint programming
14 design model
15 different design models
16 different solving techniques
17 implementation
18 integer programming
19 intermediate language
20 language
21 local search
22 mapping
23 methodology
24 model
25 modelers
26 modelling
27 modelling language
28 one
29 preliminary implementation
30 problem
31 programming
32 rewrite rules
33 rules
34 search
35 solver
36 solving techniques
37 such solvers
38 technique
39 zinc
40 schema:name From Zinc to Design Model
41 schema:pagination 215-229
42 schema:productId N9b8e6aa263644012bf16fe0c74e0e0b2
43 Nad48f23a945a47eab67bf0997ab7f257
44 schema:publisher N7bdb4b8b0db64eefa2ca6960a904b2ce
45 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044585978
46 https://doi.org/10.1007/978-3-540-69611-7_14
47 schema:sdDatePublished 2022-05-10T10:36
48 schema:sdLicense https://scigraph.springernature.com/explorer/license/
49 schema:sdPublisher N0be9df230e024e6ebb86d55d3e91dff6
50 schema:url https://doi.org/10.1007/978-3-540-69611-7_14
51 sgo:license sg:explorer/license/
52 sgo:sdDataset chapters
53 rdf:type schema:Chapter
54 N001b941f3c4847e1b8eb89c4c836b200 rdf:first sg:person.016566542221.14
55 rdf:rest rdf:nil
56 N0be9df230e024e6ebb86d55d3e91dff6 schema:name Springer Nature - SN SciGraph project
57 rdf:type schema:Organization
58 N2ed2dd959d5249f892dc8cb10252657e schema:familyName Hanus
59 schema:givenName Michael
60 rdf:type schema:Person
61 N5a5890b7a94f4628919f0b6d7d5182a6 rdf:first sg:person.014375607254.44
62 rdf:rest N001b941f3c4847e1b8eb89c4c836b200
63 N7bdb4b8b0db64eefa2ca6960a904b2ce schema:name Springer Nature
64 rdf:type schema:Organisation
65 N90fc63500d0b4d94964375e68f06e5b1 rdf:first sg:person.016350443307.93
66 rdf:rest N5a5890b7a94f4628919f0b6d7d5182a6
67 N94fb8be91eb445c58af32751084cdf23 rdf:first sg:person.016367526545.88
68 rdf:rest N90fc63500d0b4d94964375e68f06e5b1
69 N9b8e6aa263644012bf16fe0c74e0e0b2 schema:name dimensions_id
70 schema:value pub.1044585978
71 rdf:type schema:PropertyValue
72 Nab12576ec8334853a03d35e3232e4c3c rdf:first N2ed2dd959d5249f892dc8cb10252657e
73 rdf:rest rdf:nil
74 Nad48f23a945a47eab67bf0997ab7f257 schema:name doi
75 schema:value 10.1007/978-3-540-69611-7_14
76 rdf:type schema:PropertyValue
77 Nc8cad31c197b40f0ae7cfdcaa5b77eac schema:isbn 978-3-540-69608-7
78 978-3-540-69611-7
79 schema:name Practical Aspects of Declarative Languages
80 rdf:type schema:Book
81 anzsrc-for:20 schema:inDefinedTermSet anzsrc-for:
82 schema:name Language, Communication and Culture
83 rdf:type schema:DefinedTerm
84 anzsrc-for:2004 schema:inDefinedTermSet anzsrc-for:
85 schema:name Linguistics
86 rdf:type schema:DefinedTerm
87 sg:person.014375607254.44 schema:affiliation grid-institutes:grid.1002.3
88 schema:familyName Marriott
89 schema:givenName Kim
90 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014375607254.44
91 rdf:type schema:Person
92 sg:person.016350443307.93 schema:affiliation grid-institutes:grid.1002.3
93 schema:familyName de la Banda
94 schema:givenName Maria Garcia
95 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016350443307.93
96 rdf:type schema:Person
97 sg:person.016367526545.88 schema:affiliation grid-institutes:grid.1002.3
98 schema:familyName Rafeh
99 schema:givenName Reza
100 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016367526545.88
101 rdf:type schema:Person
102 sg:person.016566542221.14 schema:affiliation grid-institutes:grid.1002.3
103 schema:familyName Wallace
104 schema:givenName Mark
105 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016566542221.14
106 rdf:type schema:Person
107 grid-institutes:grid.1002.3 schema:alternateName Clayton School of IT, Monash University, Australia
108 schema:name Clayton School of IT, Monash University, Australia
109 rdf:type schema:Organization
 




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


...