Using Symbolic Dates of the Linear Logic to Verify Performance Requirements in SOA Models

被引：0
|
作者：
de Oliveira, Kenia Santos [1 ,2 ]
Julia, Stephane [1 ]
机构：
[1] Univ Fed Uberlandia, Comp Fac, Uberlandia, MG, Brazil
[2] Fed Inst Brasilia, Brasilia, DF, Brazil
来源：
16TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY-NEW GENERATIONS (ITNG 2019) | 2019年 / 800卷
关键词：
PETRI NETS;
D O I：
10.1007/978-3-030-14070-0_27
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：191 / 197
页数：7
相关论文
共 47 条
  • [1] Using Linear Logic to Verify Requirement Scenarios in SOA Models based on Interorganizational WorkFlow Nets Relaxed Sound
    de Oliveira, Kenia Santos
    de Oliveira, Vinicius Ferreira
    Julia, Stephane
    [J]. ICEIS: PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS - VOL 2, 2017, : 254 - 262
  • [2] Using Z3 to Verify Inferences in Fragments of Linear Logic
    Docef, Alen
    Negulescu, Radu
    Prunescu, Mihai
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, 389 : 11 - 25
  • [3] Using Linear Logic to Verify Requirement Scenarios in Composite Web Service
    de Oliveira, Kenia Santos
    Julia, Stephane
    [J]. FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, 2017, 10623 : 215 - 232
  • [4] Neuro-symbolic Models for Interpretable Time Series Classification using Temporal Logic Description
    Yan, Ruixuan
    Ma, Tengfei
    Fokoue, Achille
    Chang, Maria
    Julius, Agung
    [J]. 2022 IEEE INTERNATIONAL CONFERENCE ON DATA MINING (ICDM), 2022, : 618 - 627
  • [5] MODELING TIMING BEHAVIOR OF LOGIC-CIRCUITS USING PIECEWISE-LINEAR MODELS
    NAVABI, Z
    HASHEMI, A
    EGHTESAD, M
    VAI, M
    [J]. COMPUTER HARDWARE DESCRIPTION LANGUAGES AND THEIR APPLICATIONS, 1993, 32 : 569 - 586
  • [6] Research requirements for operational decision-making using models of fatigue and performance
    Friedl, KE
    Mallis, MM
    Ahlers, ST
    Popkin, SM
    Larkin, W
    [J]. AVIATION SPACE AND ENVIRONMENTAL MEDICINE, 2004, 75 (03): : A192 - A199
  • [7] Modelling and Predicting Backstroke Start Performance Using Non-Linear And Linear Models
    de Jesus, Karla
    Ayala, Helon V. H.
    de Jesus, Kelly
    Coelho, Leandro dos S.
    Medeiros, Alexandre I. A.
    Abraldes, Jose A.
    Vaz, Mario A. P.
    Fernandes, Ricardo J.
    Vilas-Boas, Joao Paulo
    [J]. JOURNAL OF HUMAN KINETICS, 2018, 61 (01) : 29 - 38
  • [8] Measuring effectiveness of anti-terrorism programs using performance logic models
    Ross, Robert G.
    [J]. INTELLIGENCE AND SECURITY INFORMATICS, PROCEEDINGS, 2006, 3975 : 355 - 366
  • [9] Multiproduct Batch Plants Design Using Linear Process Performance Models
    Moreno, Marta S.
    Montagna, Jorge M.
    [J]. AICHE JOURNAL, 2011, 57 (01) : 122 - 135
  • [10] DETERMINANTS OF PERFORMANCE FACTORS IN GRADUATE STUDENTS USING A HIERARCHICAL LINEAR MODELS
    de Jimenez, Yoskira Naylett Cordero
    Charro, Jose Mauricio Chavez
    Rivera, Priscilla Elizabeth Recalde
    Maya, Carmen Alexandra Armijos
    [J]. REVISTA UNIVERSIDAD Y SOCIEDAD, 2023, 15 (02): : 448 - 460
12345