Combining Troll with the Object Modeling Technique

Jungclaus, Ralf; Wieringa, Roel; Hartel, Peter; Saake, Gunter; Hartmann, Thorsten

doi:10.1007/978-3-642-51136-3_5

Cited by 17 publications

(4 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…So there is a graphical notation for ThOLL3 called OMIROLL that adopts elements from OMT [JWH+94]. Theoretical foundations of concurrency as applied to this approach have been explored in [ES95j Ehr97].…”

Section: Related Workmentioning

confidence: 99%

Logics for Databases and Information Systems

Chomicki

Saake

1998

View full text Add to dashboard Cite

Section: Related Workmentioning

confidence: 99%

Logics for Databases and Information Systems

Chomicki

Saake

1998

View full text Add to dashboard Cite

“…TROLL combines an intuitive diagrammatic notation called OMTROLL, which is similar to OMT [32] and adapted to TROLL [34,23].…”

Section: Trollmentioning

confidence: 99%

“…As such, it provides a simple and intuitive means to illustrate the structure of the system. The notation is quite similar to OMT and was adapted to TROLL [23].…”

Section: Trollmentioning

confidence: 99%

A Validation System for Object-Oriented Specifications of Information Systems

Grau

Kowsari

1997

Electronic Workshops in Computing

View full text Add to dashboard Cite

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 (Computer Aided Testing and Certifying).

show abstract

“…For a reliable development of today's IS integrated semi-formal and formal OO modelling frameworks have been widely adopted, providing powerful abstraction mechanisms for intrinsically integrating and building-on structural and behavioral features (e.g. OMTROLL [1], fOOSE [2]). …”

Section: Introductionmentioning

confidence: 99%

UML-driven Information Systems and their Formal Integration Validation and Distribution

Aoumeur¹,

Saake

2007

Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information S

View full text Add to dashboard Cite

Abstract. Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays the mostly adopted software-engineering means for information systems (IS). Nevertheless, due to this wide-acceptance by all organization stakeholders several enhancements at the modelling level are required before adventuring into further implementation phases. The coherence and complementarity between different diagrams have to tackled; On the basic of such endeavored coherent global view, the consistency and validation of the whole IS conceptual models are to undertaken; and last but not least as current information systems are mostly networked and concurrent, UML-driven have to cater for intrinsic distribution and concurrency. To leverage UML-driven IS conceptual modelling towards these crucial enhancements, we propose a semi-automatic intermediate abstract phase before any implementation, we govern by a rigorous component-based operational and visual conceptual model. Referred to as CO-NETS, this specification/validation formalism is based on a tailored formal integration of most OO concepts and mechanisms enhanced by modularity principles into a variant of algebraic Petri Nets. For rapid-prototyping purposes, CO-NETS is semantically interpreted into rewriting logic. This UML-CO-NETS proposal for distributed IS rigorous development is illustrated through a non-trivial case-study for production systems.

show abstract

Combining Troll with the Object Modeling Technique

Cited by 17 publications

References 2 publications

Logics for Databases and Information Systems

Logics for Databases and Information Systems

A Validation System for Object-Oriented Specifications of Information Systems

UML-driven Information Systems and their Formal Integration Validation and Distribution

Contact Info

Product

Resources

About