Formal methods and verification technique are often used to develop mission-critical
systems. Cloud computing offers new computation models for applications and the new …

Collaborative environments have put an enormous challenge to secure the information
processing systems being used to manage them. Challenges to provide secure framework …

Model checking is a popular formal technique facilitating automatic verification of finite-state
transition systems, and it has been applied to almost all of the Web service verification …

This paper proposes an algebraic system, verification algebra (VA), for reducing the number
of component combinations to be verified in multi‐tenant architecture (MTA). MTA is a …

Over the last decade, Web services composition has become a thriving area of research and
development endeavors for application integration and interoperability. Although Web …

Traditional business process specification approaches such as BPMN are procedural, as
they require specifying exact and complete process flow. In contrast, a declarative process is …