Chapter: Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers > Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems

Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers |

Emilio Tuosto; Chun Ouyang

Springer International Publishing

Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems

Chapter Info

Authors

Wusheng Wang; Thomas T. Hildebrandt

ARI Id

1674219767875_3349155

Access

Not Available Free

Pages

127-146

DOI

10.1007/978-3-319-08260-8_8

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-319-08260-8_8

Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Books

Book	Author(s)	Year	Publisher
Book	Author(s)	Year	Publisher

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Article Title	Authors	Journal	Vol Info	Language
No data available in table
Article Title	Authors	Journal	Vol Info	Language

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Heading	Article Title	Authors	Journal	Vol Info
No data available in table
Heading	Article Title	Authors	Journal	Vol Info

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Table of Contents of Book

entries per page

Filter:

Showing 1 to 14 of 14 entries

Chapters/Headings	Author(s)	Pages	Info
Front Matter		I-IX
Front Matter		1-1
The Development of Cloud Computing in Pacific Rim	Weicheng Huang	3-12
Choreography Revisited	Jianwen Su; Yutian Sun	13-25
Front Matter		27-27
On the Behaviour of General-Purpose Applications on Cloud Storages	Laura Bocchi; Hernán Melgratti	29-47
Formalizing RESTful Services and Web-OS Middleware	Mario Bravetti	48-68
Visualization of Successor Relations in Business Process Models	Matthias Kunze; Mathias Weske	69-84
Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation	Andrea Margheri; Massimiliano Masi; Rosario Pugliese; Francesco Tiezzi	85-105
Safe Session-Based Service Orchestration with Unreliable Communication	Jonathan Michaux; Elie Najm; Alessandro Fantechi	106-126
Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems	Wusheng Wang; Thomas T. Hildebrandt	127-146
On the Expressiveness of Parameterization in Process-Passing	Xian Xu; Qiang Yin; Huan Long	147-167
An Operational Semantics for Model Checking Long Running Transactions	Hengbiao Yu; Zhenbang Chen; Ji Wang	168-187
Back Matter		189-189
Chapters/Headings	Author(s)	Pages	Info

Showing 1 to 14 of 14 entries

Similar Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Thesis

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Similar News

entries per page

Filter:

Showing 0 to 0 of 0 entries

Headline	Date	News Paper	Country
No data available in table
Headline	Date	News Paper	Country

Showing 0 to 0 of 0 entries