A verification and deployment approach for elastic component-based applications

DOI10.1007/S00165-017-0425-3MaRDI QIDQ1688553zbMATH OpenOpenAlexFDO

Authors Mohamed Graiet, Lazhar Hamel, Amel Mammar, Samir Tata

Publication date 8 January 2018

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-017-0425-3

zbMATH Keywords

automatic verificationcloudcomponent-based applicationselasticityevent-B

Mathematics Subject Classification ID

Distributed systems (68M14) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• An Event-B based approach for cloud composite services verification
• Automatic application deployment in the cloud: from practice to theory and back (invited paper)
• ASM-based formal design of an adaptivity component for a cloud system
• Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking
• Type theory based semantic verification for service composition in cloud computing environments

Cites work

• A verification and deployment approach for elastic component-based applications
• Modeling in Event B. System and software engineering.
• Proof-based verification approaches for dynamic properties: application to the information system domain

Cited in

(4)

• A verification and deployment approach for elastic component-based applications
• Aeolus: a component model for the cloud
• Automatic application deployment in the cloud: from practice to theory and back (invited paper)
• An Event-B based approach for cloud composite services verification

Describes a project that uses

Uses Software

• ProB
• Rodin

This page was built for publication: A verification and deployment approach for elastic component-based applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1688553)