A guarded workflow language and its formal semantics

A guarded workflow language and its formal semantics

Taispeáin leaganacha eile (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...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Wang, C, Davies, J, Welch, J
Formáid:	Journal article
Teanga:	English
Foilsithe / Cruthaithe:	2010

Míreanna comhchosúla

A Guarded Workflow Language and Its Formal Semantics
de réir: Wang, C, et al.
Foilsithe / Cruthaithe: (2010)

A formal, scalable approach to semantic interoperability
de réir: Davies, J, et al.
Foilsithe / Cruthaithe: (2020)

Formal and Model−Based Testing of Concurrent Workflows
de réir: Wang, C, et al.
Foilsithe / Cruthaithe: (2011)

Formal and Model−Based Testing of Concurrent Workflows
de réir: Wang, C, et al.
Foilsithe / Cruthaithe: (2011)

Understanding Z : a specification language and its formal semantics /
de réir: 201842 Spivey, J. M.
Foilsithe / Cruthaithe: (1988)

Formal semantics for natural language
de réir: Kepa Korta, et al.
Foilsithe / Cruthaithe: (1993-04-01)

Towards semantics of guarded induction
de réir: ́Pavlovic, D
Foilsithe / Cruthaithe: (1998)

Formal Language Decomposition into Semantic Primes
de réir: Johannes FÄHNDRICH, et al.
Foilsithe / Cruthaithe: (2014-10-01)

From Predicates to Programs: The Semantics of a Method Language
de réir: Faitelson, D, et al.
Foilsithe / Cruthaithe: (2007)

The formal semantics of a domain-specific modelling language
de réir: Grealish, C
Foilsithe / Cruthaithe: (2010)

Consistent and Complementary Formal Theories of the Semantics of Programming Languages
de réir: Hoare, C, et al.
Foilsithe / Cruthaithe: (1974)

Taverna Workflows: Syntax and Semantics.
de réir: Turi, D, et al.
Foilsithe / Cruthaithe: (2007)

Formal Trust Specification in Service Workflows
de réir: Viriyasitavat, W, et al.
Foilsithe / Cruthaithe: (2015)

The Formalism and Language Tools for Semantics Speciﬁcation of Software Libraries
de réir: V. M. Itsykson
Foilsithe / Cruthaithe: (2016-12-01)

Elements of formal semantics : an introduction to logic for students of language /
de réir: 286744 Martin, John N.
Foilsithe / Cruthaithe: (1987)

Reference in Formal Semantics and Natural Language: A Methodological Route
de réir: Francesca Boccuni
Foilsithe / Cruthaithe: (2019-03-01)

Towards a Formal Framework for Workflow Interoperability
de réir: Fernando, S, et al.
Foilsithe / Cruthaithe: (2009)

A Formal System for Defining the Syntax and Semantics of Computer Languages
de réir: Ledgard, Henry Francis
Foilsithe / Cruthaithe: (2023)

Towards a formal framework for workflow interoperability
de réir: Fernando, S, et al.
Foilsithe / Cruthaithe: (2008)

DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics.
de réir: Samson Abramsky, et al.
Foilsithe / Cruthaithe: (2015-11-01)

Stable Model Semantics for Guarded Existential Rules and Description Logics
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2014)

RATIO OF FORMAL AND LEXICAL-SEMANTIC VARIATION OF THE WORD IN THE LANGUAGE SYSTEM
de réir: Z. M. Bogoslovskaya
Foilsithe / Cruthaithe: (2013-11-01)

Semantic web services for manufacturing workflow
de réir: Madhav Raj Maharjan
Foilsithe / Cruthaithe: (2009)

Multilingual Workflows for Semantic Change Research
de réir: Paola Marongiu, et al.
Foilsithe / Cruthaithe: (2024-01-01)

Semantic typing of linked geoprocessing workflows
de réir: Simon Scheider, et al.
Foilsithe / Cruthaithe: (2018-01-01)

Formal semantics for VHDL /
de réir: Kloos, Carlos Delgado, et al.
Foilsithe / Cruthaithe: (1995)

Semantic networks : an evidential formalization and its connectionist realization /
de réir: 340272 Shastri, Lokendra
Foilsithe / Cruthaithe: (1988)

Elements of Formal Semantics: An Introduction to the Mathematical Theory of Meaning in Natural Language
de réir: Michael Yoshitaka Erlewine
Foilsithe / Cruthaithe: (2021-03-01)

Formal Verification of Business Constraints in Workflow-Based Applications
de réir: Florin Stoica, et al.
Foilsithe / Cruthaithe: (2024-12-01)

Formalizing Trust Requirements and Specification in Service Workflow Environments.
de réir: Viriyasitavat, W, et al.
Foilsithe / Cruthaithe: (2011)

Behavioral Analysis of Scientific Workflows With Semantic Information
de réir: Javier Fabra, et al.
Foilsithe / Cruthaithe: (2018-01-01)

Urban space: about the access for the formal rights to the guarded coercion of the feminine politic participation
de réir: Almir Nabozny
Foilsithe / Cruthaithe: (2007-06-01)

Formal and semantic derivation of the Proto-Slavic verbal root *dvig- in the Macedonian language
de réir: Markoviḱ Marjan D.
Foilsithe / Cruthaithe: (2020-01-01)

Formal Features of the Structural-Semantic Categories of One-Part Sentences in the Rutul Language
de réir: S.M. Makhmudova
Foilsithe / Cruthaithe: (2020-01-01)

Issues in the formal semantics of referentiality
de réir: Henriëtte de Swart, et al.
Foilsithe / Cruthaithe: (2015-06-01)

The lexical and formal semantics of distributivity
de réir: Lelia Glass
Foilsithe / Cruthaithe: (2021-03-01)

Formal Component-Based Semantics
de réir: Ken Madlener, et al.
Foilsithe / Cruthaithe: (2011-08-01)

Intuitions and Competence in Formal Semantics
de réir: Martin Stokhof
Foilsithe / Cruthaithe: (2010-12-01)

Formal semantics for propositional attitudes
de réir: Daniel Vanderveken
Foilsithe / Cruthaithe: (2011-06-01)

Formal semantics : the essential readings /
de réir: Portner, Paul, et al.
Foilsithe / Cruthaithe: (2002)