Modeling logical and temporal conditions to formally validate factory automation web services.
Corina PopescuJose L. Martinez LastraPublished in: ETFA (2007)
Keyphrases
- web services
- sufficient conditions
- temporal aspects
- databases
- temporal reasoning
- modeling method
- temporal constraints
- real world
- genetic algorithm
- information systems
- business process
- temporal databases
- colored petri nets
- content management
- automatic discovery
- description language
- spatial and temporal
- business processes
- service providers
- web applications
- database systems
- neural network