Using Propositional Logic for Requirements Verification of Service Workflow

Using Propositional Logic for Requirements Verification of Service Workflow

Näytä muut versiot (1)

Bibliografiset tiedot
Päätekijät:	Xu, L, Viriyasitavat, W, Ruchikachorn, P, Martin, A
Aineistotyyppi:	Journal article
Julkaistu:	2012

Samankaltaisia teoksia

Using Propositional Logic for Requirements Verification of Service Workflow
Tekijä: Xu, L, et al.
Julkaistu: (2012)

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

SWSpec: The Requirements Specification Language in Service Workflow Environments
Tekijä: Viriyasitavat, W, et al.
Julkaistu: (2012)

SWSpec: The Requirements Specification Language in Service Workflow Environments
Tekijä: Viriyasitavat, W, et al.
Julkaistu: (2012)

Formalizing Trust Requirements and Specification in Service Workflow Environments.
Tekijä: Viriyasitavat, W, et al.
Julkaistu: (2011)

Formal Trust Specification in Service Workflows
Tekijä: Viriyasitavat, W, et al.
Julkaistu: (2015)

A framework of trust in service workflows
Tekijä: Viriyasitavat, W
Julkaistu: (2013)

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

A Survey of Trust in Workflows and Relevant Contexts
Tekijä: Viriyasitavat, W, et al.
Julkaistu: (2011)

Propositional Dynamic Logic of Looping and Converse
Tekijä: Streett, Robert S.
Julkaistu: (2023)

The Deducibility Problem in Propositional Dynamic Logic
Tekijä: Meyer, Albert R., et al.
Julkaistu: (2023)

Propositional Dynamic Logics of Programs: A Survey
Tekijä: Parikh, Rohit
Julkaistu: (2023)

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

Reasoning under minimal upper bounds in propositional logic
Tekijä: Eiter, T, et al.
Julkaistu: (2006)

A Completeness Result for a Propositional Dynamic Logic
Tekijä: Parikh, Rohit
Julkaistu: (2023)

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

Reasoning under minimal upper bounds in propositional logic
Tekijä: Eiter, T, et al.
Julkaistu: (2006)

Modeling Delegation in Requirements−Driven Trust Framework
Tekijä: Viriyasitavat, W
Julkaistu: (2009)

Propositionalism
Tekijä: Paseau, A
Julkaistu: (2021)

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

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

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

Hardware Verification using Higher−Order Logic
Tekijä: Camilleri, A, et al.
Julkaistu: (1986)

Hardware Verification using Higher−Order Logic
Tekijä: Camilleri, A, et al.
Julkaistu: (1987)

Semantic web services for manufacturing workflow
Tekijä: Madhav Raj Maharjan
Julkaistu: (2009)

Logic synthesis and verification algorithms /
Tekijä: 427444 Hachtel, Gary D., et al.
Julkaistu: (2006)

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

Scheduling Workforce and Workflow in a Service Factory
Tekijä: Berman, Oded, et al.
Julkaistu: (2004)

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

Verification of two-variable logic revisited
Tekijä: Benedikt, M, et al.
Julkaistu: (2012)

Higher Order Logic and Hardware Verification
Tekijä: Melham, T
Julkaistu: (1993)

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

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

Requirements specification and verification of production tooling
Tekijä: Ayala, Roland J. (Roland Joseph)
Julkaistu: (2007)

Problems and propositions in analysis /
Tekijä: 464612 Klambauer, Gabriel
Julkaistu: (1979)

Workflows for e-science : scientific workflows for grids /
Tekijä: Taylor, Ian J., 1968-
Julkaistu: (2007)

Non-metric propositional similarity
Tekijä: Paseau, A
Julkaistu: (2020)

Rethinking the proposition of privacy engineering
Tekijä: Ceross, A, et al.
Julkaistu: (2018)

Responsibility and verification: importance value in temporal logics
Tekijä: Mascle, C, et al.
Julkaistu: (2021)

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