Juliana Küster Filipe  Home/Search
Context Related
| biblio.tubs.de/ediss/d...20001123a.pdf 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: biblio.tubs.de/ediss...20001123a (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This thesis provides a logical and mathematical foundation for object-oriented specification languages with a further modularisation unit between the system and object classes. The unit is denoted object-oriented module, or module for short, and initially described in an informal way. Modules offer a better approach to reusability and provide better structuring of large, complex and distributed systems. In our approach, systems... (Update)
Context of citations to this paper: More
...OCL lacks expressiveness to describe component contracts as needed. We show how the distributed logic MDTL and the framework developed in [7, 8] can be used to formalize components and their contracts at a specification level. The importance of such a formalization lies in the...
Cited by: More
On the Development and Use of a Formal Object Oriented.. - Kowsari (2002) (Correct)
A Logic-Based Formalization for Component Specification - Filipe (2002) (Correct)
Active bibliography (related documents): More All
3.9: Fundamentals of a Module Logic for Distributed Object Systems - Filipe (2000) (Correct)
1.7: Algebraic System Specification and Development.. - Cerioli, Gogolla, .. (1997) (Correct)
1.6: Using a Modular Distributed Temporal Logic for In-the-large.. - Filipe (1998) (Correct)
Similar documents based on text: More All
0.7: Online and Real-Time Dispatching Problems - Winter (1999) (Correct)
0.6: Computer-Aided Validation of Formal Conceptual Models - Vazquez (2001) (Correct)
0.5: Graph-Theoretical Models for Frequency Assignment Problems - Malesinska (1997) (Correct)
Related documents from co-citation: More All
3: Fundamentals of a module logic for distributed object systems - Filipe - 2000
2: Component Software - Beyond Object-Oriented Programming (context) - Szyperski - 1998
2: a Temporal Logic for Object-Based Systems - Distefano, Katoen et al.
BibTeX entry: (Update)
J. Kuster Filipe. Foundations of a Module Concept for Distributed Object Systems. PhD thesis, Technical University of Braunschweig, Germany, September 2000. http://citeseer.ist.psu.edu/680034.html More
@phdthesis{ filipe00foundations,
author = "J. Filipe",
title = "Foundations of a Module Concept for Distributed Object Systems",
school = "Technical University of Braunschweig, Germany",
month = sep,
year = "2000",
url = "citeseer.ist.psu.edu/680034.html" }
Citations (may not include all citations):2732 Communicating sequential processes (context) - Hoare - 1985
2157 Design Patterns: Elements of Reusable Object-Oriented Softwa.. (context) - Gamma, Helm et al. - 1995
1286 Object-Oriented Modeling and Design (context) - Rumbaugh, Blaha et al. - 1991
862 The Java Language Specification - Gosling, Joy et al. - 1996
854 Information and Computation (context) - Milner, Parrow et al. - 1992
716 Parallel Program Design: A Foundation (context) - Chandy, Misra - 1988
681 The Unified Modeling Language User Guide (context) - Booch, Rumbaugh et al. - 1998
673 ACTORS: A Model of Concurrent Computation in Distributed Sys.. (context) - Agha - 1986
579 Software Architecture -- Perspectives of an Emerging Discipl.. (context) - Shaw, Garlan - 1996
542 Object-Oriented Software Engineering: A Use Case Driven Appr.. (context) - Jacobson, Christerson et al. - 1992
539 The temporal logic of programs (context) - Pnueli - 1977
537 Component Software: Beyond Object-Oriented Programming (context) - Szyperski - 1997
484 A Calculus of Communicating Systems (context) - Milner - 1980
427 the criteria to be used in decomposing systems into modules (context) - Parnas - 1972
388 On understanding types (context) - Cardelli, Wegner - 1985
308 Designing reusable classes (context) - Johnson, Foote - 1988
299 Algebraic Theory of Processes (context) - Hennessy - 1988
299 Conditional rewriting logic as a unified model of concurreny (context) - Meseguer - 1992
257 Report on the programming language Haskell (context) - Hudak, Wadler - 1991
234 Institutions: Abstract model theory for specification and pr.. (context) - Goguen, Burstall - 1992
232 Category Theory for Computing Science (context) - Barr, Wells - 1990
231 A Theory of Communicating Sequential Processes (context) - Brookes, Hoare et al. - 1984
229 Foundations for Programming Languages (context) - Mitchell - 1996
224 Design Patterns for Object-Oriented Software Development (context) - Pree - 1994
174 Springer-Verlag (context) - Abadi, Cardelli et al. - 1996
173 Order-sorted algebra I: Equational deduction for multiple in.. - Goguen, Meseguer - 1992
168 Theoretical Computer Science (context) - Nielsen, Plotkin et al. - 1981
152 Semantics of Programming Languages (context) - Gunter - 1992
149 A logical analysis of modules in logic programming (context) - Miller - 1989
144 Models for Concurrency - Winskel, Nielsen - 1995
139 An introduction to event structures (context) - Winskel - 1988
131 Concurrent object-oriented programming (context) - Agha - 1990
125 Event Structures (context) - Winskel - 1987
120 Analysis patterns: reusable object models (context) - Fowler - 1997
102 Formal verification of parallel programs (context) - Keller - 1976
101 Simple type-theoretic foundations for object-oriented progra.. - Pierce, Turner - 1994
97 Mass Produced Software Components (context) - McIlroy - 1969
94 Maude: Specification and Programming in Rewriting Logic - Clavel, Duran et al. - 1999
94 Units: Cool Modules for HOT Languages - Flatt, Felleisen - 1998
87 volume 4 of EATCS Monographs on Theoretical Computer Science (context) - Reisig, introduction - 1985
86 Basic notions of trace theory (context) - Mazurkiewicz - 1988
85 First-order Dynamic Logic (context) - Harel - 1979
84 Basic Category Theory for Computer Scientists (context) - Pierce - 1991
74 Object Specification Logic - Sernadas, Sernadas et al. - 1995
73 Temporal Theories as Modularisation Units for Concurrent Sys.. - Fiadeiro, Maibaum - 1992
70 On Asynchronous Communication Semantics - Honda, Tokoro - 1992
69 Object-Oriented Specification of Databases: An Algebraic App.. (context) - Sernadas, Sernadas et al. - 1987
67 IEEE Transactions on Software Engineering (context) - Parnas, design et al. - 1976
67 IEEE Transactions on Software Engineering (context) - Parnas, Clements et al. - 1985
64 ObjectOriented Specification of Information Systems: The TRO.. - Jungclaus, Saake et al. - 1991
62 Theoretical Aspects of Object-Oriented Programming - Gunter, Mitchell - 1994
60 Modular Object-Oriented Programming with Units and Mixins - Findler, Flatt - 1999
60 Towards a Theory of Actor Computations (context) - Agha, Mason et al. - 1992
58 A guide to the modal logics of knowledge and belief (context) - Halpern, Moses - 1985
56 Modularity in logic programming - Bugliesi, Lamma et al. - 1994
52 object-oriented and relational programming with logical sema.. (context) - Goguen, Meseguer - 1987
51 Prentice Hall (context) - Harbison - 1991
49 Temporal Logics for Communicating Sequential Agents (context) - Lodaya, Ramanujam et al. - 1992
48 Distributed first order logics - Ghidini, Serafini - 1999
47 Concurrency and Communication in Transaction Logic - Bonner, Kifer - 1996
47 The current state of CBSE (context) - Brown, Wallnau - 1998
47 Abstract and Concrete Categories (context) - Adamek, Herrlich et al. - 1990
45 on Programming Languages and Systems (context) - Lamport, logic et al. - 1994
45 Object-Oriented Software Composition (context) - Nierstrasz, Tsichritzis - 1995
45 Communications of the ACM (context) - Johnson, components - 1997
44 Algebraic Foundations of Systems Specification (context) - Astesiano, Kreowski et al. - 1999
43 Software Engineering with Reusable Components (context) - Sametinger - 1997
41 The Basic Building Blocks of Information Systems (context) - Sernadas, Fiadeiro et al. - 1989
41 A foundation for higher-order concurrent constraint programm.. - Smolka - 1997
41 A Classification of Models for Concurrency (context) - Sassone, Nielsen et al. - 1993
41 A technique for software module specification with examples (context) - Parnas - 1972
41 Transformations and Semantics for LOTOS (context) - Langerak - 1992
40 Specification of abstract data types (context) - Loeckx, Ehrich et al. - 1996
40 Instituto Superior Tecnico (context) - Sernadas, Ramos et al. - 1994
40 Revised Version of the Modelling Language Troll (context) - Hartmann, Saake et al. - 1994
40 Towards an Object Calculus - Nierstrasz - 1992
39 Parallelism and concurrency in high-level replacement system.. (context) - Ehrig, Habel et al. - 1991
38 Event structure semantics for CCS and related languages (context) - Winskel - 1982
38 Algebraische Spezifikation abstrakter Datentypen (context) - Ehrich, Gogolla et al. - 1989
38 a and A.C. Wills. Objects, Components, and Frameworks with U.. (context) - D'Souz - 1998
35 Multiprogramming System (context) - Dijkstra, of et al. - 1968
34 Import is Not Inheritance: Why We Need both Modules and Clas.. - Szyperski - 1992
34 Modelling Nondeterministic Concurrent Processes with Event S.. (context) - Loogen, Goltz - 1991
33 Permutation of transitions: An event structure semantics for.. (context) - Boudol, Castellani - 1988
30 PLT MzScheme: Language Manual (context) - Flatt - 1997
30 Logics for Specifying Concurrent Information Systems (context) - Ehrich, Caleiro et al. - 1998
30 The structure and semantics of actor languages (context) - Agha - 1991
26 University of Edinburgh (context) - Winskel, Computation et al. - 1980
26 Design reuse and frameworks in the Smalltalk-80 system (context) - Deutsch - 1989
24 Modeling of Dynamic Object Systems---A LogicBased Approach (context) - Jungclaus - 1993
23 Action Refinement in a Temporal Logic of Objects (context) - Fiadeiro, Maibaum et al. - 1994
22 What Is an Object (context) - Sernadas, Ehrich - 1991
22 United States Department of Defense (context) - for, programming - 1980
22 Module Composition and system design for the object paradigm (context) - Goguen, Socorro - 1995
21 OBLOG - object-oriented logic: An informal introduction (context) - Sernadas, Sernadas et al. - 1991
20 A model for communicating sequential processes (context) - Hoare - 1981
18 From Data Types to Object Types (context) - Ehrich, Sernadas et al. - 1990
17 Models for Concurrency: Towards a classification - Sassone, Nielsen et al. - 1996
16 A Linear Logic Calculus of Objects - Bugliesi, Delzanno et al. - 1996
15 Component-based Software Engineering (context) - Brown - 1996
15 From Processes to Objects (context) - Sernadas, Ehrich et al. - 1990
15 A Unifying Framework for Process Calculus Semantics of Concu.. - Papathomas - 1992
15 Object and classes in algol-like languages - Reddy - 1998
15 Synthesis of synchronisation skeletons for branching time te.. (context) - Clarke, Emerson - 1981
15 Verifying for Reuse: foundations of object-oriented system v.. - Fiadeiro, Maibaum - 1995
15 Local Specification of Distributed Families of Sequential Ob.. - Ehrich, Sernadas - 1995
14 OOD Frameworks in Componentbased Software Development in Com.. - Lau, Ornaghi - 1999
14 A simple definition for parallel composition of prime event .. (context) - Vaandrager - 1989
13 The TROLL Approach to Conceptual Modelling: Syntax (context) - Grau, Filipe et al. - 1998
13 Theoretical Computer Science (context) - Mason, Talcott et al. - 1999
13 Truly Concurrent (context) - Degano, De Nicola et al. - 1988
13 Object specification - Ehrich - 1999
13 Structuring Logic Programs: A Modal Approach (context) - Giordano, Martelli - 1994
13 Verfeinerung in objektorientierten Spezifikationen: Von Akti.. (context) - Denker - 1996
13 Konzeptionelle Modellierung von Informationssystemen als ver.. (context) - Hartel - 1997
12 An event structure semantics for general petri nets - Hoogers, Kleijn et al. - 1996
12 Design guidelines for tailorable frameworks - Demeyer, Meijler et al. - 1997
12 Why objects are not enough - Pfister, Szyperski - 1996
12 A temporal logic approach to object certification - Sernadas, Sernadas et al. - 1996
11 A sheaf semantics for FOOPS expressions (context) - Wolfram, Goguen - 1992
11 Troll -- An Object Oriented Formal Method for Distributed In.. (context) - Denker, Hartel - 1997
11 A Linear Temporal Logic Approach to Objects with Transaction.. - Denker, Ramos et al. - 1997
11 Formal Reasoning about Modules (context) - Kreitz, Lau et al. - 1996
10 Fundamental Object Concepts and Constructions (context) - Ehrich, Sernadas - 1991
10 Temporal Specification of Information Systems - Ehrich, Hartel - 1996
10 Functorial theory of parameterized specifications in a gener.. (context) - Ehrig, Groe-Rhode - 1994
10 Distributed Temporal Logic for Concurrent Object Families - Ehrich, Sernadas et al. - 1994
10 Logical specification of reactive and real-time systems (context) - Lano - 1998
10 On Dynamic Aspects of OOD Frameworks in Component-based Soft.. - Filipe, Lau et al. - 2000
10 Algebraic specification of concurrent systems - Astesiano, Broy et al. - 1999
10 Gesellschaft fur Mathematik und Datenverarbeitung (context) - Petri, GMD et al. - 1977
9 Abstract Object Types for Databases (context) - Ehrich, Sernadas et al. - 1988
9 Parallel product of event structures - Castellani, Zhang - 1997
9 Object-Oriented Design of Information Systems: Theoretical F.. - Ehrich, Jungclaus et al. - 1994
9 Implementation and Evaluation of a Declarative Object-Orient.. (context) - Socorro - 1993
9 Fundamentals of a Module Logic for Distributed Object System.. - Filipe - 2000
8 Modeling Component Systems with the Unified Modeling Languag.. (context) - Kruchten - 1998
8 Specifying communication in distributed information systems - Ehrich, Caleiro - 2000
8 Objects and their Specification - Ehrich, Gogolla et al. - 1992
8 Introduction to TROLL -- A Language for Object-Oriented Spec.. (context) - Jungclaus, Hartmann et al. - 1991
8 Computation Structures Group Memo (context) - Liskov, on - 1974
8 Fundamentals of Algebraic Specification 2: Modules and Const.. (context) - Ehrig, Mahr - 1990
7 Formal Specification of Catalysis Frameworks - Filipe, Lau et al. - 2000
7 Formal definition of UML's package concept (context) - Schurr, Winter - 1998
7 New Age of Software Development: How Component-Based Softwar.. - Aoyama - 1998
6 Modelling Parameterisation in Concurrent Object Systems (context) - Filipe - 1997
6 Communication in concurrent dynamic logic (context) - Peleg - 1987
6 Semantic Refinement of Concurrent Object Systems Based on Se.. - Denker - 1996
6 the relationship between classes (context) - Fisher, Mitchell - 1997
6 Norwegian Computer Center (context) - Dahl, Myrhaug et al. - 1968
6 Towards a Model for Asynchronously Communicating Objects - Denker, Filipe - 1996
6 Abstraction and verification in Alphard: introduction to lan.. (context) - Wulf, London et al. - 1976
5 Institut fur Computersysteme (context) - Mossenbock, Wirth et al. - 1992
5 Putting Synchronous and Asynchronous Object Modules together.. - Filipe - 1997
5 Software Architectures: Advances and Applications (context) - Barroca, Hall et al. - 2000
5 Specifying Distributed Information Systems: Fundamentals of .. - Denker, Ehrich - 1997
5 Programming languages - the first 25 years (context) - Wegner - 1976
5 On specification and correctness of OOD frameworks in comput.. - Lau, Ornaghi - 1998
5 Hereditary history preserving bisimilarity is undecidable - Jurdzinski, Nielsen - 2000
5 Denotational semantics of object specification - Sernadas, Sernadas et al. - 1998
5 Part 1: Formal Methods for Software Development (context) - Ehrig, Mahr et al. - 1992
4 Using a Modular Distributed Temporal Logic for In-the-large .. - Filipe - 1998
4 A proposal to merge multiple tuple spaces (context) - Ambriola, Cignoni et al. - 1996
4 A Logical Characterization of Asynchronously Communicating A.. (context) - Christensen - 1990
4 A Module System for Systematic Software Development: Design .. (context) - Hill - 1997
4 Trace Semantics for Actor Systems - Vasconcelos, Tokoro - 1992
4 and Object Identification (context) - Ehrich, Sernadas et al. - 1989
4 A Modal Extension of Logic Programming: Modularity - Baldoni, Giordano et al. - 1998
3 Graphtheoretic semantics of oblog - diagrammatic language fo.. (context) - Sernadas, Gouveia et al. - 1991
3 Part 2: From Classical View to Foundations of System Specifi.. (context) - Ehrig, Mahr et al. - 1992
3 Towards a module concept for object oriented specification l.. - Eckstein - 1998
3 a Distributed Temporal Logic for Modular Object Systems - Filipe - 1998
3 A Categorical Hiding Mechanism for Concurrent Object Systems - Filipe - 1997
3 An algebraic semantic framework for object oriented language.. (context) - Breu, Zucca - 1996
3 Modules in object-oriented systems (context) - Ruping - 1994
3 on Programming Languages and Systems (context) - Brogi, Mancarella et al. - 1994
2 The preparation of Programs for a Digital Computer (context) - Wilkes, Wheeler et al. - 1951
2 Intraand Inter-OOD-Framework Interactions in Component-based.. (context) - Filipe, Lau et al. - 1999
2 From Component Infrastructure To ComponentBased Development (context) - Brown - 1998
2 Inthe -large object-oriented design of information systems (context) - Sernadas, Resende et al. - 1991
2 Composing specifications for coordination - Montangero, Semini - 1999
2 The Standard Libraries (context) - Reference, Language - 1995
1 Personal communication (context) - Bradfield - 2000
1 The purpose of Concurrent Pascal (context) - Hansen - 1975
1 Seminar on Semantics of Concurrency (context) - Brookes, Roscoe et al. - 1985
1 Entwicklung eines Modulkonzepts fur Troll in Anlehnung and d.. (context) - Pinger - 1997
1 Vergleich zweier Modelle fur Nebenlaufigkeit anhand von Beis.. (context) - Burmeister - 1997
1 What Use are Formal Analysis and Design Methods to Telecommu.. (context) - Calder - 1998
1 Frameworks in Java and Catalysis (context) - D'Souza - 1997
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