{"title":"Specification-Oriented编排","authors":"Mercy N. Njima, J. Sanders","doi":"10.1109/CMC.2010.326","DOIUrl":null,"url":null,"abstract":"Orchestration of web services using low-level languages like BPEL is akin to performing Software Engineering with just the target programming language. Orc has been proposed as an elegant and more abstract design language. But much of its elegance derives from its functional style which must be matched, by the Software Engineer, with the state-based nature of systems as a whole. This pa- per explores the interface between the state-based and functional views of orchestration by studying an abstract, specification-oriented, semantics for Orc. Sound laws are established and the formalism used on simple examples to demonstrate the top-down development of implementations.","PeriodicalId":296445,"journal":{"name":"2010 International Conference on Communications and Mobile Computing","volume":"233 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2010-04-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Specification-Oriented Orchestration\",\"authors\":\"Mercy N. Njima, J. Sanders\",\"doi\":\"10.1109/CMC.2010.326\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Orchestration of web services using low-level languages like BPEL is akin to performing Software Engineering with just the target programming language. Orc has been proposed as an elegant and more abstract design language. But much of its elegance derives from its functional style which must be matched, by the Software Engineer, with the state-based nature of systems as a whole. This pa- per explores the interface between the state-based and functional views of orchestration by studying an abstract, specification-oriented, semantics for Orc. Sound laws are established and the formalism used on simple examples to demonstrate the top-down development of implementations.\",\"PeriodicalId\":296445,\"journal\":{\"name\":\"2010 International Conference on Communications and Mobile Computing\",\"volume\":\"233 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2010-04-12\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2010 International Conference on Communications and Mobile Computing\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CMC.2010.326\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2010 International Conference on Communications and Mobile Computing","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CMC.2010.326","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Orchestration of web services using low-level languages like BPEL is akin to performing Software Engineering with just the target programming language. Orc has been proposed as an elegant and more abstract design language. But much of its elegance derives from its functional style which must be matched, by the Software Engineer, with the state-based nature of systems as a whole. This pa- per explores the interface between the state-based and functional views of orchestration by studying an abstract, specification-oriented, semantics for Orc. Sound laws are established and the formalism used on simple examples to demonstrate the top-down development of implementations.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
