Specification and verification of declarative open interaction models: a logic-based approach
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2010
|
| Schriftenreihe: | Lecture Notes in Business Information Processing
56 |
| Schlagwörter: | |
| Links: | http://deposit.dnb.de/cgi-bin/dokserv?id=3493217&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020534440&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Umfang: | XXII, 411 S. graph. Darst. |
| ISBN: | 9783642145377 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036614255 | ||
| 003 | DE-604 | ||
| 005 | 20110103 | ||
| 007 | t| | ||
| 008 | 100812s2010 gw d||| |||| 00||| eng d | ||
| 015 | |a 10,N25 |2 dnb | ||
| 016 | 7 | |a 1003553532 |2 DE-101 | |
| 020 | |a 9783642145377 |c PB. : EUR 66.34 (freier Pr.), sfr 96.50 (freier Pr.) |9 978-3-642-14537-7 | ||
| 024 | 3 | |a 9783642145377 | |
| 028 | 5 | 2 | |a 80018360 |
| 035 | |a (OCoLC)680737844 | ||
| 035 | |a (DE-599)BVBBV036614255 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-384 |a DE-634 | ||
| 082 | 0 | |a 006.3 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Montali, Marco |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Specification and verification of declarative open interaction models |b a logic-based approach |c Marco Montali |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a XXII, 411 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Business Information Processing |v 56 | |
| 650 | 0 | 7 | |a Computational logic |0 (DE-588)4255672-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Deklarative Semantik |0 (DE-588)4382799-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prozessmanagement |0 (DE-588)4353072-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Interaktionssystem |0 (DE-588)4161977-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | 1 | |a Computational logic |0 (DE-588)4255672-7 |D s |
| 689 | 0 | 2 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | 3 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |D s |
| 689 | 0 | 4 | |a Deklarative Semantik |0 (DE-588)4382799-8 |D s |
| 689 | 0 | 5 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |D s |
| 689 | 0 | 6 | |a Interaktionssystem |0 (DE-588)4161977-8 |D s |
| 689 | 0 | 7 | |a Prozessmanagement |0 (DE-588)4353072-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Lecture Notes in Business Information Processing |v 56 |w (DE-604)BV023204387 |9 56 | |
| 856 | 4 | 2 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3493217&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020534440&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020534440 | |
Datensatz im Suchindex
| _version_ | 1820981091867033600 |
|---|---|
| adam_text |
CONTENTS INTRODUCTION 1 1.1 MAIN CONTRIBUTIONS OF THE BOOK 3 1.1.1
SPECIFICATION OF OPEN DECLARATIVE INTERACTION MODELS. 3 1.1.2 STATIC
VERIFICATION OF INTERACTION MODELS 4 1.1.3 RUN-TIME VERIFICATION,
MONITORING AND ENACTMENT FACILITIES 4 1.1.4 A-POSTERIORI VERIFICATION
AND DECLARATIVE PROCESS MINING 5 1.2 ORGANIZATION OF THE BOOK 6 1.2.1
PART I: SPECIFICATION 6 1.2.2 PART II: STATIC VERIFICATION 7 1.2.3 PART
III: RUN-TIME AND A-POSTERIORI VERIFICATION 8 1.2.4 PART IV: CONCLUSION
AND FUTURE WORK 8 1.3 WEB SITE 8 PART I SPECIFICATION 2 DECLARATIVE OPEN
INTERACTION MODELS 11 2.1 AN INFORMAL CHARACTERIZATION OF INTERACTION
MODELS 11 2.1.1 INTERACTION ABSTRACTIONS: ACTIVITY, EVENT, EXECUTION
TRACE 11 2.1.2 CHARACTERIZATION OF TIME 13 2.1.3 COMPLIANCE 14 2.1.4
FLEXIBILITY 16 2.1.5 OPENNESS 19 2.2 BUSINESS PROCESS MANAGEMENT 20
2.2.1 MODELING BUSINESS PROCESSES 22 2.2.2 LIMITS OF PROCEDURAL BUSINESS
PROCESS MODELING 23 2.3 SERVICE ORIENTED COMPUTING 25 2.3.1 SERVICE
ORIENTED ARCHITECTURE 25 2.3.2 ORCHESTRATION AND CHOREOGRAPHY 2G
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1003553532 DIGITALISIERT
DURCH XVI CONTENTS 2.3.3 LIMITS OF PROCEDURAL CHOREOGRAPHY MODELING 29
2.4 MULTI-AGENT SYSTEMS 34 2.5 CLINICAL GUIDELINES 36 2.5.1 BASIC
MEDICAL KNOWLEDGE AND CLINICAL GUIDELINES 37 2.5.2 SEMI-OPENNESS OF
CLINICAL GUIDELINES 38 2.6 LESSON LEARNT: COMPLIANCE VS. FLEXIBILITY 39
2.7 DESIDERATA FOR A SUPPORTING FRAMEWORK 41 2.7.1 INTERNAL LIFE CYCLE
42 2.7.2 PARTICIPATION TO AN EXTERNAL LIFE CYCLE 43 2.8 THE CLIMB
FRAMEWORK 44 3 THE CONDEC LANGUAGE 47 3.1 CONDEC IN A NUTSHELL 47 3.2
CONDEC MODELS 48 3.3 CONSTRAINTS 49 3.3.1 EXISTENCE CONSTRAINTS 49 3.3.2
CHOICE CONSTRAINTS 50 3.3.3 RELATION CONSTRAINTS 51 3.3.4 NEGATION
CONSTRAINTS 54 3.3.5 BRANCHING CONSTRAINTS 56 3.4 CONDEC AT WORK 57
3.4.1 THE ORDER MANAGEMENT CHOREOGRAPHY IN NATURAL LANGUAGE 58 3.4.2 THE
ORDER MANAGEMENT CHOREOGRAPHY AS A CONTRACT . 58 3.4.3 IDENTIFICATION
OF ACTIVITIES 59 3.4.4 ELICITATION OF BUSINESS CONSTRAINTS 60 3.4.5
COMPLETING THE CONDEC MODEL 63 3.5 USABILITY OF CONDEC 64 3.6 LINEAR
TEMPORAL LOGIC 67 3.6.1 LTL MODELS 68 3.6.2 SYNTAX OF LINEAR TEMPORAL
LOGIC 68 3.6.3 SEMANTICS OF LINEAR TEMPORAL LOGIC 69 3.7 TRANSLATING
CONDEC INTO LINEAR TEMPORAL LOGIC 70 3.7.1 THE TRANSLATION FUNCTION 70
3.7.2 LTL ENTAILMENT AS A COMPLIANCE EVALUATOR 71 3.7.3 LINEAR TEMPORAL
LOGIC AND FINITE CONDEC TRACES 72 4 CONTENTS XVII 4.2.6 SCIFF-LITE AND
COMPOSITE EVENTS 93 4.3 CLIMB DECLARATIVE SEMANTICS 95 4.3.1 ABDUCTION
96 4.3.2 ABDUCTIVE LOGIC PROGRAMMING 98 4.3.3 FORMALIZING INTERACTION
MODELS AND THEIR EXECUTIONS . 99 4.3.4 SCIFF-LITE SPECIFICATIONS 101
4.3.5 CLIMB ABDUCTIVE EXPLANATIONS 102 4.3.6 ON THE FORMAL DEFINITION OF
COMPLIANCE 105 4.4 FORMAL PROPERTIES 109 4.4.1 EQUIVALENCE MODULO
COMPLIANCE 109 4.4.2 COMPOSITIONALITY MODULO COMPLIANCE 110 4.4.3
REPLACEABILITY OF RULES 113 TRANSLATING CONDEC INTO CLIMB 115 5.1
TRANSLATION OF A CONDEC MODEL 116 5.2 TRANSLATION OF EVENTS 117 5.3
EMBEDDING A QUALITATIVE CHARACTERIZATION OF TIME INTO A QUANTITATIVE
SETTING 117 5.3.1 TEMPORAL CONTIGUITY 117 5.3.2 COMPACT EXECUTION TRACES
119 5.4 TRANSLATION OF CONDEC CONSTRAINTS 121 5.4.1 TRANSLATION OF
EXISTENCE CONSTRAINTS 121 5.4.2 TRANSLATION OF CHOICE CONSTRAINTS 123
5.4.3 TRANSLATION OF RELATION AND NEGATION CONSTRAINTS 125 5.5 DEALING
WITH BRANCHING CONDEC CONSTRAINTS 128 5.6 TRANSLATION OF A CONDEC
CHOREOGRAPHY 130 5.7 EQUIVALENCE OF CONDEC CONSTRAINTS 130 5.8 SOUNDNESS
OF THE TRANSLATION 132 5.8.1 TRACE MAPPING 133 5.8.2 BEHAVIORAL
EQUIVALENCE 134 5.8.3 SOUNDNESS 134 5.8.4 ON THE EXPRESSIVENESS OF SCIFF
137 EXTENDING CONDEC 139 6.1 METRIC CONSTRAINTS 139 6.1. XVIII CONTENTS
6.3.1 REPRESENTING NON ATOMIC ACTIVITIES AND DATA 149 6.3.2 MODELING
DATA AWARE CONDITIONS 150 6.3.3 MODELING THE SUBMIT&REVIEW PROCESS
FRAGMENT 154 6.4 FORMALIZING DATA AWARE ASPECTS IN CLIMB 155 6.4.1
FORMALIZING DATA AND DATA AWARE CONDITIONS 155 6.4.2 FORMALIZING THE
EFFECT OF ROLES 156 6.4.3 FORMALIZING THE ACTIVITY LIFE CYCLE 159 7
RELATED WORK AND SUMMARY 163 7.1 RELATED WORK 163 7.1.1 BUSINESS PROCESS
MANAGEMENT 163 7.1.2 CLINICAL GUIDELINES 166 7.1.3 SERVICE ORIENTED
COMPUTING 169 7.1.4 MULTI-AGENT SYSTEMS 170 7.2 SUMMARY OF THE PART 172
PART II STATIC VERIFICATION 8 STATIC VERIFICATION OF DECLARATIVE OPEN
INTERACTION MODELS 177 8.1 DESIDERATA FOR STATIC VERIFICATION
TECHNOLOGIES 177 8.2 VERIFICATION OF A SINGLE MODEL VS. A COMPOSITION OF
MODELS . . 179 8.3 STATIC VERIFICATION OF PROPERTIES 180 8.3.1
EXISTENTIAL VS. UNIVERSAL PROPERTIES 180 8.3.2 GENERAL VS. PARTICULAR
PROPERTIES 181 8.3.3 ON THE SAFETY-LIVENESS CLASSIFICATION 182 8.3.4 A
CONDEC EXAMPLE 184 8.4 A-PRIORI COMPLIANCE VERIFICATION 186 8.5
COMPOSING CONDEC MODELS 187 8.5.1 COMPATIBILITY BETWEEN LOCAL MODELS 188
8.5.2 AUGMENTING CONDEC WITH ROLES AND PARTICIPANTS 190 8.5.3 FROM
OPENNESS TO SEMI-OPENNESS 192 8.6 CONFORMANCE WITH A CHOREOGRAPHY 196 9
PROOF PROCEDURES 201 9. CONTENTS XIX 9.3.1 GENERATION OF INTENSIONAL
TRACES 219 9.3.2 DATA STRUCTURES REVISITED 220 9.3.3 TRANSITIONS
REVISITED 221 9.3.4 LINKING THE PROOF PROCEDURES 222 9.4 FORMAL
PROPERTIES OF THE G-SCIFF PROOF PROCEDURE 223 9.4.1 SOUNDNESS 223 9.4.2
COMPLETENESS MODULO TRACE GENERATION 223 9.4.3 TERMINATION 225 9.5
IMPLEMENTATION OF THE PROOF PROCEDURES 227 10 STATIC VERIFICATION OF
CONDEC MODELS WITH G-SCIFF 229 10.1 EXISTENTIAL AND UNIVERSAL ENTAILMENT
IN CLIMB 229 10.1.1 SPECIFICATION OF PROPERTIES WITH CONDEC 229 10.1.2
FORMALIZING EXISTENTIAL AND UNIVERSAL ENTAILMENT 231 10.2 VERIFICATION
OF EXISTENTIAL PROPERTIES WITH G-SCIFF 232 10.2.1 CONFLICT DETECTION
WITH G-SCIFF 233 10.2.2 EXISTENTIAL ENTAILMENT WITH G-SCIFF 233 10.3
VERIFICATION OF UNIVERSAL PROPERTIES WITH G-SCIFF 234 10.3.1
COMPLEMENTATION OF INTEGRITY CONSTRAINTS 234 10.3.2 REDUCING UNIVERSAL
TO EXISTENTIAL ENTAILMENT 236 10.4 CONDEC LOOPS AND TERMINATION OF
G-SCIFF 239 10.4.1 CONSTRAINTS REFORMULATION 240 10.4.2 LOOPING CONDEC
MODELS 241 10.5 A PREPROCESSING PROCEDURE 246 11 EXPERIMENTAL EVALUATION
251 11.1 VERIFICATION PROCEDURE WITH G-SCIFF 251 11.2 SCALABILITY OF THE
G-SCIFF PROOF PROCEDURE 253 11.2.1 THE BRANCHING RESPONSES BENCHMARK 253
11.2.2 THE ALTERNATE RESPONSES BENCHMARK 255 11.2.3 THE CHAIN RESPONSES
BENCHMARK 258 11.3 STATIC VERIFICATION OF CONDEC MODELS AS MODEL
CHECKING 261 11.3. XX CONTENTS 12 RELATED WORK AND SUMMARY 277 12.1
RELATED WORK 277 12.1.1 VERIFICATION OF PROPERTIES 277 12.1.2 A-PRIORI
COMPLIANCE VERIFICATION 281 12.1.3 MODEL COMPOSITION 283 12.1.4
INTEROPERABILITY AND CHOREOGRAPHY CONFORMANCE 284 12.2 SUMMARY OF THE
PART 285 PART III RUN-TIME AND A-POSTERIORI VERIFICATION 13 RUN-TIME
VERIFICATION 289 13.1 THE RUN-TIME VERIFICATION TASK 290 13.2
SCIFF-BASED RUN-TIME VERIFICATION 291 13.2.1 REACTIVE BEHAVIOR OF THE
SCIFF PROOF PROCEDURE 292 13.2.2 OPEN DERIVATIONS 292 13.2.3 SEMI-OPEN
REASONING 295 13.3 THE SOCS-SI TOOL 298 13.4 SPECULATIVE RUN-TIME
VERIFICATION 300 13.4.1 THE NEED FOR SPECULATIVE REASONING 300 13.4.2
SPECULATIVE VERIFICATION WITH THE G-SCIFF PROOF PROCEDURE 301 13.4.3
INTERLEAVING THE PROOF PROCEDURES 303 14 MONITORING AND ENACTMENT WITH
REACTIVE EVENT CALCULUS. .305 14.1 MONITORING ISSUES AND SCIFF 305 14.2
EVENT CALCULUS 307 14.2.1 THE EVENT CALCULUS ONTOLOGY 308 14.2.2
DOMAIN-DEPENDENT VS. DOMAIN-INDEPENDENT AXIOMS. . 309 14.2.3 REASONING
WITH EVENT CALCULUS 310 14.3 THE REACTIVE EVENT CALCULUS 312 14.3.1
AXIOMATIZATION OF THE REACTIVE EVENT CALCULUS 312 14.3.2 MONITORING AN
EVENT CALCULUS SPECIFICATION WITH THE SCIFF PROOF PROCEDURE 315 14.4 REC
ILLUSTRATED: A PERSONNEL MONITORING FACILITY 316 14.4. CONTENTS XXI
14.6.3 COMPENSATING VIOLATIONS 331 14.6.4 MONITORING EXAMPLE 332 14.7
ENACTMENT OF CONDEC MODELS 335 14.7.1 SHOWING TEMPORARILY VIOLATED
CONSTRAINTS 336 14.7.2 BLOCKING NON EXECUTABLE ACTIVITIES 336 14.7.3
TERMINATION OF THE EXECUTION 339 14.8 JREC: EMBEDDING REC INSIDE A
JAVA-BASED TOOL 340 15 DECLARATIVE PROCESS MINING 343 15.1 DECLARATIVE
PROCESS MINING WITH PROM, SCIFF CHECKER AND DECMINER 345 15.2 THE SCIFF
CHECKER PROM PLUG-IN 346 15.2.1 CLIMB TEXTUAL BUSINESS CONSTRAINTS 347
15.2.2 A METHODOLOGY FOR BUILDING RULES 348 15.2.3 SPECIFICATION OF
CONDITIONS 349 15.2.4 TRACE ANALYSIS WITH LOGIC PROGRAMMING 350 15.2.5
EMBEDDING SCIFF CHECKER IN PROM 351 15.3 CASE STUDIES 353 15.3.1 THE
THINK3 CASE STUDY 354 15.3.2 CONFORMANCE VERIFICATION OF A CERVICAL
CANCER SCREENING PROCESS 357 15.3.3 QUALITY ASSESSMENT IN LARGE
WASTEWATER TREATMENT PLANS 358 15.4 THE DECMINER PROM PLUG-IN 361 15.4.1
INDUCTIVE LOGIC PROGRAMMING FOR DECLARATIVE PROCESS DISCOVERY 361 15.4.2
EMBEDDING DECMINER INTO THE PROM FRAMEWORK 362 15.5 THE
CHECKING-DISCOVERY CYCLE 364 16 RELATED WORK AND SUMMARY 367 16.1
RELATED WORK 367 16.1.1 RUN-TIME VERIFICATION AND MONITORING 367 16.1.2
ENACTMENT 372 16.1.3 PROCESS MINING 373 16.2 SUMMARY OF THE PART 375
PART IV CONCLUSION AND FUTURE WORK 1 XXII CONTENTS 17.2.3 INTEGRATION OF
REGULATIVE AND CONSTITUTIVE RULES 381 17.2.4 DEVELOPMENT OF AN EDITOR
AND ENACTMENT PROTOTYPE . 382 17.2.5 SERVICE CONTRACTING AND DISCOVERY
IN THE SEMANTIC WEB 383 17.2.6 INTEGRATION OF DECLARATIVE AND PROCEDURAL
MODELS 383 REFERENCES 385 INDEX 403 |
| any_adam_object | 1 |
| author | Montali, Marco |
| author_facet | Montali, Marco |
| author_role | aut |
| author_sort | Montali, Marco |
| author_variant | m m mm |
| building | Verbundindex |
| bvnumber | BV036614255 |
| classification_rvk | SS 4801 |
| ctrlnum | (OCoLC)680737844 (DE-599)BVBBV036614255 |
| dewey-full | 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| dewey-sort | 16.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV036614255</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110103</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100812s2010 gw d||| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N25</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1003553532</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642145377</subfield><subfield code="c">PB. : EUR 66.34 (freier Pr.), sfr 96.50 (freier Pr.)</subfield><subfield code="9">978-3-642-14537-7</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642145377</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80018360</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)680737844</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036614255</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Montali, Marco</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Specification and verification of declarative open interaction models</subfield><subfield code="b">a logic-based approach</subfield><subfield code="c">Marco Montali</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXII, 411 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Business Information Processing</subfield><subfield code="v">56</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computational logic</subfield><subfield code="0">(DE-588)4255672-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Deklarative Semantik</subfield><subfield code="0">(DE-588)4382799-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prozessmanagement</subfield><subfield code="0">(DE-588)4353072-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wissensrepräsentation</subfield><subfield code="0">(DE-588)4049534-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Interaktionssystem</subfield><subfield code="0">(DE-588)4161977-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Computational logic</subfield><subfield code="0">(DE-588)4255672-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Deklarative Semantik</subfield><subfield code="0">(DE-588)4382799-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Wissensrepräsentation</subfield><subfield code="0">(DE-588)4049534-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="6"><subfield code="a">Interaktionssystem</subfield><subfield code="0">(DE-588)4161977-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="7"><subfield code="a">Prozessmanagement</subfield><subfield code="0">(DE-588)4353072-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Business Information Processing</subfield><subfield code="v">56</subfield><subfield code="w">(DE-604)BV023204387</subfield><subfield code="9">56</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3493217&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020534440&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020534440</subfield></datafield></record></collection> |
| id | DE-604.BV036614255 |
| illustrated | Illustrated |
| indexdate | 2025-01-11T19:14:57Z |
| institution | BVB |
| isbn | 9783642145377 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020534440 |
| oclc_num | 680737844 |
| open_access_boolean | |
| owner | DE-384 DE-634 |
| owner_facet | DE-384 DE-634 |
| physical | XXII, 411 S. graph. Darst. |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Business Information Processing |
| series2 | Lecture Notes in Business Information Processing |
| spelling | Montali, Marco Verfasser aut Specification and verification of declarative open interaction models a logic-based approach Marco Montali Berlin [u.a.] Springer 2010 XXII, 411 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Business Information Processing 56 Computational logic (DE-588)4255672-7 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Deklarative Semantik (DE-588)4382799-8 gnd rswk-swf Prozessmanagement (DE-588)4353072-2 gnd rswk-swf Formale Spezifikationstechnik (DE-588)4299725-2 gnd rswk-swf Wissensrepräsentation (DE-588)4049534-6 gnd rswk-swf Interaktionssystem (DE-588)4161977-8 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 s Computational logic (DE-588)4255672-7 s Verifikation (DE-588)4135577-5 s Formale Spezifikationstechnik (DE-588)4299725-2 s Deklarative Semantik (DE-588)4382799-8 s Wissensrepräsentation (DE-588)4049534-6 s Interaktionssystem (DE-588)4161977-8 s Prozessmanagement (DE-588)4353072-2 s DE-604 Lecture Notes in Business Information Processing 56 (DE-604)BV023204387 56 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3493217&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020534440&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Montali, Marco Specification and verification of declarative open interaction models a logic-based approach Lecture Notes in Business Information Processing Computational logic (DE-588)4255672-7 gnd Logische Programmierung (DE-588)4195096-3 gnd Deklarative Semantik (DE-588)4382799-8 gnd Prozessmanagement (DE-588)4353072-2 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd Wissensrepräsentation (DE-588)4049534-6 gnd Interaktionssystem (DE-588)4161977-8 gnd Verifikation (DE-588)4135577-5 gnd |
| subject_GND | (DE-588)4255672-7 (DE-588)4195096-3 (DE-588)4382799-8 (DE-588)4353072-2 (DE-588)4299725-2 (DE-588)4049534-6 (DE-588)4161977-8 (DE-588)4135577-5 |
| title | Specification and verification of declarative open interaction models a logic-based approach |
| title_auth | Specification and verification of declarative open interaction models a logic-based approach |
| title_exact_search | Specification and verification of declarative open interaction models a logic-based approach |
| title_full | Specification and verification of declarative open interaction models a logic-based approach Marco Montali |
| title_fullStr | Specification and verification of declarative open interaction models a logic-based approach Marco Montali |
| title_full_unstemmed | Specification and verification of declarative open interaction models a logic-based approach Marco Montali |
| title_short | Specification and verification of declarative open interaction models |
| title_sort | specification and verification of declarative open interaction models a logic based approach |
| title_sub | a logic-based approach |
| topic | Computational logic (DE-588)4255672-7 gnd Logische Programmierung (DE-588)4195096-3 gnd Deklarative Semantik (DE-588)4382799-8 gnd Prozessmanagement (DE-588)4353072-2 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd Wissensrepräsentation (DE-588)4049534-6 gnd Interaktionssystem (DE-588)4161977-8 gnd Verifikation (DE-588)4135577-5 gnd |
| topic_facet | Computational logic Logische Programmierung Deklarative Semantik Prozessmanagement Formale Spezifikationstechnik Wissensrepräsentation Interaktionssystem Verifikation |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3493217&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020534440&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV023204387 |
| work_keys_str_mv | AT montalimarco specificationandverificationofdeclarativeopeninteractionmodelsalogicbasedapproach |