A formal model of cloud-deployed software and its application to workflow processing.
Einar Broch JohnsenKa I PunSilvia Lizeth Tapia TarifaPublished in: SoftCOM (2017)
Keyphrases
- formal model
- software tools
- real time
- cloud computing
- software systems
- software development
- security properties
- control flow
- data flow
- software design
- computer systems
- formal models
- software architecture
- computing platform
- security patterns
- predicate calculus
- test cases
- data processing
- user interface
- workflow systems
- information processing
- source code
- probabilistic knowledge
- computing infrastructure