Executable choreographies are a more general concept and are not necessarily verifiable choreographies if they do not use the idea of aa site regarded as a security context for code execution. As examples of approaches to programming using executable choreographies, we could list the European project CHOReOS<ref>{{Cite web|url=http://www.choreos.eu|title=ChoreOS|last=|first=|date=|website=|archive-url=|archive-date=|deadurl=|accessdate=}}</ref>, the Chor programming language <ref>{{Cite web|url=http://www.chor-lang.org/|title=Chor Programming Language|last=|first=|date=|website=|archive-url=|archive-date=|deadurl=|accessdate=}}</ref>, the web service modeling in the "Choreographing Web Services" <ref>{{Cite journal|last=Barker|first=Adam|last2=Walton|first2=Christopher D.|last3=Robertson|first3=David|date=2004|title=Choreographing Web Services|journal=IEEE Transactions on Services Computing|volume=2|issue=2|pages=152–166|doi=10.1109/tsc.2009.8|issn=1939-1374|via=}}</ref> of some aspects related to the composition of web services using pi-calculus <ref>{{Citation|last=Besana|first=Paolo|title=On the Move to Meaningful Internet Systems: OTM 2009|date=2009|work=On the Move to Meaningful Internet Systems: OTM 2009|volume=5870|pages=373–380|series=Lecture Notes in Computer Science|publisher=Springer Berlin Heidelberg|language=en|doi=10.1007/978-3-642-05148-7_26|isbn=9783642051470|last2=Barker|first2=Adam|url=http://www.adambarker.org/papers/coopis09.pdf|format=Submitted manuscript}}</ref>. The verifiable term was introduced to highlight the possibility of verifying [[swarm choreographies]]. The explicit presence of the execution ___location idea leads to the possibility of developing verification algorithms as can be seen in the article "Levels of privacy for e-Health systems in the cloud era". <ref>{{Cite journal|last=|first=|date=2015|title=Levels of Privacy for e-Health systems in the cloud era|url=https://aisel.aisnet.org/cgi/viewcontent.cgi?article=1089&context=isd2014|journal=24th International Conference on Information Systems Development|volume=|pages=1–10|via=}}</ref>
