Statecharts: A visual formalism for complex systems
Science of Computer Programming
Handbook of theoretical computer science (vol. B)
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Symbolic model checking: 1020 states and beyond
Information and Computation - Special issue: Selections from 1990 IEEE symposium on logic in computer science
Hyperdocuments as automata: trace-based browsing property verification
ECHT '92 Proceedings of the ACM conference on Hypertext
Hyperdocuments as automata: verification of trace-based browsing properties by model checking
ACM Transactions on Information Systems (TOIS)
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Model checking
Towards a standard upper ontology
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
MBase: representing knowledge and context for the intergration of mathematical software systems
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Model checking cobweb protocols for verification of HTML frames behavior
Proceedings of the 11th international conference on World Wide Web
xlinkit: a consistency checking and smart link generation service
ACM Transactions on Internet Technology (TOIT)
Encyclopedia of Artificial Intelligence
Encyclopedia of Artificial Intelligence
The temporal logic of branching time
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A survey of temporal extensions of description logics
Annals of Mathematics and Artificial Intelligence
Creating Semantic Web Contents with Protégé-2000
IEEE Intelligent Systems
Decidable and Undecidable Fragments of First-Order Branching Temporal Logics
LICS '02 Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
A Language Framework for Expressing Checkable Properties of Dynamic Software
Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification
The Development Graph Manager MAYA
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Verifying Integrity Constraints on Web Sites
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Management of Change in Structured Verification
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Visual specification of branching time temporal logic
VL '95 Proceedings of the 11th International IEEE Symposium on Visual Languages
Towards an Evolutionary Formal Software Development
Proceedings of the 16th IEEE international conference on Automated software engineering
A Tableau Calculus for Temporal Description Logic The Constant Domain Case
A Tableau Calculus for Temporal Description Logic The Constant Domain Case
Real-time specification patterns
Proceedings of the 27th international conference on Software engineering
On Non-local Propositional and Weak Monodic Quantified CTL*
Journal of Logic and Computation
Checking content consistency of integrated web documents
Journal of Computer Science and Technology - Special section on China AVS standard
Semantic annotation for knowledge management: Requirements and a survey of the state of the art
Web Semantics: Science, Services and Agents on the World Wide Web
Logic-based verification of technical documentation
Proceedings of the 9th ACM symposium on Document engineering
Verifying the consistency of web-based technical documentations
Journal of Symbolic Computation
Hi-index | 0.00 |
The semantic consistency of context-dependent documents is an important problem in the fields of document databases and web information systems. While techniques for adapting documents to different context of use are well investigated, the consistency maintenance of context-dependent documents remains a challenge. Existing methods are specialized on specific document formats or domains, or are cumbersome and costly to apply. In this paper, we present a new approach focusing on user support by a pattern-based specification methodology. We combine temporal logic, ontologies, and a pattern-based specification approach for reaching high expressiveness, flexible applicability, and yet a high degree of usability.