Relative information capacity of simple relational database schemata
SIAM Journal on Computing
A formal view integration method
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
Proceedings of the international workshop on Automatic verification methods for finite state systems
Towards object-oriented conceptual modeling
Data & Knowledge Engineering
Schema equivalence in heterogeneous systems: bridging theory and practice
Information Systems - Special issue on extending database technology
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
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
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
Using induction and BDDs to model check invariants
Proceedings of the IFIP WG 10.5 International Conference on Correct Hardware Design and Verification Methods: Advances in Hardware Design and Verification
A Formal Basis for Dynamic Schema Integration
ER '96 Proceedings of the 15th International Conference on Conceptual Modeling
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
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
A Gentle Introduction to System Verification
Proceedings of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05
Observed-MAS: an ontology-based method for analyzing multi-agent systems design models
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
Model correspondence as a basis for schema domination
Knowledge-Based Systems
Hi-index | 0.00 |
Quality is one of the main concerns in today's systems and software development and use. One important instrument in verification is the use of formal methods, which means that requirements and designs are analyzed formally to determine their relationships. Furthermore, since professional software design is to an increasing extent a distributed process, the issue of integrating different systems to an entity is of great importance in modern system development and design. Various candidates for formalizing system development and integration have prevailed, but very often, particularly for dynamic conflict detection, these introduce non-standard objects and formalisms, leading to severe confusion, both regarding the semantics and the computability. In contrast to such, we introduce a framework for defining requirement fulfillment by designs, detecting conflicts of various kinds as well as integration of heterogeneous schemata. The framework introduced transcends ordinary logical consequence, as it takes into account static and dynamic aspects of design consistency and, in particular, the specific features of the state space of a specification. Another feature of the approach is that it provides a unifying framework for design conflict analysis and schema integration.