An introduction to database systems: vol. I (4th ed.)
An introduction to database systems: vol. I (4th ed.)
A requirements modeling language and its logic
On knowledge base management systems: integrating artificial intelligence and d atabase technologies
Knowledge representation and reasoning
Annual review of computer science vol. 1, 1986
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
Object oriented design with applications
Object oriented design with applications
COCS '90 Proceedings of the ACM SIGOIS and IEEE CS TC-OA conference on Office information systems
A formal approach to object-oriented databases
Data & Knowledge Engineering
Transformation of dynamic integrity constraints into transaction specifications
Theoretical Computer Science
Descriptive specification of database object behaviour
Data & Knowledge Engineering
Temporal specifications of object behavior
MFDBS 91 Proceedings of the 3rd symposium on Mathematical fundamentals of database and knowledge base systems
Handbook of theoretical computer science (vol. B)
Operational and algebraic semantics of concurrent processes
Handbook of theoretical computer science (vol. B)
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Object-oriented modeling and design
Object-oriented modeling and design
A formal language for the requirements engineering of computer systems
From natural language processing to logic for expert systems
Conceptual modelling of database applications using an extended ER model
Data & Knowledge Engineering
Extending the database relational model to capture more meaning
ACM Transactions on Database Systems (TODS)
A language facility for designing database-intensive applications
ACM Transactions on Database Systems (TODS)
Modeling of Dynamic Object Systems: A Logic-Based Approach
Modeling of Dynamic Object Systems: A Logic-Based Approach
A Calculus of Communicating Systems
A Calculus of Communicating Systems
The Specification of Complex Systems
The Specification of Complex Systems
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Proceedings of the Seventh International Conference on Data Engineering
Object-Oriented Specification of Databases: An Algebraic Approach
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
O-O Requirements Analysis: an Agent Perspective
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Sketching Concepts and Computational Model of TROLL light
DISCO '93 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
Views and Formal Implementation in a Three-Level Schema Architecture for Dynamic Objects
BNCOD 10 Proceedings of the 10th British National Conference on Databases: Advanced Database Systems
Using Finite-Linear Temporal Logic for Specifying Database Dynamics
CSL '88 Proceedings of the 2nd Workshop on Computer Science Logic
Object-Oriented Specification and Stepwise Refinement
Proceedings of the IFIP TC6/WG6.4 International Workshop on Open Distributed Processing
Aggregation in a Behaviour Oriented Object Model
ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
A Categorial Theory of Objects as Observed Processes
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
Real-time specification and modeling with joint actions
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Towards agent-oriented specification of information systems
AGENTS '97 Proceedings of the first international conference on Autonomous agents
Object-oriented modeling: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Data & Knowledge Engineering
A two-level temporal logic for evolving specifications
Information Processing Letters
A component-based Petri net model for specifying and validating cooperative information systems
Data & Knowledge Engineering
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective
IEEE Transactions on Knowledge and Data Engineering
Formalizing and integrating the dynamic model for object-oriented modeling
IEEE Transactions on Software Engineering
Formally Verifying Dynamic Properties of Knowledge Based Systems
EKAW '99 Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management
Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Evolving Objects: Conceptual Description of Adaptive Information Systems
FoMLaDO/DEMM 2000 Selected papers from the 9th International Workshop on Foundations of Models and Languages for Data and Objects, Database Schema Evolution and Meta-Modeling
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Transactional Computation: Overview and Discussion
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Entity Evolution in ISA Hierarchies
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Specification of business components using temporal OCL
UML and the unified process
Modeling events as entities in object-oriented conceptual modeling languages
Data & Knowledge Engineering - Special issue: ER 2004
Object oriented knowledge representation framework for requirements engineering
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
Research challenges in the tension between features and services
Proceedings of the 2nd international workshop on Systems development in SOA environments
Knowledge formalization in experience feedback processes: An ontology-based approach
Computers in Industry
Enterprise Information Systems - Contains Special Issue: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, edited by Juan Carlos Augusto and Marc Roper
A comparative introduction to CSP and ACT-ONE formal languages
ACM SIGSOFT Software Engineering Notes
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
On the design and implementation of parallel programs through coordination
SERA'04 Proceedings of the Second international conference on Software Engineering Research, Management and Applications
Dependability modeling and analysis of software systems specified with UML
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
TROLL is a language particularly suited for the early stages of information system development, when the universe of discourse must be described. In TROLL the descriptions of the static and dynamic aspects of entities are integrated into object descriptions. Sublanguages for data terms, for first-order and temporal assertions, and for processes, are used to describe respectively the static properties, the behavior, and the evolution over time of objects. TROLL organizes system design through object-orientation and the support of abstractions such as classification, specialization, roles, and aggregation. Language features for state interactions and dependencies among components support the composition of the system from smaller modules, as does the facility of defining interfaces on top of object descriptions.