Automated Synthesis and Ranking of Secure BPMN Orchestrators
Vincenzo Ciancia(National Academies of Sciences, Engineering, and Medicine), Ernesto Pimentel(Universidad de Málaga), Ilaria Matteucci(National Academies of Sciences, Engineering, and Medicine), José Antonio Martín(Universidad de Málaga), Fabio Martinelli(Institute of Informatics and Telematics), Marinella Petrocchi(Institute of Informatics and Telematics)
Cited by 2
Related Papers
Formalizing Web Service Choreographies
|Electronic Notes in Theoretical Computer Science|2004|220
Specification and Refinement of Dynamic Software Architectures
|IFIP advances in information and communication technology|1999|109
Compatibility and inheritance in software architectures
|Science of Computer Programming|2001|108
Adding roles to CORBA objects
|IEEE Transactions on Software Engineering|2003|65