{"title":"利用随机Petri网络和DS逻辑预测科学工作流程中的故障","authors":"B. Lopes, Daniel de Oliveira","doi":"10.5753/bresci.2019.10027","DOIUrl":null,"url":null,"abstract":"Vários workflows existentes exigem muitos recursos computacionais, pois processam um grande volume de dados. Dessa forma, os ambientes de Processamento de Alto Desempenho (PAD) devem ser aplicados em conjunto com técnicas de paralelização para apoiar a sua execução. Embora os ambientes de PAD ofereçam diversas vantagens, as falhas são uma realidade, e não uma possibilidade, devido ao grande número de nós de computação envolvidos na execução do workflow. Verificar falhas no workflow é uma tarefa desafiadora que ainda requer esforço. Neste artigo, propomos o uso da DS3, uma lógica dinâmica adaptada sobre as redes de Petri estocásticas, para verificar e prever falhas em workflows. \n ","PeriodicalId":306675,"journal":{"name":"Anais do Brazilian e-Science Workshop (BreSci)","volume":"271 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2019-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Predição de Falhas em Workflows Científicos com o uso de Redes de Petri Estocásticas e Lógica DS\",\"authors\":\"B. Lopes, Daniel de Oliveira\",\"doi\":\"10.5753/bresci.2019.10027\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Vários workflows existentes exigem muitos recursos computacionais, pois processam um grande volume de dados. Dessa forma, os ambientes de Processamento de Alto Desempenho (PAD) devem ser aplicados em conjunto com técnicas de paralelização para apoiar a sua execução. Embora os ambientes de PAD ofereçam diversas vantagens, as falhas são uma realidade, e não uma possibilidade, devido ao grande número de nós de computação envolvidos na execução do workflow. Verificar falhas no workflow é uma tarefa desafiadora que ainda requer esforço. Neste artigo, propomos o uso da DS3, uma lógica dinâmica adaptada sobre as redes de Petri estocásticas, para verificar e prever falhas em workflows. \\n \",\"PeriodicalId\":306675,\"journal\":{\"name\":\"Anais do Brazilian e-Science Workshop (BreSci)\",\"volume\":\"271 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2019-06-24\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Anais do Brazilian e-Science Workshop (BreSci)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.5753/bresci.2019.10027\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Anais do Brazilian e-Science Workshop (BreSci)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.5753/bresci.2019.10027","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Predição de Falhas em Workflows Científicos com o uso de Redes de Petri Estocásticas e Lógica DS
Vários workflows existentes exigem muitos recursos computacionais, pois processam um grande volume de dados. Dessa forma, os ambientes de Processamento de Alto Desempenho (PAD) devem ser aplicados em conjunto com técnicas de paralelização para apoiar a sua execução. Embora os ambientes de PAD ofereçam diversas vantagens, as falhas são uma realidade, e não uma possibilidade, devido ao grande número de nós de computação envolvidos na execução do workflow. Verificar falhas no workflow é uma tarefa desafiadora que ainda requer esforço. Neste artigo, propomos o uso da DS3, uma lógica dinâmica adaptada sobre as redes de Petri estocásticas, para verificar e prever falhas em workflows.