Formalizing Trust Requirements and Specification in Service Workflow Environments.

Formalizing Trust Requirements and Specification in Service Workflow Environments.

Bibliographic Details
Main Authors:	Viriyasitavat, W, Martin, A
Format:	Conference item
Published:	SciTePress 2011

Similar Items

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

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)

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

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

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

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

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

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

The formal specification for competency requirements
by: Roslina, Mohd Sidek, et al.
Published: (2011)

Formal Analysis of Trust and Reputation for Service Composition in IoT
by: Abdelmuttlib Ibrahim Abdalla Ahmed, et al.
Published: (2023)

Formal Analysis of Trust and Reputation for Service Composition in IoT
by: Abdelmuttlib Ibrahim Abdalla Ahmed, et al.
Published: (2023-03-01)

Towards a Formal Framework for Workflow Interoperability
by: Fernando, S, et al.
Published: (2009)

Towards a formal framework for workflow interoperability
by: Fernando, S, et al.
Published: (2008)

Formal and Model−Based Testing of Concurrent Workflows
by: Wang, C, et al.
Published: (2011)

Formal and Model−Based Testing of Concurrent Workflows
by: Wang, C, et al.
Published: (2011)

Can we trust the standardized mortality ratio? A formal analysis and evaluation based on axiomatic requirements.
by: Martin Roessler, et al.
Published: (2021-01-01)

A guarded workflow language and its formal semantics
by: Wang, C, et al.
Published: (2010)

A Guarded Workflow Language and Its Formal Semantics
by: Wang, C, et al.
Published: (2010)

Human Factor of Formal Engineering Methods in Validating Requirement Specification
by: Fauziah, Zainuddin, et al.
Published: (2017)

Evaluating visualization in formal requirements specification : an experiment with human subjects
by: Viguier, Thomas, 1978-
Published: (2013)

Trust and Privacy Solutions Based on Holistic Service Requirements
by: José Antonio Sánchez Alcón, et al.
Published: (2015-12-01)

Formal specification and implementation of workflow transaction(工作流事务的形式化描述和实现)
by: ZOUJin-an(邹金安), et al.
Published: (2009-09-01)

Trust and connection in formal, virtual mentoring
by: Catherine Evans
Published: (2018-06-01)

Toward a Requirements Apprentice: On the Boundary Between Informal and Formal Specifications
by: Rich, Charles, et al.
Published: (2004)

Extending a formal specification & requirements language : a case study
by: Lai, Danny Cho-Liang, 1978-
Published: (2014)

Semantic Description of Explainable Machine Learning Workflows for Improving Trust
by: Patricia Inoue Nakagawa, et al.
Published: (2021-11-01)

Transforming polymorphic process model to petri net: a formal way for validating workflow-based web service composition
by: Mohamad, Radziah, et al.
Published: (2011)

A formal validation of a deep learning-based automated workflow for the interpretation of the echocardiogram
by: Jasper Tromp, et al.
Published: (2022-11-01)

Multi-objective scientific workflow scheduling algorithm in multi-cloud environment for satisfying QoS requirements
by: Ramadhan, Mazen Farid Ebrahim
Published: (2022)

Formal reconstruction of notions of belief, utterance and trust
by: Robert Piechowicz
Published: (2020-09-01)

Property specifications for workflow modelling
by: Wong, P, et al.
Published: (2011)

Property Specifications for Workflow Modelling
by: Wong, P, et al.
Published: (2009)

Property Specifications for Workflow Modelling
by: Wong, P, et al.
Published: (2009)

Property Specifications for Workflow Modelling
by: Wong, P, et al.
Published: (2010)

Requirements‐related fault prevention during the transformation from formal specifications to programs
by: Jiandong Li, et al.
Published: (2023-06-01)

A demonstration of a formal specification & requirements language : a case study
by: Sutherland, Sean J. P. (Sean Jason Perry), 1977-
Published: (2014)

Formal requirements of a science
by: Pool, Ithiel de Sola, 1917-1984
Published: (2013)

Mapping workflows and managing knowledge : capturing formal and tacit knowledge to improve performance /
by: 554551 Kmetz, John
Published: (2012)