Using Propositional Logic for Requirements Verification of Service Workflow

Using Propositional Logic for Requirements Verification of Service Workflow

Show other versions (1)

Bibliographic Details
Main Authors:	Xu, L, Viriyasitavat, W, Ruchikachorn, P, Martin, A
Format:	Journal article
Published:	2012

Similar Items

Using Propositional Logic for Requirements Verification of Service Workflow
by: Xu, L, et al.
Published: (2012)

In the Relation of Workflow and Trust Characteristics‚ and Requirements in Service Workflows
by: Viriyasitavat, W, et al.
Published: (2011)

SWSpec: The Requirements Specification Language in Service Workflow Environments
by: Viriyasitavat, W, et al.
Published: (2012)

SWSpec: The Requirements Specification Language in Service Workflow Environments
by: Viriyasitavat, W, et al.
Published: (2012)

Formalizing Trust Requirements and Specification in Service Workflow Environments.
by: Viriyasitavat, W, et al.
Published: (2011)

Formal Trust Specification in Service Workflows
by: Viriyasitavat, W, et al.
Published: (2015)

A framework of trust in service workflows
by: Viriyasitavat, W
Published: (2013)

The reviews and analysis of the state-of-the-art service workflow specification languages
by: Viriyasitavat, W, et al.
Published: (2017)

A Survey of Trust in Workflows and Relevant Contexts
by: Viriyasitavat, W, et al.
Published: (2011)

Propositional Dynamic Logic of Looping and Converse
by: Streett, Robert S.
Published: (2023)

The Deducibility Problem in Propositional Dynamic Logic
by: Meyer, Albert R., et al.
Published: (2023)

Propositional Dynamic Logics of Programs: A Survey
by: Parikh, Rohit
Published: (2023)

The Propositional Dynamic Logic of Deterministic, Well-Structured Programs
by: Halpern, Joseph Y., et al.
Published: (2023)

Reasoning under minimal upper bounds in propositional logic
by: Eiter, T, et al.
Published: (2006)

A Completeness Result for a Propositional Dynamic Logic
by: Parikh, Rohit
Published: (2023)

On the Computational Cost of Disjunctive Logic Programming: Propositional Case
by: Eiter, T, et al.
Published: (1995)

Reasoning under minimal upper bounds in propositional logic
by: Eiter, T, et al.
Published: (2006)

Modeling Delegation in Requirements−Driven Trust Framework
by: Viriyasitavat, W
Published: (2009)

Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness
by: Ben-Ari, Mordechai, et al.
Published: (2023)

Properties and Propositions: The Metaphysics of Higher-Order Logic, by Robert Trueman
by: Jones, NK
Published: (2023)

Propositionalism
by: Paseau, A
Published: (2021)

Propositional default logics made easier: computational complexity of model checking
by: Baumgartner, R, et al.
Published: (2002)

Hardware Verification using Higher−Order Logic
by: Camilleri, A, et al.
Published: (1986)

Hardware Verification using Higher−Order Logic
by: Camilleri, A, et al.
Published: (1987)

Semantic web services for manufacturing workflow
by: Madhav Raj Maharjan
Published: (2009)

Logic synthesis and verification algorithms /
by: 427444 Hachtel, Gary D., et al.
Published: (2006)

On the Complexity of Model Checking for Propositional Default Logics: New Results and Tractable Cases
by: Baumgartner, R, et al.
Published: (1999)

Scheduling Workforce and Workflow in a Service Factory
by: Berman, Oded, et al.
Published: (2004)

Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators
by: Dyckhoff, R, et al.
Published: (2012)

Portable Acceleration of CMS Computing Workflows with Coprocessors as a Service
by: Hayrapetyan, A., et al.
Published: (2024)

Verification of two-variable logic revisited
by: Benedikt, M, et al.
Published: (2012)

Higher Order Logic and Hardware Verification
by: Melham, T
Published: (1993)

Quantitative Proteogenomic Characterization of Inflamed Murine Colon Tissue Using an Integrated Discovery, Verification, and Validation Proteogenomic Workflow
by: Rajczewski, Andrew T., et al.
Published: (2022)

Requirements specification and verification of production tooling
by: Ayala, Roland J. (Roland Joseph)
Published: (2007)

Responsibility and verification: importance value in temporal logics
by: Mascle, C, et al.
Published: (2021)

Non-metric propositional similarity
by: Paseau, A
Published: (2020)

Rethinking the proposition of privacy engineering
by: Ceross, A, et al.
Published: (2018)

A Linked Data Approach to Sharing Workflows and Workflow Results.
by: Roos, M, et al.
Published: (2010)

Fostering Scientific Workflow Preservation through Discovery of Substitute Services.
by: Belhajjame, K, et al.
Published: (2011)

Workflow scheduling
by: Agarwal, Kanika
Published: (2013)