Proceedings of the international workshop on Automatic verification methods for finite state systems
Towards object-oriented conceptual modeling
Data & Knowledge Engineering
Object-oriented development: the fusion method
Object-oriented development: the fusion method
Automated resolution of semantic heterogeneity in multidatabases
ACM Transactions on Database Systems (TODS)
Conceptual modelling
Exploring the semantics of UML type structures with Z
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Detecting temporal conflicts in integrated agent specifications
Computational conflicts
On a temporal logic for object-based systems
Fourth International Conference on Formal methods for open object-based distributed systems IV
View Integration: A Step Forward in Solving Structural Conflicts
IEEE Transactions on Knowledge and Data Engineering
Z++, An Object-orientated Extension to Z
Proceedings of the Fifth Annual Z User Meeting on Z User Workshop
A Formal Basis for Dynamic Schema Integration
ER '96 Proceedings of the 15th International Conference on Conceptual Modeling
So Far (Schematically) yet So Near (Semantically)
Proceedings of the IFIP WG 2.6 Database Semantics Conference on Interoperable Database Systems (DS-5)
Risk Constraints in Agent Conflicts
DEXA '00 Proceedings of the 11th International Workshop on Database and Expert Systems Applications
A transition logic for schemata conflicts
Data & Knowledge Engineering
A framework for determining design correctness
Knowledge-Based Systems
Core meta-modelling semantics of UML: the pUML approach
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
| Hi-index | 0.00 |
Verification is an important instrument in the analysis of systems. Roughly, this means that requirements and designs are analyzed formally to determine their relationships. Various candidates for formalizing system development and integration have been proposed. However, a major obstacle is that these introduce non-standard objects and formalisms, leading to severe confusion. This is because these models often are unnecessarily complicated with several disadvantages regarding semantics as well as complexity. While avoiding the mathematical details as far as possible, we present some basic verification ideas using a simple language such as predicate logic and demonstrate how this can be used for defining and analyzing static and dynamic requirement fulfillment by designs as well as for detecting conflicts. The formalities can be found in the appendix.