{"title":"关于BPEL4WS/UML描述的仿真","authors":"S. Endo, T. Miyamoto, S. Kumagai, T. Fujii","doi":"10.1109/APSEC.2005.84","DOIUrl":null,"url":null,"abstract":"Increasing developments of systems using Web applications, SOA (service oriented architecture) based development becomes the focus of attention. However, in SOA based development, it is difficult to understand behaviors of system, which is integrated with many Web applications. Therefore, it is necessary to simulate the entire behavior in early stage. A formal semantics for UML activity diagrams has been proposed, where an activity diagram is mapped into a hypergraph called an activity hypergraph, and the semantics is defined on the hypergraphs. In this paper, we propose a mapping from BPEL4WS/UML descriptions into activity hypergraphs, and enhance the semantics to simulate entire systems.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"123 3 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"On simulation of BPEL4WS/UML descriptions\",\"authors\":\"S. Endo, T. Miyamoto, S. Kumagai, T. Fujii\",\"doi\":\"10.1109/APSEC.2005.84\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Increasing developments of systems using Web applications, SOA (service oriented architecture) based development becomes the focus of attention. However, in SOA based development, it is difficult to understand behaviors of system, which is integrated with many Web applications. Therefore, it is necessary to simulate the entire behavior in early stage. A formal semantics for UML activity diagrams has been proposed, where an activity diagram is mapped into a hypergraph called an activity hypergraph, and the semantics is defined on the hypergraphs. In this paper, we propose a mapping from BPEL4WS/UML descriptions into activity hypergraphs, and enhance the semantics to simulate entire systems.\",\"PeriodicalId\":359862,\"journal\":{\"name\":\"12th Asia-Pacific Software Engineering Conference (APSEC'05)\",\"volume\":\"123 3 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2005-12-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"12th Asia-Pacific Software Engineering Conference (APSEC'05)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/APSEC.2005.84\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/APSEC.2005.84","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Increasing developments of systems using Web applications, SOA (service oriented architecture) based development becomes the focus of attention. However, in SOA based development, it is difficult to understand behaviors of system, which is integrated with many Web applications. Therefore, it is necessary to simulate the entire behavior in early stage. A formal semantics for UML activity diagrams has been proposed, where an activity diagram is mapped into a hypergraph called an activity hypergraph, and the semantics is defined on the hypergraphs. In this paper, we propose a mapping from BPEL4WS/UML descriptions into activity hypergraphs, and enhance the semantics to simulate entire systems.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
