Ciencias Informáticas Verification business process correctness properties soundness Decision problems Distributed Systems Informática Modeling Patterns System architectures Workflow management arquitectura distribuida cloud computing inter-organizational collaboration modelado conceptual de procesos de negocio patrones de recursos perspectiva organizacional de modelos de workflows process-aware information system sistema distribuido sistema soporte de decisiones