4.8 Article

Using Propositional Logic for Requirements Verification of Service Workflow

相关参考文献

注意:仅列出部分参考文献,下载原文获取全部文献信息。
Article Automation & Control Systems

SWSpec: The Requirements Specification Language in Service Workflow Environments

Wattana Viriyasitavat et al.

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2012)

Article Automation & Control Systems

Service-Oriented Infrastructure to Support the Deployment of Evolvable Production Systems

Goncalo Candido et al.

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2011)

Article Automation & Control Systems

Enterprise Systems: State-of-the-Art and Future Trends

Li Da Xu

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2011)

Article Automation & Control Systems

An Automated Framework for Formal Verification of Timed Continuous Petri Nets

Marius Kloetzer et al.

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2010)

Article Computer Science, Information Systems

Enterprise resource planning: technology acceptance in Thai universities

Vichita Vathanophas et al.

Enterprise Information Systems (2009)

Article Automation & Control Systems

QoS-Aware Real-Time Composition Algorithms for Service-Based Applications

Iria Estevez-Ayres et al.

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2009)

Article Automation & Control Systems

A Real-Time Service-Oriented Architecture for Industrial Automation

Tommaso Cucinotta et al.

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2009)

Article Automation & Control Systems

Resource Service Composition and Its Optimal-Selection Based on Particle Swarm Optimization in Manufacturing Grid System

Fei Tao et al.

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2008)

Article Computer Science, Information Systems

A static compliance-checking framework for business process models

Y. Liu et al.

IBM SYSTEMS JOURNAL (2007)

Article Computer Science, Information Systems

Workflow patterns

WMP Van der Aalst et al.

DISTRIBUTED AND PARALLEL DATABASES (2003)