ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Alcoa: the alloy constraint analyzer
Proceedings of the 22nd international conference on Software engineering
Maintaining knowledge about temporal intervals
Communications of the ACM
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Visual Test 6 Bible
Computer Networks
Simple on-the-fly automatic verification of linear temporal logic
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
Improved Automata Generation for Linear Temporal Logic
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
NuSMV 2: An OpenSource Tool for Symbolic Model Checking
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions
Proceedings of the 7th International Conference on Computer Aided Verification
System Description: Generating Models by SEM
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
TestEra: Specification-Based Testing of Java Programs Using SAT
Automated Software Engineering
SPOT: An Extensible Model Checking Library Using Transition-Based Generalized Büchi Automata
MASCOTS '04 Proceedings of the The IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
Specification and verification of data-driven web services
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
Network configuration management via model finding
LISA '05 Proceedings of the 19th conference on Large Installation System Administration Conference - Volume 19
Modeling next generation configuration management tools
LISA '06 Proceedings of the 20th conference on Large Installation System Administration
LISA '06 Proceedings of the 20th conference on Large Installation System Administration
Hardware Specification with Temporal Logic: An Example
IEEE Transactions on Computers
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Client and server verification for web services using interface grammars
TAV-WEB '08 Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Mpls and vpn architectures, volume ii
Mpls and vpn architectures, volume ii
Runtime Monitoring of Message-Based Workflows with Data
EDOC '08 Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference
Temporal Description Logics: A Survey
TIME '08 Proceedings of the 2008 15th International Symposium on Temporal Representation and Reasoning
Practical First-Order Temporal Reasoning
TIME '08 Proceedings of the 2008 15th International Symposium on Temporal Representation and Reasoning
XML Methods for Validation of Temporal Properties on Message Traces with Data
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Specifying and Validating Data-Aware Temporal Web Service Properties
IEEE Transactions on Software Engineering
Generating Interface Grammars from WSDL for Automated Verification of Web Services
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Proceedings of the 14th international SPIN conference on Model checking software
Rule Systems for Run-time Monitoring
Journal of Logic and Computation
Web Services: Concepts, Architectures and Applications
Web Services: Concepts, Architectures and Applications
Automated generation of web service stubs using LTL satisfiability solving
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Causality in Message-Based Contract Violations: A Temporal Logic "Whodunit"
EDOC '11 Proceedings of the 2011 IEEE 15th International Enterprise Distributed Object Computing Conference
Autonomic computing: an overview
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
A survey of automated web service composition methods
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
Model checking quantified computation tree logic
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
WAC'05 Proceedings of the Second international IFIP conference on Autonomic Communication
Hi-index | 0.00 |
Automated sequence generation can be loosely defined as the algorithmic construction of a sequence of objects satisfying a set of constraints formulated declaratively. A variety of scenarios, ranging from self-configuration of network devices to automated testing of web services, can be described as automated sequence generation problems. In all these scenarios, the sequence of valid objects and their data contents are interdependent. Despite these similarities, most existing solutions for these scenarios consist of ad hoc, domain-specific tools. This paper stems from the observation that, when such "data-aware" constraints are expressed using mathematical logic, automated sequence generation becomes a case of satisfiability solving. This approach presents the advantage that, for many logical languages, existing satisfiability solvers can be used off-the-shelf. The paper surveys three logics suitable to express real-world data-aware constraints and discusses the practical implications, with respect to automated sequence generation, of some of their theoretical properties.