Automated Synthesis and Ranking of Secure BPMN Orchestrators.
Vincenzo CianciaFabio MartinelliIlaria MatteucciMarinella PetrocchiJosé Antonio MartínErnesto PimentelPublished in: ARES (2013)
Keyphrases
- secure multi party
- business process
- business processes
- ranking algorithm
- semi automated
- fully automated
- multi party
- program synthesis
- ranking functions
- model driven
- web search
- learning to rank
- lightweight
- evaluation measures
- user feedback
- keyword search
- process model
- security requirements
- security analysis
- rank aggregation
- information systems