More Web Proxy on the site http://driver.im/

article

Free access

TROLL: a language for object-oriented specification of information systems

Editor: Robert B. Allen Authors:

Ralf Jungclaus,

Thorsten Hartmann,

Cristina SernadasAuthors Info & Claims

ACM Transactions on Information Systems (TOIS), Volume 14, Issue 2

Pages 175 - 211

https://doi.org/10.1145/226163.226166

Published: 01 April 1996 Publication History

Abstract

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.

References

[1]

ARAPIs,C. 1991. Temporal specifications of object behavior. In Proceedings 3rd. Symposium on Mathematical Fundamentals of Database and Knou,ledge Base Systems MFDBS-91, B. Thalheim, J. Demetrovics, and H.-D. Gerhardt, Eds. Lecture Notes in Computer Science, vol. 495, Springer-Verlag, Berlin, 308-324.

[2]

ATKINSON,M., BANCILHON,F., DEWITT, D., DITTRICH,K. R., MAIER, D., ANDZDONIK,S. B. 1989. The object-oriented database system manifesto. In Proceedings International Conference on Deductiue and Object-Oriented Database Systems (Kyoto, Japan, Dec.), W. Kim, J.-M. Nicolas, and S. Nishio, Eds. 40-57.

[3]

BEERI,C. 1990, A formal approach to object oriented databases, Data Know{. .Eng. 5, 4, 353-382.

[4]

BOOCH,G. 1990. Object-Oriented Design. Benjamin/Cummings, Menlo Park, Calif.

[5]

BORGIDA,A. 1985. Features of languages for the development of information systems at the conceptual level. IEEE Softu, 2, 1, 63-73.

[6]

BORGIDA, A., MYLOPOULOS, J, AND SCHMIDT, J. W. 1993. The TaxisDL software description language. In Database Application Engineering with DAIDA, M, Jarke, Ed. Springer, Berlin, 65-84,

[7]

CODD,E. F. 1979. Extending the relational model to capture more meaning. ACM Trans. Database Syst. 4, 4, 397-434.

[8]

COHEN,B, HARWOOD, W, T., ANI)JArKSO~,M. 1, 1986. The Specification of Complex Systems. Addison-Wesley, Reading, Mass.

[9]

CONSAD,S., GOGOLLA, M., ANDHKRzI~,R, 1992. TROLL light: A core language for specifying objects. Informatik-Bericht 92-02, TU Braunschweig.

[10]

COSTA,J, F., S~RNADAS, A, ANDS~RNADAS, C. 1989. OBL-89, User's Manual. Version 2.3. Tech. Rep., Instituto Superior T6cnico, Instituto de Engenharia de Sistemas e Computadores, Lisbon.

[11]

DATE,C. J. 1986. An Introduction to Database Systems. Addison-Wesley, Reading, Mass.

[12]

DUBOIS,E., DLIBOIS, P., ANDPFTIT, M. 1993. 0-O requirements analysis: An agent perspective. In ECOOP'93:Object-Oriented Programming, O. Nierstrasz, Ed. Lecture Notes in Computer Science, vol. 707. Spnnger-Verlag, Berlin, 458-481.

[13]

DUROIS,E, D{TBOIS,P., AtWRWA{TT,A, 1992. Elaborating, structuring and expressing formal requirements of composite systems. In Ad Lanced Information Systems Engineering CAISE'92, P. Loucopoulos, Ed, Lecture Notes in Computer Science, vol. 593, Springer-Verlag, Berlin.

[14]

DUBOIS,E., HAGELSTIHN,J., AND RIF'AUT,A. 1991. A formal language for the requirements engineering of computer systems, In From Natural Language Processing to Logic for Expert Systems, A. Thayse, Ed. John Wiley & Sons, Chicester, U. K., 269-345.

[15]

EHRWH,H.-D., DRwiT~~, K, iw) GOWWLA,M. 1988. Towards an algebraic semantics for database specification, In Proceedings of the 2nd IFIP WG 2.6 Working Conference on Database Semantics "Data and Knou,ledge" ( DS-2 ), R. A. Meersmann and A. Sernadas, Eds, North-Hol-land, Amsterdam, 119-135,

[16]

EHRICH, H.-D., GOGUEN,J. A., WD S~RANDAS,A. 1990. A categorical theory of objects as observed processes. In Proceedings REX/FOOL Workshop, J. W. deBakker, W. P. deRoever, and G. Rozenberg, Eds. Lecture Notes in Computer Science, vol. 489. Springer, Berlin, 203-228.

[17]

EHIUCH,H.-D. .ANOSMU+InAS,A. 1991. Fundamental object concepts and constructions. In Information Systems-Correctness and Reusability, G, Saake and A. Sernadas, Eds. TU Braunschweig, Informatik Bericht 91-03, 1-24.

[18]

EHRIC, H. AND MAHR, B. 1985. Fundamentals of Algebraic Specification I: Equations and Initial Semantics, Springer-Verlag, Berlin.

[19]

EMIIRSON, E. A. 1990. Temporal and modal logic. In Formal Models and Semantics, J. van Leeuwen, Ed. Elsevier Science Publishers B.V., Amsterdam, 995-1072,

[20]

EM;m.s, G., GO~OLLA,M., HOHEX+TMN, U., HULSMANN, K., LiiHR-RWHTHR, P., SAAKLG, AND EHRH7H, H.-D. 1992. Conceptual modelling of database applications using an extended ER model. Data Knou,l. Eng. 9, 2, 157-204.

[21]

ESDI. 1993. tlBLOG ('ASE Vl,()--The User ',s Guide. ESDI Espirito Santo Data Informatica, S. A Lisbon

[22]

FFI:XW'I{A, R.,\N!>Wl~RIX(;,A, R, 1993. LCM 3.0: A Language for describing conceptual models Syntax definition. Report ir-344, Faculteit der Wiskunde en lnformatica, Vrije Universiteit, Amsterdam

[23]

FIAT)EIR(, J,jsl) SM{NAi),\s. A. 1990, Logics af modal terms for system specification. -J. Logic 'anlpllt. 1, 2, 187227,

[24]

(;I)(xH. I,A. M., ~ONRAl), S,.,Asn HESU}(;, R. 1993. Sketching concepts and computational model of TROLL Irght. In Proceedings of the 3rd International Conference on Design and lmplemena(i~mof S,vmbo{ic Computation Systems ( D{SC'O'93 ), A. Miola, Ed. Lecture Notes in Computer Science. vol. 722. Springer, Berlin. 17-32.

[25]

(; RtiF:x.sII,Ax,S., B{HK;IIJA,A. T, ANI) Mw.olxl~mos, J. 1986. A requirements modelling language and )Is Iob,ic In 0// K///M,/edge Base Ma nagem en/ S.vsterns, .M. 1,. Brodie and,J, .M-ylopaulos, Eds. Springer-Verlag, Berlin, 471-502.

[26]

H.\ar\l,\xx, T.,\N{) SA,\~K, G. 1993. Abstract specification of object interaction. Informatik-% rlcht 93-08, Techniscbc Universitat Braunschweig,

[27]

HAI{T.v.\ xx, T. J{TX(X'LA(S, R., A~I) SAAm:, G. 1992, Aggregation in a behavior oriented object model. 1n Pr(xzwtiing.< ~~f the European Conference on Object -Orien ted Programming ( K( '( M)P'92 ), (). L. Madsen, Ed. {,ecture Notes in Computer Science. vol. 615. Springer. Berlin, 57 77.

[28]

H(),\R~, ('. A, R 1985 ('on~munirating Sequential Processes. Prentice-Hall, Englewood Cliffs, N.cJ

[29]

H(ii.{., R. AN1)Kix(;, R. 1987, Semantic database modeling: Survey, applications, and research issues A('M ('f}mput, Sur{. 19.3, 201-260.

[30]

,JI's(x I,AIs, R. 1993, Modeling of Dynamic Object Systems A Logm-Ba,sed Approach. Ad-vanced Studies in ('omputer Science. Vieweg Verlag, Braunschwei g,/ Wiesbaden.

[31]

,J(TX(Xi,A~"S,R. HARI'M.ANX,T. AN!) SAAKIt,C. 1993. Relationships between dynamic objects. In fn~i)rntoti(m,tfodellln~ and Kn<Nclecige Ba,ses IV: Concepts, .klethod.< and Systems, H. Kangas-salo. H,Jaakkola, K. Hori, and T. Kitahashi, Eds. 10S Press, Amsterdam, 425 438.

[32]

,JIN(XI.AIIS.R.i HARTMAW,T, SAAKF:,G., ANII SRRNADAS, C, 1991, Introduction ta TROLL-A language for object-oriented specification of information systems. In Infrwrnatton Systems ( 'orrectn{ss and liewabil~t,v, G Saake and A. Sernadas, Eds. TU Braunschweig, Informatik Bericht 91-03, 97 128,

[33]

,J(IS(XI.AIS, R., SAAW, (;., H, WTMAXN. T., Asn SERNAOAS,C. 1991. Object-oriented specification of information systems: The TROLL language. Informatik-Bericht 91-04, TU Braunschweig

[34]

,JITs{x'LA~'s, R., W} WS{;A, R., HAn'rw., P, SAAKE, G., ANI) HAHTMAXX, T. 1994. Combining TROI.L with the object modeling technique, In Inna{,ationen bel Rechen :and KomnIuniko -~ i{)rt.~.s.v.<tt,l? l(,n. Springer, Berlin.

[35]

KAI'I+x. G. ANII SCf{I<t:F{ref., .~, 1990. Using an object-oriented diagram technique for the design of Information systems, 1n Qvnam w Modelling of Informotzon Systems { Proceedl ngs of the Ir)ternational Workrng ('{~nfirence ), H. G, Sol and K. M, van Hee, Eds. North-Holland, Amster-dam, 121 164.

[36]

KAl}wl., G. ANI) .%HRKFI., M. 1991. Object/behavior diagrams. In Proceedings of the fnterna -t~ final Conference or) Data Engineering. IEEE Computer Society Press, Los Alarnitos, Calif., 530 539.

[37]

KEN, W' 1978. DrIto and Rea/ity. Nnrtb-Holland, Amsterdam.

[38]

KLIRKI-SIONI(I, R, Sys-rA.K., ANI) VAIN, J. 1991. Real-time specification and modeling with y~int actions. In Prmeedings of the 6th International Work,shop on .%ftuwre SpecI/icatmn and DesLgn, ACM Press, New York.

[39]

LFX'ESQIX. H. 1986, Knowledge representation and reasoning. Ann. ReL, Comput. Sc{, J. 255 287.

[40]

LiPEtK. U. W. 1990. Transformation of dynamic integrity constraints into transaction specifi-cation Thwjr-. Comput. SCI. 76, 115-142.

[41]

MANNA,Z. .mwPNU~LI,A. 1992. The Temporal Logic of Reactive and Concurrent Systems. Vol. 1, Specification. Springer-Verlag, New York.

[42]

MILNER,R. 1980. A Calculus of Communicating Systems. Spnnger-Verlag, Berlin.

[43]

MILN~R,R. 1990. Operational and algebraic semantics of concurrent processes. In Formal Models and Semantics, J. van Leeuwen, Ed. Elsevier Science Publishers B.V., Amsterdam, 1201-1242.

[44]

M~l.<JIx)LI1.tls, J., BKRNsT~I~,P. A., .ANDWON~,H. K.T, 1980. Alanguage facility for designing interactive database-intensive applications. ACM Trans. Database Syst. 5, 2, 185-207.

[45]

MYLCWOULOS, J, BoRc}uA, A., JAIiK~,M., AN~KCWRARAKIS, M. 1993. Representing knowledge about information systems in Telos. In Database Application Engineering with DAIDA, M. Jarke, Ed. Springer, Berlin, 31-64.

[46]

PIXRHAM, J. AND MARYANSKI,F. 1988. Semantic data models. ACM Comput. Suru. 20 3, 153-189.

[47]

PIiRNICX, B. 1990. Objects with Roles. In Proceedings of the ACM/I.EEE International Confer-enceon Office Information Systems, SIGOISBU1l. 11, 2-3,205-215.

[48]

PNum, A. 1986. Application of temporal logic to the specification and verification of reactive systems: A survey of current trends. In Current Trends in Concurrency. J. de Bakker, W. de Roever, and G. Rozenberg, Eds. Lecture Notes in Computer Science, vol. 224. Springer-Verlag, Berlin.

[49]

P~um.1, A. 1977. The temporal logic of programs. {n Proceedings of the 18th IEEE Symposium on the Foundations of Computer Science, IEEE, New York, 46-57.

[50]

R~IsI~, W. 1985. Petri Nets. Springer-Verlag, Berlin.

[51]

RUMEIAUGH, J., BtAHA,M., PR~M~RMNI,W., EDDY,F., mw LORENSISN, W. 1991. Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs, N.J.

[52]

SmW, G, 1991. Descriptive specification of database object behavior, Data Knowl. Eng. 6, 1, 47-74.

[53]

Smm, G. 1993. Objektorientierte Spezifikation von Informationssystemen, Teubner, Stutt-gart/ Leipzig.

[54]

SAAKK,G. ANDJUNGCLAUS,R. 1992a. Specification of database applications in the TROLL-lan-guage. In Proceedings of the International Workshop Specification of Database Systems, D. Harper and M. Norrie, Eds. Springer, London, 228-245.

[55]

%&.4KR, G. AND JUMXMUS, R, 1992b. Views and formal implementation in a three-level schema architecture for dynamic objects. In Adcanced Database Systems: Proceedings of the 10th British National Conference on Databases ( BNCOD 10), P. M. D. Gray and R. J. Lucas, Eds. Lecture Notes in Computer Science, vol. 618, Springer, Berlin, 78-95.

[56]

SAAKIL G. ANDLDWCK,U. W. 1989. Using finite-linear temporal logic for specifying database dynamics, In Proceedings of the CSL '88 2nd Workshop Computer Science Logic, E. Borger, H. Kleine Biining, and M. M. Richter, Eds. Springer, Berlin, 288-300.

[57]

S~M, G., JUNGCLAUS, R., AND EHRICH, H.-D. 1992. Object-oriented specification and stepwise refinement. In Proceedings of the Open Distributed Processing, J. de Meer, V. Heymer, and R. Roth, Eds. ( HVP Transactions C: Commun. Syst. l), North-Holland, Amsterdam, 99-121.

[58]

S~RNADAS, A. 1980. Temporal aspects of logical procedure definition. lnf. Syst. 5, 167-187.

[59]

EWRNADAS, A., SKRNADM, C., AND EHRICH, H.-D. 1987. Object-oriented specification of data-bases: An algebraic approach, In Proceedings of the 13th International Conference on Very Large Databases VLDB'87, P, M. Stoecker and W. Kent, Eds. VLDB Endowment Press, Saratoga, Calif, 107-116.

[60]

THMNXNJLIDiS, C., WANGLER,B., BUW;NKO,J. A., &vDLOUCOPWLOS,P. 1990. A conceptual model for temporal database applications. SYSLAB Rep. 71, SYSLAB, Stockholm Univ., Stockholm.

[61]

VANGRI~THLIYSE~, J, J, 1982. Concepts and terminology for the conceptual schema and the information base, Rep. N695, ISO/TC97/SC5.

[62]

WI~RINGA,R. J. 1990, Algebraic foundations for dynamic conceptual models. Ph.D. thesis, Vrije Universiteit, Amsterdam.

[63]

WIEI{}W:A, R. J, 1991. A conceptual model specification language (CMSL Version 2). Tech. Rep. R-248, Vrije Universiteit, Amsterdam.

[64]

WII!RI!W:A,R. AXll {IK,JOM;E, W. 1991. The identification of objects and roles:Object identi-fiers r{,isited. Tech. Rep, lR-267, Vnje Universiteit, Amsterdam.

[65]

W'IENIS{A. R.,J('~{JrI.ALs, R., HARTEL, P., HARTMANX, T, AND SAAK~, G. 1993. OMTROLL -- Object modeling in TROLL. In Proceedings of the international Workshop on Infi)rmfltlf)n .S.wfem,$t'orrertness and Reusubil@ IS-CORE '.%?, U. W. Lipeck and G.

[66]

Koscht)rreck, Eds. 267 283. W-IN(;, !J. .M. 1990. A specifier's introduction to formal methods. IEEE Comput, 2.?, 9 (Sept.) 8 24.

Cited By

Madeira ANeves RBarbosa LMartins M(2016)A method for rigorous design of reconfigurable systemsScience of Computer Programming10.1016/j.scico.2016.05.001132:P1(50-76)Online publication date: 15-Dec-2016
https://dl.acm.org/doi/10.1016/j.scico.2016.05.001
Bernardi SMerseguer JPetriu D(2012)Dependability modeling and analysis of software systems specified with UMLACM Computing Surveys10.1145/2379776.237977845:1(1-48)Online publication date: 7-Dec-2012
https://dl.acm.org/doi/10.1145/2379776.2379778
Yokota M(2012)Spatiotemporal reasoning aware of human cognitive processes for language-centered intuitive human-robot interaction4th International Conference on Awareness Science and Technology10.1109/iCAwST.2012.6469596(98-103)Online publication date: Aug-2012
https://doi.org/10.1109/iCAwST.2012.6469596
Show More Cited By

Index Terms

TROLL: a language for object-oriented specification of information systems

Recommendations

Information systems modelling with TROLL formal methods at work
Special issue: advanced information systems engineering
An Algebraic Semantics for the Object Specification Language TROLL light
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
The TROLL Approach to Conceptual Modeling: Syntax, Semantics and Tools
ER '98: Proceedings of the 17th International Conference on Conceptual Modeling

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Transactions on Information Systems

ACM Transactions on Information Systems Volume 14, Issue 2

April 1996

127 pages

ISSN:1046-8188

EISSN:1558-2868

DOI:10.1145/226163

Editor:
Robert B. Allen
Belfcore, Morristown

Issue’s Table of Contents

Copyright © 1996 ACM.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 April 1996

Published in TOIS Volume 14, Issue 2

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

61
Total Citations
View Citations
687
Total Downloads

Downloads (Last 12 months)80
Downloads (Last 6 weeks)18

Reflects downloads up to 01 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Madeira ANeves RBarbosa LMartins M(2016)A method for rigorous design of reconfigurable systemsScience of Computer Programming10.1016/j.scico.2016.05.001132:P1(50-76)Online publication date: 15-Dec-2016
https://dl.acm.org/doi/10.1016/j.scico.2016.05.001
Bernardi SMerseguer JPetriu D(2012)Dependability modeling and analysis of software systems specified with UMLACM Computing Surveys10.1145/2379776.237977845:1(1-48)Online publication date: 7-Dec-2012
https://dl.acm.org/doi/10.1145/2379776.2379778
Yokota M(2012)Spatiotemporal reasoning aware of human cognitive processes for language-centered intuitive human-robot interaction4th International Conference on Awareness Science and Technology10.1109/iCAwST.2012.6469596(98-103)Online publication date: Aug-2012
https://doi.org/10.1109/iCAwST.2012.6469596
Nami MSheikh-Abbasi BKhoshandam M(2009)A comparative introduction to CSP and ACT-ONE formal languagesACM SIGSOFT Software Engineering Notes10.1145/1640162.164016834:6(1-5)Online publication date: 3-Dec-2009
https://dl.acm.org/doi/10.1145/1640162.1640168
Apel SKaestner CLengauer CKontogiannis KLewis GLitoiu MSmith D(2008)Research challenges in the tension between features and servicesProceedings of the 2nd international workshop on Systems development in SOA environments10.1145/1370916.1370930(53-58)Online publication date: 11-May-2008
https://dl.acm.org/doi/10.1145/1370916.1370930
Aoumeur N(2008)Stepwise rigorous development of distributed agile information systemsEnterprise Information Systems10.1080/175175708019274032:2(121-156)Online publication date: 1-May-2008
https://dl.acm.org/doi/10.1080/17517570801927403
Kamsu Foguem BCoudert TBéler CGeneste L(2008)Knowledge formalization in experience feedback processesComputers in Industry10.1016/j.compind.2007.12.01459:7(694-710)Online publication date: 1-Sep-2008
https://dl.acm.org/doi/10.1016/j.compind.2007.12.014
Ang A(2007)Improving the quality of knowledge representation for requirements engineering through natural language requirements patternsProceedings of the 11th IASTED International Conference on Software Engineering and Applications10.5555/1647636.1647655(102-107)Online publication date: 6-Nov-2007
https://dl.acm.org/doi/10.5555/1647636.1647655
Ang AHartley M(2007)Object oriented knowledge representation framework for requirements engineeringProceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology10.5555/1322468.1322548(477-482)Online publication date: 2-Apr-2007
https://dl.acm.org/doi/10.5555/1322468.1322548
Olivé ARaventós R(2006)Modeling events as entities in object-oriented conceptual modeling languagesData & Knowledge Engineering10.1016/j.datak.2005.07.00258:3(243-262)Online publication date: 1-Sep-2006
https://dl.acm.org/doi/10.1016/j.datak.2005.07.002
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

Media

Figures

Other

Tables

View Issue’s Table of Contents