Dynamic change within workflow systems
COCS '95 Proceedings of conference on Organizational computing systems
Role-Based Access Control Models
Computer
Mobile values, new names, and secure communication
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Vienna Development Method: The Meta-Language
The Vienna Development Method: The Meta-Language
An Object Calculus for Asynchronous Communication
ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
Verifying Mobile Processes in the HAL Environment
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
A Distributed Calculus for Rôle-Based Access Control
CSFW '04 Proceedings of the 17th IEEE workshop on Computer Security Foundations
Web services: a process algebra approach
Proceedings of the 2nd international conference on Service oriented computing
Formal semantics and analysis of control flow in WS-BPEL
Science of Computer Programming
A Calculus for Generation, Verification and Refinement of BPEL Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
A calculus for orchestration of web services
ESOP'07 Proceedings of the 16th European conference on Programming
On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems
DEPEND '10 Proceedings of the 2010 Third International Conference on Dependability
Modeling dynamic reconfigurations in Reo using high-level replacement systems
Science of Computer Programming
A model for dynamic reconfiguration in service-oriented architectures
ECSA'10 Proceedings of the 4th European conference on Software architecture
Validation of security policies by the animation of Z specifications
Proceedings of the 16th ACM symposium on Access control models and technologies
Validation of security-design models using Z
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Towards a unifying theory for web services composition
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Toward design, modelling and analysis of dynamic workflow reconfigurations
WS-FM'11 Proceedings of the 8th international conference on Web Services and Formal Methods
Modelling and analysis of dynamic reconfiguration in BP-Calculus
KES-AMSTA'12 Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications
| Hi-index | 0.00 |
The BP-calculus is a formalism based on the π-calculus, which is encoded in WS-BPEL. The BP-calculus is intended to specifically model and verify Service Oriented Applications SOA. One important feature of SOA is the ability to compose services which may evolve dynamically or at runtime. Dynamic reconfiguration of services increases their availability but, simultaneously, it complicates validation, verification, and evaluation to some extent. In this paper, we formally model and analyze dynamic reconfigurations and their requirements in BP-calculus and we show how reconfigurable components can be modeled using handlers that are essential parts of WS-BPEL language. Besides, we consider security rules and their formal specification as required to implement dynamic reconfiguration.