Distrbution and Abstract Types in Emerald
IEEE Transactions on Software Engineering - Special issue on distributed systems
Activity modeling and behavior modeling
Proc. of the IFIP WG 8.1 working conference on Information systems design methodologies: improving the practice
Monitoring dynamic integrity constraints based on temporal logic
Information Systems
Demeter: a CASE study of software growth through parameterized classes
Journal of Object-Oriented Programming
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Object-oriented design: a responsibility-driven approach
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Nonclausal deduction in first-order temporal logic
Journal of the ACM (JACM)
Object oriented design with applications
Object oriented design with applications
Contracts: specifying behavioral compositions in object-oriented systems
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Descriptive specification of database object behaviour
Data & Knowledge Engineering
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Classification in object-oriented systems
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Specifying Concurrent Program Modules
ACM Transactions on Programming Languages and Systems (TOPLAS)
Synthesis of Communicating Processes from Temporal Logic Specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Proceedings of the Fifth International Conference on Data Engineering
Representing Processes in the Extended Entity-Relationship Model
Proceedings of the Sixth International Conference on Data Engineering
Proceedings of the Seventh International Conference on Data Engineering
Proceedings of the Seventh International Conference on Data Engineering
Exploring Semantics in Aggregation Hierarchies for Object-Oriented Databases
Proceedings of the Eighth International Conference on Data Engineering
A Model for Active Object Oriented Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
A Transactional Model for Long-Running Activities
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Composite Event Specification in Active Databases: Model & Implementation
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Synthesis of communicating processes from temporal logic specifications
Synthesis of communicating processes from temporal logic specifications
Dynamic restructuring of transactional workflow activities: a practical implementation method
Proceedings of the seventh international conference on Information and knowledge management
TAM: a system for dynamic transactional activity management
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
Mechanisms for specifying communication behavior in object oriented database systems
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Migrating Autonomous Objects in a WAN Environment
Journal of Intelligent Information Systems
Research Frontiers in Object Technology
Information Systems Frontiers
POESIA: An ontological workflow approach for composing Web services in agriculture
The VLDB Journal — The International Journal on Very Large Data Bases
An Activity Theory Framework for DSS for Extreme Events
Proceedings of the 2010 conference on Bridging the Socio-technical Gap in Decision Support Systems: Challenges for the Next Decade
Hi-index | 0.00 |
Communication behavior represents dynamic evolution and cooperation of a group of objects in accomplishing a task. It is an important feature in object-oriented systems. We propose the concept of activity as a basic building block for declarative specification of communication behavior in object-oriented database systems, including the temporal ordering of message exchanges within object communication and the behavioral relationships between activity executions. We formally introduce two kinds of activity composition mechanisms: activity specialization and activity aggregation for abstract implementation of communication behavior. The former is suited for behavioral refinement of existing activities into specialized activities. The latter is used for behavioral composition of simpler activities into complex activities, and ultimately, into the envisaged database system. We use first-order temporal logic as an underlying formalism for specification of communication constraints. The well known Air-traffic-control case is used as a running example to highlight the underlying concepts, to illustrate the usefulness, and to assess the effectiveness of the activity model for declarative specification of communication behavior in the relevant universe of discourse. We also propose a methodological framework for integrating activity schema with entity schema in an object-oriented design environment.