A guarded workflow language and its formal semantics

A guarded workflow language and its formal semantics

他のバージョン（1件）を表示する

Many information systems hold data of considerable value, and are subject to complex constraints and business rules. In these systems, update operations are often carefully described, to the extent that it is possible to derive a formal specification of their applicability and effect. Where an updat...

書誌詳細
主要な著者:	Wang, C, Davies, J, Welch, J
フォーマット:	Journal article
言語:	English
出版事項:	2010

類似資料

A Guarded Workflow Language and Its Formal Semantics
著者:: Wang, C, 等
出版事項: (2010)

A formal, scalable approach to semantic interoperability
著者:: Davies, J, 等
出版事項: (2020)

Formal and Model−Based Testing of Concurrent Workflows
著者:: Wang, C, 等
出版事項: (2011)

Formal and Model−Based Testing of Concurrent Workflows
著者:: Wang, C, 等
出版事項: (2011)

Understanding Z : a specification language and its formal semantics /
著者:: 201842 Spivey, J. M.
出版事項: (1988)

Formal semantics for natural language
著者:: Kepa Korta, 等
出版事項: (1993-04-01)

Towards semantics of guarded induction
著者:: ́Pavlovic, D
出版事項: (1998)

Formal Language Decomposition into Semantic Primes
著者:: Johannes FÄHNDRICH, 等
出版事項: (2014-10-01)

From Predicates to Programs: The Semantics of a Method Language
著者:: Faitelson, D, 等
出版事項: (2007)

The formal semantics of a domain-specific modelling language
著者:: Grealish, C
出版事項: (2010)

Consistent and Complementary Formal Theories of the Semantics of Programming Languages
著者:: Hoare, C, 等
出版事項: (1974)

Taverna Workflows: Syntax and Semantics.
著者:: Turi, D, 等
出版事項: (2007)

Formal Trust Specification in Service Workflows
著者:: Viriyasitavat, W, 等
出版事項: (2015)

The Formalism and Language Tools for Semantics Speciﬁcation of Software Libraries
著者:: V. M. Itsykson
出版事項: (2016-12-01)

Elements of formal semantics : an introduction to logic for students of language /
著者:: 286744 Martin, John N.
出版事項: (1987)

Reference in Formal Semantics and Natural Language: A Methodological Route
著者:: Francesca Boccuni
出版事項: (2019-03-01)

Towards a Formal Framework for Workflow Interoperability
著者:: Fernando, S, 等
出版事項: (2009)

A Formal System for Defining the Syntax and Semantics of Computer Languages
著者:: Ledgard, Henry Francis
出版事項: (2023)

Towards a formal framework for workflow interoperability
著者:: Fernando, S, 等
出版事項: (2008)

DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics.
著者:: Samson Abramsky, 等
出版事項: (2015-11-01)

Stable Model Semantics for Guarded Existential Rules and Description Logics
著者:: Gottlob, G, 等
出版事項: (2014)

RATIO OF FORMAL AND LEXICAL-SEMANTIC VARIATION OF THE WORD IN THE LANGUAGE SYSTEM
著者:: Z. M. Bogoslovskaya
出版事項: (2013-11-01)

Semantic web services for manufacturing workflow
著者:: Madhav Raj Maharjan
出版事項: (2009)

Multilingual Workflows for Semantic Change Research
著者:: Paola Marongiu, 等
出版事項: (2024-01-01)

Semantic typing of linked geoprocessing workflows
著者:: Simon Scheider, 等
出版事項: (2018-01-01)

Formal semantics for VHDL /
著者:: Kloos, Carlos Delgado, 等
出版事項: (1995)

Semantic networks : an evidential formalization and its connectionist realization /
著者:: 340272 Shastri, Lokendra
出版事項: (1988)

Elements of Formal Semantics: An Introduction to the Mathematical Theory of Meaning in Natural Language
著者:: Michael Yoshitaka Erlewine
出版事項: (2021-03-01)

Formal Verification of Business Constraints in Workflow-Based Applications
著者:: Florin Stoica, 等
出版事項: (2024-12-01)

Formalizing Trust Requirements and Specification in Service Workflow Environments.
著者:: Viriyasitavat, W, 等
出版事項: (2011)

Behavioral Analysis of Scientific Workflows With Semantic Information
著者:: Javier Fabra, 等
出版事項: (2018-01-01)

Urban space: about the access for the formal rights to the guarded coercion of the feminine politic participation
著者:: Almir Nabozny
出版事項: (2007-06-01)

Formal and semantic derivation of the Proto-Slavic verbal root *dvig- in the Macedonian language
著者:: Markoviḱ Marjan D.
出版事項: (2020-01-01)

Formal Features of the Structural-Semantic Categories of One-Part Sentences in the Rutul Language
著者:: S.M. Makhmudova
出版事項: (2020-01-01)

Issues in the formal semantics of referentiality
著者:: Henriëtte de Swart, 等
出版事項: (2015-06-01)

The lexical and formal semantics of distributivity
著者:: Lelia Glass
出版事項: (2021-03-01)

Formal Component-Based Semantics
著者:: Ken Madlener, 等
出版事項: (2011-08-01)

Intuitions and Competence in Formal Semantics
著者:: Martin Stokhof
出版事項: (2010-12-01)

Formal semantics for propositional attitudes
著者:: Daniel Vanderveken
出版事項: (2011-06-01)

Formal semantics : the essential readings /
著者:: Portner, Paul, 等
出版事項: (2002)