A Framework for Goal Compliance of Business Process Model View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2017-08-05

AUTHORS

Dipankar Deb , Nabendu Chaki

ABSTRACT

In this paper, we propose a framework toward formal representation and validation of goal compliance for a business process model. All the tasks, postconditions, constraints, and goals are captured using first-order logic (FOL). We have used theorem prover (Prover9) for goal entailment. An experimental validation for goal compliance is presented considering a use case on health care domain. We start with an exhaustive solution space of all possible business process models for all possible activities on a particular domain and derive a reduced solution space of goal complied process models. More... »

PAGES

345-356

Book

TITLE

Progress in Intelligent Computing Techniques: Theory, Practice, and Applications

ISBN

978-981-10-3375-9
978-981-10-3376-6

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-981-10-3376-6_38

DOI

http://dx.doi.org/10.1007/978-981-10-3376-6_38

DIMENSIONS

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


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/15", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Commerce, Management, Tourism and Services", 
        "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"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/1503", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Business and Management", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Department of Computer Science and Engineering, University of Calcutta, Kolkata, India", 
          "id": "http://www.grid.ac/institutes/grid.59056.3f", 
          "name": [
            "Department of Computer Science and Engineering, University of Calcutta, Kolkata, India"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Deb", 
        "givenName": "Dipankar", 
        "id": "sg:person.012475404577.34", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012475404577.34"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science and Engineering, University of Calcutta, Kolkata, India", 
          "id": "http://www.grid.ac/institutes/grid.59056.3f", 
          "name": [
            "Department of Computer Science and Engineering, University of Calcutta, Kolkata, India"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Chaki", 
        "givenName": "Nabendu", 
        "id": "sg:person.015010146575.46", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015010146575.46"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2017-08-05", 
    "datePublishedReg": "2017-08-05", 
    "description": "In this paper, we propose a framework toward formal representation and validation of goal compliance for a business process model. All the tasks, postconditions, constraints, and goals are captured using first-order logic (FOL). We have used theorem prover (Prover9) for goal entailment. An experimental validation for goal compliance is presented considering a use case on health care domain. We start with an exhaustive solution space of all possible business process models for all possible activities on a particular domain and derive a reduced solution space of goal complied process models.", 
    "editor": [
      {
        "familyName": "Sa", 
        "givenName": "Pankaj Kumar", 
        "type": "Person"
      }, 
      {
        "familyName": "Sahoo", 
        "givenName": "Manmath Narayan", 
        "type": "Person"
      }, 
      {
        "familyName": "Murugappan", 
        "givenName": "M.", 
        "type": "Person"
      }, 
      {
        "familyName": "Wu", 
        "givenName": "Yulei", 
        "type": "Person"
      }, 
      {
        "familyName": "Majhi", 
        "givenName": "Banshidhar", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-981-10-3376-6_38", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-981-10-3375-9", 
        "978-981-10-3376-6"
      ], 
      "name": "Progress in Intelligent Computing Techniques: Theory, Practice, and Applications", 
      "type": "Book"
    }, 
    "keywords": [
      "business process models", 
      "first-order logic", 
      "process model", 
      "solution space", 
      "health care domain", 
      "use cases", 
      "formal representation", 
      "particular domain", 
      "goal compliance", 
      "care domain", 
      "framework", 
      "postconditions", 
      "task", 
      "logic", 
      "domain", 
      "experimental validation", 
      "goal", 
      "entailment", 
      "model", 
      "space", 
      "representation", 
      "validation", 
      "constraints", 
      "possible activity", 
      "compliance", 
      "paper", 
      "theorem", 
      "cases", 
      "activity"
    ], 
    "name": "A Framework for Goal Compliance of Business Process Model", 
    "pagination": "345-356", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1090993052"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-981-10-3376-6_38"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-981-10-3376-6_38", 
      "https://app.dimensions.ai/details/publication/pub.1090993052"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-09-02T16:14", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220902/entities/gbq_results/chapter/chapter_252.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-981-10-3376-6_38"
  }
]
 

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-981-10-3376-6_38'

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-981-10-3376-6_38'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-981-10-3376-6_38'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-981-10-3376-6_38'


 

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

123 TRIPLES      22 PREDICATES      55 URIs      46 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-981-10-3376-6_38 schema:about anzsrc-for:08
2 anzsrc-for:0806
3 anzsrc-for:15
4 anzsrc-for:1503
5 schema:author N4e7b22fcf15042e2aaf3047afeefce68
6 schema:datePublished 2017-08-05
7 schema:datePublishedReg 2017-08-05
8 schema:description In this paper, we propose a framework toward formal representation and validation of goal compliance for a business process model. All the tasks, postconditions, constraints, and goals are captured using first-order logic (FOL). We have used theorem prover (Prover9) for goal entailment. An experimental validation for goal compliance is presented considering a use case on health care domain. We start with an exhaustive solution space of all possible business process models for all possible activities on a particular domain and derive a reduced solution space of goal complied process models.
9 schema:editor Ne023b41cdf824bb2a9be31ecb6108d75
10 schema:genre chapter
11 schema:isAccessibleForFree false
12 schema:isPartOf N1c1c8fa39e754cefbe170b6bb51d9aea
13 schema:keywords activity
14 business process models
15 care domain
16 cases
17 compliance
18 constraints
19 domain
20 entailment
21 experimental validation
22 first-order logic
23 formal representation
24 framework
25 goal
26 goal compliance
27 health care domain
28 logic
29 model
30 paper
31 particular domain
32 possible activity
33 postconditions
34 process model
35 representation
36 solution space
37 space
38 task
39 theorem
40 use cases
41 validation
42 schema:name A Framework for Goal Compliance of Business Process Model
43 schema:pagination 345-356
44 schema:productId N7cd12303cff44d119af6fe2c6b26e824
45 N88f7fc455c1e47d28182139db29ccdc5
46 schema:publisher Na4b5e09b19f242b59f25ce3db891ec08
47 schema:sameAs https://app.dimensions.ai/details/publication/pub.1090993052
48 https://doi.org/10.1007/978-981-10-3376-6_38
49 schema:sdDatePublished 2022-09-02T16:14
50 schema:sdLicense https://scigraph.springernature.com/explorer/license/
51 schema:sdPublisher N038515e1199e453ea11d6a85aa49ffe4
52 schema:url https://doi.org/10.1007/978-981-10-3376-6_38
53 sgo:license sg:explorer/license/
54 sgo:sdDataset chapters
55 rdf:type schema:Chapter
56 N038515e1199e453ea11d6a85aa49ffe4 schema:name Springer Nature - SN SciGraph project
57 rdf:type schema:Organization
58 N045f0c927e344613b4348e09a980fa00 schema:familyName Majhi
59 schema:givenName Banshidhar
60 rdf:type schema:Person
61 N1c1c8fa39e754cefbe170b6bb51d9aea schema:isbn 978-981-10-3375-9
62 978-981-10-3376-6
63 schema:name Progress in Intelligent Computing Techniques: Theory, Practice, and Applications
64 rdf:type schema:Book
65 N2847d81670774f3497755aa4d3c2e038 rdf:first Nc3ea1771e31f4b9a80eabf11dccd296b
66 rdf:rest N69eb2e19ef124280993d42874b39b5d5
67 N4e7b22fcf15042e2aaf3047afeefce68 rdf:first sg:person.012475404577.34
68 rdf:rest N7908b86fb0b24f4da252ac10a949d2a8
69 N69eb2e19ef124280993d42874b39b5d5 rdf:first N045f0c927e344613b4348e09a980fa00
70 rdf:rest rdf:nil
71 N7908b86fb0b24f4da252ac10a949d2a8 rdf:first sg:person.015010146575.46
72 rdf:rest rdf:nil
73 N7a0a69625a6d49c09a865701ac0f99f8 schema:familyName Sa
74 schema:givenName Pankaj Kumar
75 rdf:type schema:Person
76 N7cd12303cff44d119af6fe2c6b26e824 schema:name dimensions_id
77 schema:value pub.1090993052
78 rdf:type schema:PropertyValue
79 N88f7fc455c1e47d28182139db29ccdc5 schema:name doi
80 schema:value 10.1007/978-981-10-3376-6_38
81 rdf:type schema:PropertyValue
82 N8f7be1f87ed64b39bfb261519954dfef rdf:first Ne247520bc8ff4e1b8eb5993c673eaf1c
83 rdf:rest N2847d81670774f3497755aa4d3c2e038
84 Na4b5e09b19f242b59f25ce3db891ec08 schema:name Springer Nature
85 rdf:type schema:Organisation
86 Nc3ea1771e31f4b9a80eabf11dccd296b schema:familyName Wu
87 schema:givenName Yulei
88 rdf:type schema:Person
89 Ne023b41cdf824bb2a9be31ecb6108d75 rdf:first N7a0a69625a6d49c09a865701ac0f99f8
90 rdf:rest Ne20b4d7b45694f728e97e59fbc90ef3c
91 Ne20b4d7b45694f728e97e59fbc90ef3c rdf:first Nf61e495c2ccd4e23a7b45cca6227b7f9
92 rdf:rest N8f7be1f87ed64b39bfb261519954dfef
93 Ne247520bc8ff4e1b8eb5993c673eaf1c schema:familyName Murugappan
94 schema:givenName M.
95 rdf:type schema:Person
96 Nf61e495c2ccd4e23a7b45cca6227b7f9 schema:familyName Sahoo
97 schema:givenName Manmath Narayan
98 rdf:type schema:Person
99 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
100 schema:name Information and Computing Sciences
101 rdf:type schema:DefinedTerm
102 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
103 schema:name Information Systems
104 rdf:type schema:DefinedTerm
105 anzsrc-for:15 schema:inDefinedTermSet anzsrc-for:
106 schema:name Commerce, Management, Tourism and Services
107 rdf:type schema:DefinedTerm
108 anzsrc-for:1503 schema:inDefinedTermSet anzsrc-for:
109 schema:name Business and Management
110 rdf:type schema:DefinedTerm
111 sg:person.012475404577.34 schema:affiliation grid-institutes:grid.59056.3f
112 schema:familyName Deb
113 schema:givenName Dipankar
114 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012475404577.34
115 rdf:type schema:Person
116 sg:person.015010146575.46 schema:affiliation grid-institutes:grid.59056.3f
117 schema:familyName Chaki
118 schema:givenName Nabendu
119 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015010146575.46
120 rdf:type schema:Person
121 grid-institutes:grid.59056.3f schema:alternateName Department of Computer Science and Engineering, University of Calcutta, Kolkata, India
122 schema:name Department of Computer Science and Engineering, University of Calcutta, Kolkata, India
123 rdf:type schema:Organization
 




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


...