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 N42b6c26593cc42a8a055e3823f7c0c91
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 N467fab8eb07a44e38151d1fb99db9932
10 schema:genre chapter
11 schema:isAccessibleForFree false
12 schema:isPartOf Nb82c3bff0dba49ac97050369920be62e
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 N43ece78db82f4d2db3a6fda54d48384e
45 N78303b20963b4d1481212e7c9935f637
46 schema:publisher Nb1d664b1f4d54248b8c2c2a6c1dc634b
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 N5b010e0173cf4315a683e92b4692aadc
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 N019836e52c42428d8d3b49a6384105ae schema:familyName Wu
57 schema:givenName Yulei
58 rdf:type schema:Person
59 N1e462c4add214db894131e0d11162b98 rdf:first N019836e52c42428d8d3b49a6384105ae
60 rdf:rest Nc8edb2e7b6a64e709517c341985e6745
61 N3cfc9dbb3e2e42dca681de2ae7e8118c rdf:first sg:person.015010146575.46
62 rdf:rest rdf:nil
63 N42b6c26593cc42a8a055e3823f7c0c91 rdf:first sg:person.012475404577.34
64 rdf:rest N3cfc9dbb3e2e42dca681de2ae7e8118c
65 N43ece78db82f4d2db3a6fda54d48384e schema:name dimensions_id
66 schema:value pub.1090993052
67 rdf:type schema:PropertyValue
68 N467fab8eb07a44e38151d1fb99db9932 rdf:first Ndf110964216547ccbf9fca349ddf98f8
69 rdf:rest Ne6de7523abbb479987c891c8e7571d06
70 N50b6c7b1df3042c5ac8c8c25fc4c5b68 rdf:first N90437ac4331b434da77c025a27cd3bfb
71 rdf:rest N1e462c4add214db894131e0d11162b98
72 N5b010e0173cf4315a683e92b4692aadc schema:name Springer Nature - SN SciGraph project
73 rdf:type schema:Organization
74 N78303b20963b4d1481212e7c9935f637 schema:name doi
75 schema:value 10.1007/978-981-10-3376-6_38
76 rdf:type schema:PropertyValue
77 N90437ac4331b434da77c025a27cd3bfb schema:familyName Murugappan
78 schema:givenName M.
79 rdf:type schema:Person
80 Nb1d664b1f4d54248b8c2c2a6c1dc634b schema:name Springer Nature
81 rdf:type schema:Organisation
82 Nb82c3bff0dba49ac97050369920be62e schema:isbn 978-981-10-3375-9
83 978-981-10-3376-6
84 schema:name Progress in Intelligent Computing Techniques: Theory, Practice, and Applications
85 rdf:type schema:Book
86 Nc8edb2e7b6a64e709517c341985e6745 rdf:first Ne4d5bcf239954f8caceb5fee710ffdd3
87 rdf:rest rdf:nil
88 Ndf110964216547ccbf9fca349ddf98f8 schema:familyName Sa
89 schema:givenName Pankaj Kumar
90 rdf:type schema:Person
91 Ne36a97cac7e747cba372a3eae946337b schema:familyName Sahoo
92 schema:givenName Manmath Narayan
93 rdf:type schema:Person
94 Ne4d5bcf239954f8caceb5fee710ffdd3 schema:familyName Majhi
95 schema:givenName Banshidhar
96 rdf:type schema:Person
97 Ne6de7523abbb479987c891c8e7571d06 rdf:first Ne36a97cac7e747cba372a3eae946337b
98 rdf:rest N50b6c7b1df3042c5ac8c8c25fc4c5b68
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)


...