Kênia Santos de Oliveira

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 3

Top Topics

Web Services Composition

Top Venues

Publications

Kênia Santos de Oliveira, Stéphane Julia
Using Linear Logic to Verify Requirement Scenarios in Composite Web Service. SBMF (2017)
Kênia Santos de Oliveira, Vinícius Ferreira de Oliveira, Stéphane Julia
Using Linear Logic to Verify Requirement Scenarios in SOA Models based on Interorganizational WorkFlow Nets Relaxed Sound. ICEIS (2) (2017)
Vinícius Ferreira de Oliveira, Stéphane Julia, Lígia Maria Soares Passos, Kênia Santos de Oliveira
A Linear Logic based Synchronization Rule for Deadlock Prevention in Web Service Composition. ICEIS (2) (2017)
Kênia Santos de Oliveira, Michel dos Santos Soares
Modeling Aspects in Requirements using SysML Extensions. ICEIS (2) (2013)
Kênia Santos de Oliveira, Michel dos Santos Soares
A Systematic Review on Aspects in Software Architecture Design. SCCC (2012)