skip to content
Specification and verification of declarative open interaction models : a logic-based approach Preview this item
ClosePreview this item
Checking...

Specification and verification of declarative open interaction models : a logic-based approach

Author: Marco Montali
Publisher: Berlin ; Heidelberg : Springer-Verlag, ©2010.
Series: Lecture notes in business information processing, 56.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Publication:Springer eBooks
Summary:
Many novel application scenarios and architectures in business process management or service composition are characterized by a distribution of activities and resources, and by complex interaction and coordination dynamics. In this book, Montali answers fundamental questions on open and declarative modeling abstractions via the integration and extension of quite diverse approaches into a computational logic-based  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Montali, Marco.
Specification and verification of declarative open interaction models.
Berlin : Springer, ©2010
(DLC) 2010931106
(OCoLC)648933593
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Marco Montali
ISBN: 9783642145384 3642145388
OCLC Number: 663096123
Language Note: English.
Description: 1 online resource (xxii, 411 pages).
Contents: pt. 1. Specification --
pt. 2. Static verification --
pt. 3. Run-time and a-posteriori verification --
pt. 4. Conclusion and future work.
Series Title: Lecture notes in business information processing, 56.
Responsibility: Marco Montali.

Abstract:

Addressing fundamental questions on modeling abstractions, this volume explores the integration and extension of diverse approaches to logic-based frameworks. This framework allows non-experts to  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/663096123> # Specification and verification of declarative open interaction models : a logic-based approach
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "663096123" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/793615576#Place/berlin> ; # Berlin
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/793615576#Place/heidelberg> ; # Heidelberg
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/793615576#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
    schema:about <http://id.worldcat.org/fast/872265> ; # Computer logic
    schema:about <http://id.worldcat.org/fast/973089> ; # Information technology
    schema:about <http://experiment.worldcat.org/entity/work/data/793615576#Topic/programming_techniques> ; # Programming Techniques
    schema:about <http://id.worldcat.org/fast/1007271> ; # Management information systems
    schema:about <http://experiment.worldcat.org/entity/work/data/793615576#Topic/software_engineering_programming_and_operating_systems> ; # Software Engineering/Programming and Operating Systems
    schema:about <http://experiment.worldcat.org/entity/work/data/793615576#Topic/information_systems_applications_incl_internet> ; # Information Systems Applications (incl. Internet)
    schema:about <http://dewey.info/class/005.1015113/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/793615576#Topic/computers_machine_theory> ; # COMPUTERS--Machine Theory
    schema:about <http://experiment.worldcat.org/entity/work/data/793615576#Topic/computer_engineering> ; # Computer Engineering
    schema:about <http://id.worldcat.org/fast/1743783> ; # Declarative programming languages
    schema:about <http://experiment.worldcat.org/entity/work/data/793615576#Topic/business> ; # Business
    schema:about <http://experiment.worldcat.org/entity/work/data/793615576#Topic/computer_science> ; # Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/793615576#Topic/electronic_books> ; # Electronic books
    schema:about <http://experiment.worldcat.org/entity/work/data/793615576#Topic/informatique> ; # Informatique
    schema:about <http://id.worldcat.org/fast/871995> ; # Computational intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/793615576#Topic/software_engineering> ; # Software Engineering
    schema:bookFormat schema:EBook ;
    schema:copyrightYear "2010" ;
    schema:creator <http://viaf.org/viaf/159038029> ; # Marco Montali
    schema:datePublished "2010" ;
    schema:description "pt. 1. Specification -- pt. 2. Static verification -- pt. 3. Run-time and a-posteriori verification -- pt. 4. Conclusion and future work."@en ;
    schema:description "Many novel application scenarios and architectures in business process management or service composition are characterized by a distribution of activities and resources, and by complex interaction and coordination dynamics. In this book, Montali answers fundamental questions on open and declarative modeling abstractions via the integration and extension of quite diverse approaches into a computational logic-based comprehensive framework. This framework allows non IT experts to graphically specify interaction models that are then automatically transformed into a corresponding formal representation and a set of fully automated sound and complete verification facilities. The book constitutes a revised and extended version of the author’s PhD thesis, which was honored with the 2009 “Marco Cadoli” prize, awarded by the Italian Association for Logic Programming for the most outstanding thesis focusing on computational logic, discussed between the years 2007 and 2009."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/793615576> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/793615576#Series/lecture_notes_in_business_information_processing> ; # Lecture notes in business information processing ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/648933593> ;
    schema:name "Specification and verification of declarative open interaction models : a logic-based approach"@en ;
    schema:productID "663096123" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/663096123#PublicationEvent/berlin_heidelberg_springer_verlag_2010> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/793615576#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://gate.lib.buffalo.edu/login?url=https://link.springer.com/book/10.1007/978-3-642-14538-4> ;
    schema:url <http://proxy.library.carleton.ca/login?url=http://dx.doi.org/10.1007/978-3-642-14538-4> ;
    schema:url <http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks2/springer/2011-02-17/2/9783642145384> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=602871> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-642-14537-7> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/10.1007/978-3-642-14538-4> ;
    schema:url <http://libproxy.uwyo.edu/login/?url=http://link.springer.com/10.1007/978-3-642-14538-4> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-14538-4> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=338016> ;
    schema:url <http://link.springer.com/10.1007/978-3-642-14538-4> ;
    schema:url <https://grinnell.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-642-14538-4> ;
    schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://dx.doi.org/10.1007/978-3-642-14538-4> ;
    schema:url <http://proxy.library.carleton.ca/login?url=http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks2/springer/2011-02-17/2/9783642145384> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-642-14538-4> ;
    schema:workExample <http://worldcat.org/isbn/9783642145384> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/663096123> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/793615576#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/793615576#Series/lecture_notes_in_business_information_processing> # Lecture notes in business information processing ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/663096123> ; # Specification and verification of declarative open interaction models : a logic-based approach
    schema:name "Lecture notes in business information processing ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/793615576#Topic/computer_engineering> # Computer Engineering
    a schema:Intangible ;
    schema:name "Computer Engineering"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/793615576#Topic/computers_machine_theory> # COMPUTERS--Machine Theory
    a schema:Intangible ;
    schema:name "COMPUTERS--Machine Theory"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/793615576#Topic/information_systems_applications_incl_internet> # Information Systems Applications (incl. Internet)
    a schema:Intangible ;
    schema:name "Information Systems Applications (incl. Internet)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/793615576#Topic/logics_and_meanings_of_programs> # Logics and Meanings of Programs
    a schema:Intangible ;
    schema:name "Logics and Meanings of Programs"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/793615576#Topic/programming_techniques> # Programming Techniques
    a schema:Intangible ;
    schema:name "Programming Techniques"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/793615576#Topic/software_engineering> # Software Engineering
    a schema:Intangible ;
    schema:name "Software Engineering"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/793615576#Topic/software_engineering_programming_and_operating_systems> # Software Engineering/Programming and Operating Systems
    a schema:Intangible ;
    schema:name "Software Engineering/Programming and Operating Systems"@en ;
    .

<http://id.worldcat.org/fast/1007271> # Management information systems
    a schema:Intangible ;
    schema:name "Management information systems"@en ;
    .

<http://id.worldcat.org/fast/1743783> # Declarative programming languages
    a schema:Intangible ;
    schema:name "Declarative programming languages"@en ;
    .

<http://id.worldcat.org/fast/871995> # Computational intelligence
    a schema:Intangible ;
    schema:name "Computational intelligence"@en ;
    .

<http://id.worldcat.org/fast/872265> # Computer logic
    a schema:Intangible ;
    schema:name "Computer logic"@en ;
    .

<http://id.worldcat.org/fast/973089> # Information technology
    a schema:Intangible ;
    schema:name "Information technology"@en ;
    .

<http://viaf.org/viaf/159038029> # Marco Montali
    a schema:Person ;
    schema:familyName "Montali" ;
    schema:givenName "Marco" ;
    schema:name "Marco Montali" ;
    .

<http://worldcat.org/isbn/9783642145384>
    a schema:ProductModel ;
    schema:isbn "3642145388" ;
    schema:isbn "9783642145384" ;
    .

<http://www.worldcat.org/oclc/648933593>
    a schema:CreativeWork ;
    rdfs:label "Specification and verification of declarative open interaction models." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/663096123> ; # Specification and verification of declarative open interaction models : a logic-based approach
    .

<http://www.worldcat.org/title/-/oclc/663096123>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/663096123> ; # Specification and verification of declarative open interaction models : a logic-based approach
    schema:dateModified "2018-11-07" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.