Formalisation and Verification of Interoperation Requirements on Collaborative Processes

IFAC Proceedings Volumes
doi 10.3182/20110828-6-it-1002.01796
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Petri Net Based Modeling and Correctness Verification of Collaborative Emergency Response Processes

Cybernetics and Information Technologies
Computer Science
2016English

Towards Agent-Based Modeling and Verification of Collaborative Business Processes: An Approach Centered on Interactions and Behaviors

International Journal of Cooperative Information Systems
Computer Science ApplicationsInformation Systems
2009English

Collaborative Requirements Review

International Journal of Engineering and Technology(UAE)
ArchitectureHardwareEngineeringChemical EngineeringBiotechnologyEnvironmental EngineeringComputer Science
2018English

An Organisational Perspective on Collaborative Business Processes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Supporting the Collaborative Development of Requirements and Architecture Documentation

2013English

Collaborative Working: Understanding Mobile Applications Requirements

2015English

On the Formalisation of $$\varSigma $$ -Protocols and Commitment Schemes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Verification of Functional and Non-Functional Requirements of Web Service Composition

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Comparative Assessment of Collaborative Business Process Verification Approaches

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy