Content deleted Content added
m clean up, added orphan tag |
No edit summary |
||
Line 17:
=== Verifiable choreographies ===
Executable choreographies are a more general concept and are not necessarily verifiable choreographies if they do not use the idea of a 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=|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=|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}}</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|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|citeseerx=10.1.1.525.2508}}</ref> The verifiable term was introduced to highlight the possibility of verifying [[swarm
=== Encrypted choreographies ===
| |||