Hans-Dieter Ehrich, Amílcar Sernadas  Home/Search
Context Related
| cs.math.ist.utl.pt/ftp/...95ESdfso.ps ips.cs.tubs.de/pu...entialObjects.ps.Z cs.tubs.de/idb/publicatio...es95.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: cs.math.ist.utl.pt/s84....publist (more) From: cs.math.ist.utl.pt/s84.ww...gnome (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Fully concurrent models of distributed object systems are specified using linear temporal logic that does not per se cope with concurrency. This is achieved by employing the principle of local sequentiality: we specify from local viewpoints assuming that there is no intraobject concurrency but full inter-object concurrency. Local formulae are labelled by identity terms. For interaction, objects may refer to actions of other objects, e.g., calling them to happen synchronously. A locality... (Update)
Context of citations to this paper: More
...f Phi i g i2Id in an Id indexed set family of formulae. The detailed construction of Sigma from a given Troll specification is given in [17]. Models of single objects are labelled sequential event structures and models of systems are labelled event structures [17] Before...
.... This is why much of the earlier work on sequential object theory is based on label sequences rather than event structures (cf. e.g. [ESS90, EJDS94] Behavior morphisms. Behaviors are related by behavior morphisms which are event structure morphisms preserving labels in a...
Cited by: More
Foundations of a Module Concept for Distributed Object Systems - Filipe (2000) (Correct)
On the Development and Use of a Formal Object Oriented.. - Kowsari (2002) (Correct)
Temporal Specification of Information Systems - Ehrich, Hartel (1996) (Correct)
Similar documents (at the sentence level):
9.8%: Distributed Temporal Logic for Concurrent Object Families.. - Ehrich, Saake (1995) (Correct)
Active bibliography (related documents): More All
1.2: Revised Version of the Conceptual Modeling and Design Language .. - Hartmann, al. (1994) (Correct)
0.9: Relationships between Dynamic Objects - Jungclaus, Hartmann, Saake (1993) (Correct)
0.8: Algebraic System Specification and Development.. - Cerioli, Gogolla, .. (1997) (Correct)
Similar documents based on text: More All
0.4: Object-Oriented Design of Information Systems.. - Ehrich, Jungclaus, .. (1994) (Correct)
0.2: Object-Oriented Specification of Information.. - Jungclaus, Saake, .. (1991) (Correct)
0.2: Probabilistic Situation Calculus - Mateus, Pacheco, Pinto, Sernadas.. (2000) (Correct)
Related documents from co-citation: More All
11: Revised Version of the Modelling Language Troll (context) - Hartmann, Saake et al. - 1994
8: Temporal logics for communicating sequential agents (context) - Lodaya, Ramanujam et al. - 1992
8: Object Specification Logic - Sernadas, Sernadas et al. - 1992
BibTeX entry: (Update)
H.-D. Ehrich and A. Sernadas. Local Specification of Distributed Families of Sequential Objects. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data Types Specification, Proc. 10th ADT Workshop /5th COMPASS Workshop, Selected papers, pages 219--235. Springer, Berlin, LNCS 906, 1995. http://citeseer.ist.psu.edu/ehrich95local.html More
@incollection{ ehrich95local,
author = "H.-D. Ehrich and A. Sernadas",
title = "Local specification of distributed families of sequential objects",
booktitle = "Recent Trends in Data Type Specification",
volume = "906",
publisher = "Springer-Verlag",
editor = "E. Astesiano and G. Reggio and A. Tarlecki",
pages = "219--235",
year = "1995",
url = "citeseer.ist.psu.edu/ehrich95local.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
1933 Communication and Concurrency (context) - Milner - 1989
637 The Entity-Relationship Model---Toward a Unified View of Dat.. (context) - Chen - 1976
357 Algebraic Laws for Nondeterminism and Concurrency (context) - Hennessy, Milner - 1985
161 Fundamentals of Algebraic Specification (context) - Ehrig, Mahr - 1985
161 Fundamentals of Algebraic Specification (context) - Ehrig, Mahr - 1985
74 Object Specification Logic - Sernadas, Sernadas et al. - 1992
73 Temporal Theories as Modularisation Units for Concurrent Sys.. - Fiadeiro, Maibaum - 1992
69 Object-Oriented Specification of Databases: An Algebraic App.. (context) - Sernadas, Sernadas et al. - 1987
68 The Anchored Version of the Temporal Framework - Manna, Pnueli - 1989
64 Rewriting Logic as a Logical and Semantic Framework - Mart'i-Oliet, Meseguer - 1993
64 Object-Oriented Specification of Information Systems: The TR.. - Jungclaus, Saake et al. - 1991
59 Conceptual modelling of database applications using an exten.. - Engels, Gogolla et al. - 1992
52 object-oriented and relational programming with logical sema.. (context) - Goguen, Meseguer - 1987
40 Instituto Superior T'ecnico (context) - Sernadas, Ramos et al. - 1994
40 Functional Specification of Time-Sensitive Communicating Sys.. - Broy - 1993
38 Algebraische Spezifikation Abstrakter Datentypen (context) - Ehrich, Gogolla et al. - 1989
38 TROLL light: A Core Language for Specifying Objects - Conrad, Gogolla et al. - 1992
37 Sketching Concepts and Computational Model of TROLL light - Gogolla, Conrad et al. - 1993
35 General Logics and Logical Frameworks (context) - Mart'i-Oliet, Meseguer - 1994
31 Proof-Theoretic Semantics of Object-Oriented Specification C.. - Fiadeiro, Sernadas et al. - 1991
29 A Categorial Theory of Objects as Observed Processes (context) - Ehrich, Goguen et al. - 1991
26 University of Edinburgh (context) - Winskel, Computation et al.
26 Descriptive Specification of Database Object Behaviour (context) - Saake - 1991
25 Temporal Aspects of Logical Procedure Definition (context) - Sernadas - 1980
21 OBLOG -- Object-Oriented Logic: An Informal Introduction (context) - Sernadas, Sernadas et al. - 1991
18 On Types and FOOPS (context) - Goguen, Wolfram - 1991
15 From processes to objects (context) - Sernadas, Ehrich et al. - 1990
12 Foundations of Knowledge Base Management (context) - Schmidt, Thanos - 1989
10 Distributed Temporal Logic for Concurrent Object Families - Ehrich, Saake et al. - 1995
8 Features of Languages for the Development of Information Sys.. - Borgida - 1985
8 Towards Object-Oriented Conceptual Modelling (context) - Sernadas, Fiadeiro - 1991
8 Transactions in Object-Oriented Specifications - Denker
8 Computer Science Department (context) - Winskel, Nielsen et al. - 1993
7 Information Systems -- Correctness and Reusability (context) - Ehrich, Sernadas et al. - 1991
6 Towards an Algebraic Semantics for Database Specification (context) - Ehrich, Drosten et al. - 1988
6 Models and Logics for True Concurrency - Lodaya, Mukund et al. - 1991
4 An Elementary Logic for Object Specification and Verificatio.. - Conrad, Ehrich - 1994
4 Recent Trends in Data Type Specification (context) - Astesiano, Reggio et al. - 1992
3 Revised Version of the Modeling Language TROLL (context) - Hartmann, Saake et al. - 1994
3 Key Extensions of Abstract Data Types (context) - Ehrich - 1986
3 Advanced Studies in Computer Science (context) - Jungclaus, Dynamic et al. - 1993
3 Readings in Artificial Intelligence & Databases (context) - Mylopoulos, Brodie - 1989
2 Information Systems -- Correctness and Reusability (context) - Fiadeiro, Maibaum et al. - 1991
2 Application Modelling in Heterogenous Environments Using an .. (context) - Saake, Jungclaus et al. - 1993
1 Working Papers of the International Workshop on Information .. (context) - Denker, Extended - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.math.ist.utl.pt/s84.www/cs/lcg/publist/publist.html): More
A Theory-based Topological Notion of Institution - Sernadas, Sernadas.. (Correct)
Operational Semantics and Type System for GNOME on Typed.. - Ravara, Vasconcelos (1996) (Correct)
Behavioural Types for a Calculus of Concurrent Objects - Ravara, Vasconcelos (1997) (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