Ralf Jungclaus, Gunter Saake, Thorsten Hartmann  Home/Search
Context Related
| wwwiti.cs.unimagdeburg.d...jsh91.ps.gz wwwiti.cs.unimagdeburg.d...jsh91.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: wwwiti.cs.unimagdeburg.de...iois (more) From: wwwiti.cs.unimagdeburg.de...iois (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper, an approach to formally specify a conceptual model of a system and its environment to be developed in a behavior-oriented way is presented. We identify those concepts of object-oriented approaches that have to be formalized. We then propose characteristics of behavior-oriented mathematical models representing a system as a collection of interacting objects. To specify such models, we present the language T ROLL which is a formal object-oriented language for conceptual modeling.... (Update)
Context of citations to this paper: More
.... with its graphical presentation [SGCS91, SRGS91, SSGRG91, SGGSR91] and its textual counterpart Troll presented in [JHSS91, JSH91, JSS91, JSHS91, SJ91] co developed by the authors. Other proposals like CMSL [Wi90] and Object Behaviour Diagrams [KS91] are examples from the...
...roles of objects, interfaces, and relationships between objects. For a detailed description of these issues see [SJE91, JSS91a, JSH91, JHSS91, JSHS91, HJ91, SJ92] With the concepts of snapshots and object embedding, we may now formalize calling and sharing of events, the...
Cited by: More
Towards Feature-Oriented Specifications - Sofia Guerra (Correct)
TROLL light: A Core Language for Specifying Objects - Conrad, Gogolla, Herzig (1992) (Correct)
Relationships between Dynamic Objects - Jungclaus, Hartmann, Saake (1993) (Correct)
Similar documents (at the sentence level):
22.0%: Formal Specification of Object Systems - Jungclaus, Saake, Sernadas (1991) (Correct)
14.2%: Object-Oriented Specification and Stepwise Refinement - Saake, Jungclaus, Ehrich (1991) (Correct)
11.3%: Aggregation in a Behavior Oriented Object Model - Hartmann, Jungclaus, Saake (1992) (Correct)
Active bibliography (related documents): More All
0.7: Revised Version of the Conceptual Modeling and Design Language .. - Hartmann, al. (1994) (Correct)
0.5: Concepts of Object-Orientation - Ehrich, Saake, Sernadas (1992) (Correct)
0.5: Objects and Their Specification - Ehrich, Gogolla, Sernadas (1992) (Correct)
Similar documents based on text: More All
1.6: Object-Oriented Specification of Information.. - Jungclaus, Saake, .. (1991) (Correct)
0.7: Object-Oriented Specification of Information.. - Jungclaus, Saake, .. (1991) (Correct)
0.5: Monitoring Temporal Preconditions in a Behaviour.. - Schwiderski.. (1993) (Correct)
Related documents from co-citation: More All
5: What Is an Object (context) - Sernadas, Ehrich - 1990
5: Formal Specification of Object Systems - Jungclaus, Saake et al. - 1991
5: Object-Oriented Specification of Information Systems: The TROLL Language - Jungclaus, Saake et al. - 1991
BibTeX entry: (Update)
Jungclaus, R.; Saake, G.; Hartmann, T.: Language Features for Object-Oriented Conceptual Modeling. In: Teory, T. (ed.): Proc. ER'91, 1991. to appear. http://citeseer.ist.psu.edu/jungclaus91language.html More
@inproceedings{ jungclaus91language,
author = "Ralf Jungclaus and Gunter Saake and Thorsten Hartmann",
title = "Language Features for Object-Oriented Conceptual Modelling",
booktitle = "International Conference on Conceptual Modeling / the Entity Relationship Approach",
pages = "309-324",
year = "1991",
url = "citeseer.ist.psu.edu/jungclaus91language.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
1933 Communication and Concurrency (context) - Milner - 1989
1274 Object-Oriented Software Construction (context) - Meyer - 1988
637 The Entity-Relationship Model -- Toward a Unified View of Da.. (context) - Chen - 1976
492 Smalltalk-80: The Language and Its Implementation (context) - Goldberg, Robson - 1983
299 Algebraic Theory of Processes (context) - Hennessy - 1988
298 The Object-Oriented Database System Manifesto - Atkinson, Bancilhon et al. - 1989
177 Fundamentals of Algebraic Specification I: Equations and Ini.. (context) - Ehrig, Mahr - 1985
167 Dimensions of Object-Based Language Design (context) - Wegner - 1987
167 Structured Analysis and System Specification (context) - DeMarco - 1979
164 IFO -- A Formal Semantic Database Model (context) - Abiteboul, Hull - 1987
139 Semantic Database Modeling: Survey (context) - Hull, King - 1987
112 System Development (context) - Jackson - 1983
109 Putting Theories Together to Make Specifications (context) - Burstall, Goguen - 1977
104 Database Description with SDM: A Semantic Database Model (context) - Hammer, McLeod - 1981
96 Semantic Data Models (context) - Peckham, Maryanski - 1988
81 Specification and Transformation of Programs: A Formal Appro.. (context) - Partsch - 1990
69 Object-Oriented Specification of Databases: An Algebraic App.. (context) - Sernadas, Sernadas et al. - 1987
69 Object-Oriented Design (context) - Booch - 1990
59 Conceptual Modelling of Database Applications Using an Exten.. - Engels, Gogolla et al. - 1990
52 Object-Oriented and Relational Programming with Logical Sema.. (context) - Goguen, Meseguer - 1987
50 Galileo: A Strongly Typed Interactive Conceptual Language - Albano, Cardelli et al. - 1985
47 Towards a semantic view of an extended entityrelationship mo.. (context) - Gogolla, Hohenstein - 1991
44 Understanding Object-Oriented: A Unifying Paradigm (context) - Korson, McGregor - 1990
41 The Basic Building Blocks of Information Systems (context) - Sernadas, Fiadeiro et al. - 1989
38 Algebraische Spezifikation abstrakter Datentypen (context) - Ehrich, Gogolla et al. - 1989
31 Proof-Theoretic Semantics of Object-Oriented Specification C.. - Fiadeiro, Sernadas et al. - 1990
29 Algebra of Communicating Processes (context) - Bergstra, Klop - 1986
27 The Specification of Complex Systems (context) - Cohen, Harwood et al. - 1986
26 Descriptive Specification of Database Object Behaviour (context) - Saake - 1991
25 Algebraic Implementation of Objects over Objects (context) - Ehrich, Sernadas - 1989
25 Temporal Aspects of Logical Procedure Definition (context) - Sernadas - 1980
22 What Is an Object (context) - Sernadas, Ehrich - 1990
21 Equational Specification of Dynamic Objects - Wieringa - 1990
19 Formal Specification of Object Systems - Jungclaus, Saake et al. - 1991
19 On Conceptual Modelling -- Perspectives from Artificial Inte.. (context) - Brodie, Mylopoulos et al. - 1984
18 From Data Types to Object Types (context) - Ehrich, Sernadas et al. - 1990
15 A Calculus for an Extended Entity-Relationship Model Incorpo.. (context) - Hohenstein, Gogolla - 1988
12 Foundations of Knowledge Base Management (context) - Schmidt, Thanos - 1989
11 Volume I: The Wide Spectrum Language CIP-L (context) - Bauer - 1985
10 Implementing Specification Freedoms (context) - London, Feather - 1982
10 A Language Facility for Designing Interactive Database-Inten.. (context) - Mylopoulos, Bernstein et al. - 1980
9 Specification of Database Applications in the T ROLL Languag.. (context) - Saake, Jungclaus - 1991
8 Using Active Objects for Query Processing - Jungclaus, Saake et al. - 1990
5 On Knowledge Management Systems (context) - Brodie, Mylopoulos - 1986
4 and Temporal Aspects of Semantic Data Models (context) - Urban, Delcambre - 1986
4 Technical Report CSRG (context) - Nixon - 1984
4 A Requirements Modelling Language and its Logic (context) - Greenspan, Borgida et al. - 1986
4 The Software Development Environment as a Knowledge Base Man.. (context) - Borgida, Jarke et al. - 1989
3 Specifying Software Requirements (context) - Yeh, Zave - 1980
2 Special issue on object-oriented design (context) - McGregor, Korson - 1990
2 Technical Report CCA (context) - Smith, Fox et al. - 1983
2 Final Report on GIST (context) - Balzer - 1981
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://wwwiti.cs.uni-magdeburg.de/~itiall/institut/db/iois.html): More
Abstract Specification of Object Interaction - Hartmann, al. (1993) (Correct)
Evolving Object Specifications - Saake, Sernadas, Sernadas (1995) (Correct)
Gaining a Uniform View of Different Integration.. - Kusch, Härtel.. (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC