A PetriNet-Based Approach for Supporting Traceability in Cyber-Physical Manufacturing Systems. [PDF]
Sensors (Basel), 2016 Huang J, Zhu Y, Cheng B, Lin C, Chen J.
europepmc +1 more source
Requirements for guidelines systems: implementation challenges and lessons from existing software-engineering efforts. [PDF]
BMC Med Inform Decis Mak, 2012 Shah H +5 more
europepmc +1 more source
A Component-Based Approach for Securing Indoor Home Care Applications. [PDF]
Sensors (Basel), 2017 Agirre A +3 more
europepmc +1 more source
A model for correlation-based choreographic programming. [PDF]
PeerJ Comput SciGiallorenzo S, Montesi F, Gabbrielli M.
europepmc +1 more source
A web services choreography scenario for interoperating bioinformatics applications. [PDF]
BMC Bioinformatics, 2004 de Knikker R +6 more
europepmc +1 more source
Informing the State of Process Modeling and Automation of Blood Banking and Transfusion Services Through a Systematic Mapping Study. [PDF]
J Multidiscip HealthcElhaj SA +5 more
europepmc +1 more source
caGrid 1.0: an enterprise Grid infrastructure for biomedical research. [PDF]
J Am Med Inform Assoc, 2008 Oster S +11 more
europepmc +1 more source
An empirical study on mutation testing of WS-BPEL programs
, 2016 Nowadays, applications are increasingly deployed as Web services in the globally distributed cloud computing environment. Multiple services are normally composed to fulfill complex functionalities. Business Process Execution Language for Web Services (WS-
Lin Pan (243701) +4 more
core
Enforcement of entailment constraints in distributed service-based business processes.
Inf Softw Technol, 2013 Hummer W +4 more
europepmc +1 more source
Policy Driven Development: Flexible Policy Insertion for Large Scale Systems. [PDF]
Proc IEEE Int Symp Policies Distrib Syst Netw, 2012 Demchak B, Krüger I.
europepmc +1 more source