Communications of the ACM
Specifications are not (necessarily) executable
Software Engineering Journal
Object-oriented modeling and design
Object-oriented modeling and design
Specifications are (preferably) executable
Software Engineering Journal
Object-oriented development: the fusion method
Object-oriented development: the fusion method
A general explanation component for conceptual modeling in CASE environments
ACM Transactions on Information Systems (TOIS)
Information systems modelling with TROLL formal methods at work
Information Systems - Special issue: advanced information systems engineering
Applications of Formal Methods
Applications of Formal Methods
Ten Commandments of Formal Methods
Computer
A Development Environment for an Object Specification Language
IEEE Transactions on Knowledge and Data Engineering
Transactions in Object-Oriented Specifications
Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification
Reification - Changing Viewpoint but Preserving Truth
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
Validating Conceptual Models by Transformational Prototyping
CAiSE '93 Proceedings of Advanced Information Systems Engineering
CAiSE '93 Proceedings of Advanced Information Systems Engineering
Developing an Information System Using TROLL: An Application Field Study
CAiSE ;96 Proceedings of the 8th International Conference on Advances Information System Engineering
Animation Support for a Conceptual Modelling Language
DDEXA '93 Proceedings of the 4th International Conference on Database and Expert Systems Applications
Local Specification of Distributed Families of Sequential Objects
Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification
Specifying the Remote Control of Valves in an Explosion Test Environment
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
EFFICIENT: a tool set for supporting the modelling and validation of ebXML
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Scenario-Based Assessment of Nonfunctional Requirements
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
In this paper, we present a set of software tools for developing and validating object oriented conceptual models specified in TROLL. TROLL is a formal object-oriented language for modelling information systems on a high level of abstraction. The tools include editors, syntax and consistency checkers as well as an animator which generates executable prototypes from the models on the same level of abstraction. In this way, the model behaviour can be observed and checked against the informal user requirements. After a short introduction in some validation techniques and research questions, we describe briefly the TROLL language as well as its graphical version OMTROLL. We then explain the system architecture and show its functionalities by a simplified example of an industrial application which is called CATC (ComputerAided Testing and Certifying).