@TechReport{Abadi:88:TERM, author = "Abadi, M. and Lamport, L.", title = "The Existence of Refinement Mappings", institution = "{DEC} Research Center", year = "1988", number = "29", address = "Palo Alto, CA", url = "ftp://ftp.digital.com/pub/DEC/SRC/research-reports/SRC-029.pdf", abstract-url = "http://gatekeeper.dec.com/pub/DEC/SRC/research-reports/abstracts/src-rr-029.html" } @InProceedings{Abadi:89:CS, author = "Abadi, M. and Lamport, L.", title = "{Composing Specifications}", editor = "de Bakker, J.W. and de Roever, W.-P. and Rozenberg, G.", volume = "430", series = "LNCS", pages = "1-41", booktitle = "Stepwise Refinement of Distributed Systems - Models, Formalisms, Correctness", year = "1989", publisher = "Springer-Verlag", address = "Berlin, Germany", abstract-url = "http://gatekeeper.dec.com/pub/DEC/SRC/research-reports/abstracts/src-rr-066.html", url = "ftp://ftp.digital.com/pub/DEC/SRC/research-reports/SRC-066.pdf" } @InProceedings{Abadi:94:OSTLA, author = "Abadi, M. and Lamport, L.", title = "Open Systems in {TLA}", pages = "81-90", booktitle = "Proceedings of the 13th Annual {ACM} Symposium on Principles of Distributed Computing", year = "1994" } @Article{Abadi:95:CS, author = "Abadi, M. and Lamport, L.", title = "Conjoining Specifications", journal = "ACM Transactions on Programming Languages and Systems", year = "1995", volume = "17", number = "3", pages = "507-534", month = "May", url = "ftp://ftp.digital.com/pub/DEC/SRC/research-reports/SRC-118.pdf", abstract-url = "http://gatekeeper.dec.com/pub/DEC/SRC/research-reports/abstracts/src-rr-118.html" } @Book{Abadi:96:ATO, author = "Abadi, M. and Cardelli, L.", title = "A Theory of Objects", publisher = "Springer-Verlag", address = "New York", year = 1996 } @InProceedings{Abadi:97:CCPSC, author = "Abadi, M. and Gordon, A. D.", title = "A Calculus for Cryptographic Protocols: The Spi Calculus", year = "1997", abstract = "We introduce the spi calculus, an extension of the pi calculus designed for the description and analysis of cryptographic protocols. We show how to use the spi calculus, particularly for studying authentication protocols. The pi calculus (without extension) suffices for some abstract protocols; the spi calculus enables us to consider cryptographic issues in more detail. We represent protocols as processes in the spi calculus and state their security properties in terms of coarse-grained notions of protocol equivalence.", publisher = "{ACM} Press", booktitle = "Fourth ACM Conference on Computer and Communications Security", pages = "36-47", url = "ftp://ftp.digital.com/pub/DEC/SRC/research-reports/SRC-149.pdf", abstract-url ="http://gatekeeper.dec.com/pub/DEC/SRC/research-reports/abstracts/src-rr-149.html" } @Book{Abrial:94:DPM, author = "Abrial, J.-R.", title = "Deriving Programs from Meaning", publisher = "Prentice Hall", year = 1994 } @Book{Abrial:96:BBAPM, author = "Abrial, J.-R.", title = "The {B}-Book: Assigning Programs to Meanings", publisher = "Cambridge University Press", year = "1996" } @book{Agha:86:AMCCDS, author = "Agha, G. A.", title = "Actors: a Model of Concurrent Computation in Distributed Systems", publisher = "MIT Press", address = "Cambridge, MA", year = 1986 } @Article{Agha:97:AFAC, title = "{A Foundation for Actor Computation}", author = "Agha, G. A. and Mason, I. A. and Smith, S. F. and Talcott, C. L", pages = "1-72", journal = "Journal of Functional Programming", month = jan, year = "1997", volume = "7", number = "1" } @InProceedings{Alborghetti:97:PASDATCS, author = {Alborghetti, A. and Gargantini, A. and Morzenti, A.}, title = {Providing Automated Support to Deductive Analysis of Time Critical Systems}, booktitle = {Sixth European Software Engineering Conference (ESEC'97)}, year = {1997} } @InProceedings{Amadio:97:AMLFPM, author = "Amadio, R. M.", title = "An Asynchronous Model of Locality, Failure, and Process Mobility", booktitle = "{Proceedings of the 2nd International Conference on Coordination Languages and Models (COORDINATION'97)}", series = "LNCS", volume = 1282, editor = "Garlan, D. and Le M\'etayer, D.", pages = "374-391", month = "September", year = 1997, publisher = "Springer-Verlag", address = "Berlin, Germany", url = "http://protis.univ-mrs.fr/~amadio/locfalII.ps.gz", note = "Full version as Rapport Interne, LIM Marseille, and Rapport de Recherche RR-3109, INRIA Sophia-Antipolis, 1997", } @Article{Ambler:92:OPDPPP, Author = "Ambler, A. L. and Burnett, M. M. and Zimmerman, B. A.", Title = "Operational Versus Definitional: a Perspective on Programming Paradigms", Journal = "IEEE Computer", Publisher = "IEEE Press", Year = 1992, Month = sep } @Book{Arnold:96:TJPL, author = "Arnold, Ken and Gosling, James", title = "{The Java Programming Language}", publisher = "Addison-Wesley", year = "1996", series = "The Java Series", } @TechReport{Asperti:96:MPN, author = "Asperti, Andrea and Busi, Nadi", title = "{Mobile Petri Nets}", institution = "Laboratory for Computer Science, University of Bologna, Italy", year = "1996", number = "UBLCS-96-10", url = "ftp://ftp.cs.unibo.it/pub/UBLCS/96-10.ps.gz" } @InProceedings{Astesiano:86:RSOS, author = "Astesiano, E. and Reggio, G. and Wirsing. M.", title = "Relational Specifications and Observational Semantics", booktitle = "MATHEMATICAL Foundations of Computer Sciences", editor = "Jozef Gruska and Branislav Rovan and Juraj Wiedermann", series = "LNCS", year = 1986, month = aug, pages = "209-217", volume = 233, publisher = "Springer-Verlag", address = "Berlin, Germany" } @InProceedings{Astesiano:93:ASC, author = "Astesiano, E. and Reggio, G.", title = "Algebraic Specification of Concurrency", booktitle = "Recent Trends in Data Type Specification, selected papers", series = "LNCS", volume = 655, pages = "1-39", year = 1993, editor = "M. Bidoit and C. Choppy", publisher = "Springer-Verlag", address = "Berlin, Germany" } @TechReport{Babaoglu:93CGSDS, author = "Babaoglu, O. and Marzullo, K.", title = "Consistent Global States of Distributed Systems: Fundamental Concepts and Mechanisms", institution = "Laboratory for Computer Science, University of Bologna", year = "1993", number = "UBLCS-93-1", url = "ftp://ftp.cs.unibo.it/pub/UBLCS/92-01.ps.gz" } @InProceedings{Back:89:RCPIIPRP, author = "Back, R.J.R. and von Wright, J.", title = "{Refinement Calculus, Part {II}: Parallel and Reactive Programs}", editor = "de Bakker, J.W. and de Roever, W.-P. and Rozenberg, G.", volume = "430", series = "LNCS", pages = "67-93", booktitle = "Stepwise Refinement of Distributed Systems - Models, Formalisms, Correctness - REX Workshop", year = "1989", publisher = "Springer-Verlag", address = "Berlin, Germany" } @InProceedings{Back:89:RCPISNP, author = "Back, R.J.R. and von Wright, J.", title = "{Refinement Calculus, Part {I}: Sequential Non deterministic Programs}", editor = "de Bakker, J.W. and de Roever, W.-P. and Rozenberg, G.", volume = "430", series = "LNCS", pages = "42-66", booktitle = "Stepwise Refinement of Distributed Systems - Models, Formalisms, Correctness - REX Workshop", year = "1989", publisher = "Springer-Verlag", address = "Berlin, Germany" } @InProceedings{Back:94:TRAS, author = "Back, R.J.R. and von Wright, J.", title = "Trace Refinement of Action Systems", editor = "Jonsson, B. and Parrow, J.", volume = "896", series = "LNCS", booktitle = "CONCUR'94: concurrency theory ", year = "1994", publisher = "Springer-Verlag", address = "Berlin, Germany" } @InCollection{Back:99:AUUCC, author = "Back, R.J.R. and Petre, L. and Porres-Paltor, I.", title = "{Analyzing UML Use Cases as Contracts}", editor = "France, R. and Rumpe, B.", booktitle = "{UML}'99- Second International Conference on the Unified Modeling Language: Beyond the Standard", volume = "1723", series = "LNCS", pages = "518 - 533", publisher = "Springer-Verlag", address = "Berlin, Germany", year = "1999", note = "See also \cite{Back:99:FUUCRC}" } @TechReport{Back:99:FUUCRC, author = "Back, R.J.R. and Petre, L. and Porres-Paltor, I.", title = "{Formalizing UML Use Cases in the Refinement Calculus}", institution = "TUCS - Turku Centre for Computer Science", year = "1999", number = "279", address = "Turku, Finland", url = "http://www.tucs.abo.fi/publications/techreports/TR279.html" } @TechReport{Baggiolini:96:MDAMEMS, author = "Baggiolini, V. and Billard, D. and Harms, J. and Ramlucku, M. and Solana, E. and Spahni, S. and Tschudin, C.", title = "Management of distributed applications: Management of electronic mail systems", institution = "University of Geneva", year = "1996", number = "Cahier du CUI No 103", address = "Switzerland", } @InCollection{Banatre:96:GCRM, author = "Ban\^atre, J.-P. and Le M\'etayer, D.", title = "{Gamma and the Chemical Reaction Model: Ten Years After}", booktitle = "Coordination Programming: Mechanisms, Models and Semantics", year = "1996", pages = "3-41", publisher = "Imperial College Press", editor = "Andreoli, J.-M. and Hankin, C. and Le Metayer, D." } @InCollection{Banville:96:SALCAO, Author = "Banville, M. ", Title = "{SONIA: an Adaptation of Linda for Coordination of Activities in Organizations}", Editor = "P. Ciancarini and C. Hankin", Booktitle = "Coordination Languages and Models", Series = "LNCS", Volume = 1061, Pages = "57-74", Publisher = "Springer-Verlag", address = "Berlin, Germany", Year = 1996 } @Book{Barr:95:CTCS, author = "Barr, Michael and Wells, Charles", title = "{Category Theory for Computing Science}", publisher = "Prentice Hall", year = "1995", series = "Prentice Hall International Series in Computer Science", edition = "Second" } @PhdThesis{Bastide:92:OC, author = "Bastide, R.", title = "{Objets Coop\'eratifs: un formalisme pour la mod\'elisation des syst\`emes concurrents}", school = "Universit\'e Paul Sabatier de Toulouse", year = 1992, month = feb } @InProceedings{Bastide:93:COCPNBOOL, author = "Bastide, R. and Palanque, P.", title = "{Cooperative Objects: a Concurrent, Petri-Net Based, Object-Oriented Language}", year = 1993, month = oct, pages = "286-291", publisher = "Elsevier Science Publisher", booktitle = "IEEE / System Man and Cybernetics 93" } @InProceedings{Bastide:95:AUPNOOA, author = "Bastide, R.", title = "Approaches in unifying {P}etri nets and the Object-Orientation Approach", booktitle = "Proceedings of the Application and Theory of Petri Nets 1995 - Workshop on Object-Oriented Programming and Models of Concurrency", year = 1995, month = jun } @inproceedings{Bastide:96:MGETCO, author = "Bastide, R. and Palanque, P.", title = "Modeling a groupware editing tool with Cooperative Objects", booktitle = "Proceedings of the second international workshop on Object-Oriented Programming and Models of Concurrency - 16th International Conference on Application and Theory of Petri Nets", editor = "G. Agha and F. De Cindio and A. Yonezawa", pages = "1-11", month = jun, year = 1996 } @Article{Bates:94:TREBA, author = "Bates, Joseph", title = "{The Role of Emotion in Believable Agents}", journal = "CACM", year = "1994", volume = "37", number = "7", pages = "122-125", month = "July" } @InCollection{Battiston:88:ONCHLNHOD, author = "Battiston, E. and De Cindio, F. and Mauri, G.", title = "{OBJSA} nets: a class of high level nets having objects as domains", booktitle = "Advances in {P}etri Nets 1988", editor = "Rozenberg, G.", volume = 340, pages = "20-43", year = 1988, publisher = "Springer-Verlag", series = "LNCS" , address = "Berlin, Germany" } @InProceedings{Battiston:95:ICC, author = "Battiston, E. and Chizzoni, A. and De Cindio, F.", title = "Inheritance and Concurrency in {CLOWN}", booktitle = "Proceedings of the Application and Theory of Petri Nets 1995 - Workshop on Object-Oriented Programming and Models of Concurrency", year = 1995, month = jun } @inproceedings{Battiston:96:MCDEC, author = "Battiston, E. and Chizzoni, A. and De Cindio, F.", title = "Modeling a cooperative environment with {CLOWN}", booktitle = "Proceedings of the second international workshop on Object-Oriented Programming and Models of Concurrency - 16th International Conference on Application and Theory of Petri Nets", editor = "G. Agha and F. De Cindio and A. Yonezawa", pages = "12-24", month = "jun", year = 1996 } @Article{Bergstra:82:TCASMCDT, author = "Bergstra, J.A. and Tucker, J.V. ", title = "The Completeness of the Algebraic Specification Methods for Computable Data Types", journal = "Information and Control", volume = 54, number = 3, pages = "186-200", year = 1982 } @Article{Bergstra:83:IFASDTSTCT, author = "Bergstra, J.A. and Tucker, J.V.", title = "Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems", journal = "SIAM journal of Computing", volume = 12, number = 2, pages = "366-387", year = 1983 } @Article{Bergstra:87:ASCSDT, author = "Bergstra, J.A. and Tucker, J.V.", title = "Algebraic Specifications of Computable and Semicomputable Data Types", journal = "Theoretical Computer Science", volume = 50, pages = "137-181", year = 1987 } @InCollection{Bergstra:96:TCA, Author = "Bergstra, J.A. and Klint, P.", Title = "The ToolBus Coordination Architecture", Editor = "Ciancarini, P. and Hankin, C.", Booktitle = "Coordination Languages and Models", Series = "LNCS", Volume = 1061, Pages = "75-88", Publisher = "Springer-Verlag", Year = 1996, address = "Berlin, Germany" } @Article{Berry:92:CAM, Author = "Berry, G. and Boudol, G.", Title = "The Chemical Abstract Machine", Journal = "Theoretical Computer Science", Volume = 96, Pages = "217-248", Year = 1992 } @Article{Berry:93:CRP, Author = "Berry, G. and Ramesh, S. and Shyamasundar, R. K.", Title = "Communicating Reactive Processes", Journal = "ACM Principles of Programming Languages", Volume = 20, Number = 1, Pages = "85-98", Year = 1993 } @Article{Best:1991:CBPN, title = "Concurrent Bisimulations in {Petri} Nets", author = "Best, E. and Devillers, R. and Kiehn, A. and Pomello, L.", journal = "Acta Informatica", pages = "231-264", year = "1991", volume = "28", number = "3", } @InCollection{Best:97:RCPN, author = "Best, E. and Thielke, T.", title = "Refinement of Coloured {Petri} Nets", booktitle = "Fundamentals of computation theory: FCT'97", series = "LNCS", editor = "Hlebus, B. S. and Czaja, L.", volume = "1279", pages = "105-116", year = "1997", publisher = "Springer-Verlag", address = "Berlin, Germany" } @InCollection{Biberstein:01:OONWASCF, author = "Biberstein, O. and Buchs, D. and Guelfi, N.", title = "Object-oriented nets with algebraic specifications: The {CO-OPN/2} formalism", booktitle = "Concurrent Object-Oriented Programming and {Petri} Nets - Advances in {Petri} Nets", pages = "70-127", publisher = "Springer-Verlag", year = "2001", editor = "Agha, G. and De Cindio, F. and Rozenberg, G.", volume = "2001", series = "LNCS" } @InProceedings{Biberstein:94:AOOSLHAPN, author = "Biberstein, O. and Buchs, D.", title = "An Object-Oriented Specification Language Based on Hierarchical Algebraic {P}etri Nets", booktitle = "Working papers of the international Workshop on Information System Correctness and Reusability IS-CORE'94", organization = "vrije University", editor = "R. Wieringa and R. Feenstra", address = "Amsterdam, The Netherlands", note = "Also available as Tech. Report (EPFL-DI-LGL No 94/76) \cite{Biberstein:94:CAOOSLBHAN}", pages = "47-62", month = sep, year = 1994, url = "ftp://lglftp.epfl.ch/pub/Papers/biber-iscore94coopn2.ps", abstract = "During the last few years there has been significant interest in combining the benefits of an object-oriented approach with Petri net formalism which is suitable to modelling and simulation of concurrent systems. Nevertheless, for modelling some system behaviour dynamic creation of new components is often needed. In this paper we introduce a formalism based on algebraic Petri nets using the object-orientation paradigm. Object classes are specified by means of algebraic Petri nets, synchronization expressions link the class instances and static as well as dynamic creation of objects is allowed. Inheritance and subtyping are considered as two different mechanisms. Inheritance is viewed as a duplication mechanism while subtyping is considered at a semantic level as a relation between models. The order-sorted algebras framework captures the subtyping notion between the objects which are identified by order-sorted values. Language semantics is defined through distributed transition systems over the models of algebraic specification." } @TechReport{Biberstein:94:CAOOSLBHAN, author = "Biberstein, O. and Buchs, D.", institution = "Swiss Federal Institute of Technology (EPFL), Software Engineering Laboratory", address = "Lausanne, Switzerland", number = "94/76", title = "{CO-OPN/2} {An} Object-Oriented Specification Language Based on Hierarchical Algebraic Nets", year = 1994, url = "ftp://lglftp.epfl.ch/pub/Papers/biber-iscore94coopn2.ps", abstract = "During the last few years there has been significant interest in combining the benefits of an object-oriented approach with Petri net formalism which is suitable to modelling and simulation of concurrent systems. Nevertheless, for modelling some system behaviour dynamic creation of new components is often needed. In this paper we introduce a formalism based on algebraic Petri nets using the object-orientation paradigm. Object classes are specified by means of algebraic Petri nets, synchronization expressions link the class instances and static as well as dynamic creation of objects is allowed. Inheritance and subtyping are considered as two different mechanisms. Inheritance is viewed as a duplication mechanism while subtyping is considered at a semantic level as a relation between models. The order-sorted algebras framework captures the subtyping notion between the objects which are identified by order-sorted values. Language semantics is defined through distributed transition systems over the models of algebraic specification." } @InProceedings{Biberstein:95:COOSAN, author = "Biberstein, O. and Buchs, D.", address = "Evry", booktitle = "IS-CORE Workshop", month = sep, pages = "73-75", title = "Concurrency and Object-Orientation with Structured Algebraic Nets", year = 1995, url= "ftp://lglftp.epfl.ch/pub/Papers/biber-t2.ps" } @InProceedings{Biberstein:95:SANOO, author = "Biberstein, O. and Buchs, D.", title = "Structured Algebraic Nets with Object-Orientation", booktitle = "Proceedings of the first international workshop on Object-Oriented Programming and Models of Concurrency - 16th International Conference on Application and Theory of Petri Nets", year = 1995, month = jun, url= "ftp://lglftp.epfl.ch/pub/Papers/biber-t1.ps", abstract = "The aim of this paper is to briefly introduce the Concurrent Object-Oriented Petri Net specification language CO-OPN/2 which has overcome some limitations of its object-based ancestor CO-OPN. Classes are described by means of algebraic nets in which places play the role of attributes, and methods function as external parameterized transitions. Inheritance and sub-typing are distinguished, with the former considered as a mechanism for reuse while the later is viewed on a semantic level, based on the substitutability principle with respect to the behavior of the objects. As in the CO-OPN language, cooperation between the objects is achieved by means of synchronization expressions which allow the designer to select object interaction policies." } @TechReport{Biberstein:95:SCAOLST, author = "Biberstein, O. and Buchs, D. and Buffard, C. and Buffo, M. and Flumet, J. and Hulaas, J. and Di Marzo, G. and Racloz, P.", title = "{SANDS1.5/COOPN1.5}, {A}n Overview of the Language and its Supporting Tools", institution = "Swiss Federal Institute of Technology (EPFL), Software Engineering Laboratory", year = 1995, address = "Lausanne, Switzerland", number = "95/133", month = jun, url = "ftp://lglftp.epfl.ch/pub/Papers/biber-main.ps", abstract = "In this document we give an overview of the CO-OPN/1.5 (Concurrent Object-Oriented Petri Nets) specification language and describe the features of each tool provided in the SANDS/1.5 (Structured Algebraic Net Development System) development environment. The CO-OPN/1.5 language is a specification language devised to support the development of large concurrent systems. The underlying formalisms of the language are algebraic specifications and Petri nets in which tokens correspond to algebraic values. Furthermore, in order to deal with large specifications, some structuring principles have been introduced and in particular, object-orientation paradigm has been adopted for the Petri nets. This means that a CO-OPN/1.5 specification is a collection of objects which interact concurrently. Interaction between the objects is achieved by means of synchronization expressions which allow the designer to select the object interaction policies. The development system provides many different tools such as a syntax checker, a simulator, a property verifier based on temporal logic, a graphic editor, a transformation tool supporting the derivation of specifications, an Ada translator which allows to analyze Ada programs in the CO-OPN/1.5 framework, and a MIMD compiler." } @InProceedings{Biberstein:96:AMCEUC, author = "Biberstein, O. and Buchs, D. and Guelfi, N.", title = "Modeling of Cooperative Editors Using {CO-OPN/2}", booktitle = "Proceedings of the second international workshop on Object-Oriented Programming and Models of Concurrency - 16th International Conference on Application and Theory of Petri Nets", editor = "G. Agha and F. De Cindio and A. Yonezawa", pages = "25-42", month = jun, year = 1996, url = "ftp://lglftp.epfl.ch/pub/Papers/biberOOPMC_96.ps", abstract = "In this paper we describe how to use the CO-OPN/2 (Concurrent Object-Oriented Petri Net) formalism, by developing a case study on groupware or, more specifically, on a cooperative editor of hierarchical diagrams. First of all, we present CO-OPN/2 and describe how some aspects specific to object orientation, such as the notions of class/object, of object reference and of the distinction between inheritance and sub-typing, are taken into account within the formalism. Afterwards, we show how these notions may be used for the modeling and the design of an editor of hierarchical Petri nets and discuss some points related to the concurrency. Finally, we show how flexible our modeling architecture is by giving some insight into to the design of other kinds of cooperative diagram editors." } @TechReport{Biberstein:96:CAMCSE, author = "Biberstein, O. and Buchs, D. and Guelfi, N.", title = "{CO-OPN/2} Applied to the Modeling of Cooperative Structured Editors", institution = "Swiss Federal Institute of Technology (EPFL), Software Engineering Laboratory", address = "Lausanne, Switzerland", year = 1996, number = "96/184", url = "ftp://lglftp.epfl.ch/pub/Papers/biberTR96_184.ps", abstract = "In this paper we describe how to use the CO-OPN/2 (Concurrent Object-Oriented Petri Net) formalism, by developing a case study on groupware or, more specifically, on a cooperative editor of hierarchical diagrams. First of all, we present CO-OPN/2 and describe how some aspects specific to object orientation, such as the notions of class/object, of object reference and of the distinction between inheritance and sub-typing, are taken into account within the formalism. Afterwards, we show how these notions may be used for the modeling and the design of an editor of hierarchical Petri nets and discuss some points related to the concurrency. Finally, we show how flexible our modeling architecture is by giving some insight into to the design of other kinds of cooperative diagram editors." } @TechReport{Biberstein:96:CASLDSE, author = "Biberstein, O. and Buchs, D. and Guelfi, N.", institution = "Swiss Federal Institute of Technology (EPFL), Software Engineering Laboratory", address = "Lausanne, Switzerland", number = "96/167", type = "Tech. Report", title = "{CO-OPN/2} : {A} Specification Language for Distributed Systems Engineering", year = 1996, url = "ftp://lglftp.epfl.ch/pub/Papers/biber-TR96-167.ps", abstract = "In this article we present the concurrent object-oriented specification language CO-OPN/2 which extends the CO-OPN (Concurrent Object Oriented Petri Nets) formalism, destined to support the development of large heterogenous distributed systems. The development of distributed applications has recently been the subject of intensive research, due to potential benefits that can be expected to offer in increasing reliability and overall performance of computer processing. One way of improving the effectiveness of the distributed system construction is to adopt a rigorous approach for system development, based on structuring principles. The CO-OPN/2 approach proposes a specification language, based on the object-oriented paradigm, which includes a fine description of true concurrent behaviors. This hybrid approach (model and property-oriented) allows for a description of the concurrent aspects through the use of a high-level Petri nets formalism which includes data structures expressed with the algebraic abstract data types and a synchronization mechanism for building hierarchies of abstraction. This latter notion is the concept which is used in structuring applications. Interesting properties of CO-OPN, such as the progressive refinement of specifications, allow for the building of systems in an incremental manner.In this article, we introduce CO-OPN/2 informally, by means of a typical example of distributed systems, the transit node, in order to introduce each useful and innovative mechanism of the language. Then , in the context of distributed software engineering with CO-OPN/2, we present our current works done in order to provide formal methods for several steps of a life cycle model test, prototyping, analysis, etc.)." } @InProceedings{Biberstein:96:UCFMGAE, author = "Biberstein, O. and Buchs, D. and Guelfi, N.", title = "Using the {CO-OPN/2} Formal Method for Groupware Applications Engineering", booktitle = "Proceedings of the IMACS-IEEE-SMC conference on Computational Engineering in Systems Application (CESA'96)", year = 1996, month = jul, url = "ftp://lglftp.epfl.ch/pub/Papers/biber-CESA_96.ps", abstract = "CO-OPN/2 (Concurrent Object Oriented Petri Nets) is an object-oriented specification formalism based on Petri Nets and algebraic specifications. It is fully adapted to the specification of complex concurrent systems because it inherits the advantages of algebraic specifications for the specification of abstract data types, from Petri nets to describe partially ordered events and from the object-oriented paradigm for the 'structuring' of the specification. All these features are especially useful when speaking about groupware systems, which are application which demand rich modeling capabilities on concurrency and structuring. This paper explains the major principles for the specification of groupware systems with CO-OPN/2. This is done by mapping groupware concepts into CO-OPN/2 concepts and is demonstrated by means of an example of shared distributed diaries. Furthermore, we present the work done on the methodological approach for the development of concurrent object-oriented systems with CO-OPN/2 which cover analysis, specification, design, prototyping and testing. groupware, replication, object-orientation, distributed systems, formal methods, Petri Nets, algebraic specification of abstract data types, software engineering." } @InProceedings{Biberstein:97:CCOOF, author = "Biberstein, O. and Buchs, D. and Guelfi, N.", title = "{CO-OPN/2}: A Concurrent Object-Oriented Formalism", booktitle = "Proc. Second {IFIP} Conf. on Formal Methods for Open Object-Based Distributed Systems ({FMOODS})", year = "1997", publisher = "Chapman and Hall", address = "London", pages = "57-72", url = "ftp://lglftp.epfl.ch/pub/Papers/biber_fmoods97.ps.gz" } @PhdThesis{Biberstein:97:PhD, author = "Biberstein, O.", title = "{CO-OPN/2}: An Object-Oriented Formalism for the Specification of Concurrent Systems", school = "University of Geneva", year = "1997", address = "Switzerland", note = "Ph.D. Thesis No 2919", url = "ftp://lglftp.epfl.ch/pub/Papers/biberstein-thesis97.ps.gz" } @InCollection{Bidoit:87:TSLAGILS, author = "Bidoit, M.", title = "The Stratified Loose Approach: a Generalization of Initial and Loose Semantics", pages = "1-22", booktitle = "Recent Trends in Data type Specification, Selected papers of the 5th workshop on specification of abstract data types", series = "LNCS", volume = 332, editor = "Sanella, D. and Tarlecki, A.", publisher = "Springer-Verlag", month = sep, year = 1987, note = "Also in Proc. 1st International Conference on Algebraic Methodology and Software Technology" } @PhdThesis{Bidoit:89:PLDSAM, author = "Bidoit, M.", title = "{Pluss}, un langage pour le developpement de sp\'ecifications alg\'ebriques modulaires", school = "{LRI} Universit\'e de {P}aris-{S}ud, {C}entre d'{O}rsay", month = may, year = 1989, note = "Th\`ese de doctorat d'Etat" } @inproceedings{Billard:96:RTEOSBA, author = "Billard, D.", title = "Recovery of Transactions exploiting Operation Semantics: Beyond ARIES", booktitle = "International Workshop on Advanced Transaction Models and Architectures (ATMA)", year = "1996", pages = "283-299", month = aug } @techreport{Billard:98:TECI, author = "Billard, D.", title = "Transactions and Electronic Commerce for the Internet", institution = "University of Geneva", address = "Switzerland", year = "1998", number = "118", month = feb } @techreport{Billard:98:TSI, author = "Billard, D.", title = "Transactional services for the Internet", institution = "University of Geneva", year = "1997", address = "Switzerland", number = "Cahier du CUI No 117", month = dec, } @inproceedings{Billard:98:TSIb, author = "Billard, D.", title = "Transactional services for the Internet", booktitle = "Extending Database Technology (EDBT) Workshop on the Web and Databases", year = "1998", month = mar, abstract = "This paper investigates a new paradigm in transactional services, specially tailored for Internet purposes. This new paradigm considers transactions (called I-Transactions) as user's atomic actions that run upon multiple databases which do not know the existence of each other. Classic transactions are designed to cope with multiple users accessing a particular DBMS, or a federation of well-known DBMS. Inversely, I-Transactions are not bounded to a particular DBMS, or a federation of DBMS, but are related to a single user. Therefore, I-Transactions are not ruled by a transaction manager: they provide an atomic action upon a set of DBMS that do not know each other and which may not be simultaneously accessed again by another I-Transaction. Roughly speaking, I-Transactions are self-managed. They are tailored to be used in the Internet environment, which now does not support many kind of transactional facility and are designed to be easily integrated in existing Internet applications. This paper proposes a description of the I-Transactions and the constraints related to their utilization, in particular from the security point of view. It also outlines the differences among I-Transactions and the CORBA Transaction Service, TIP or the X/OPEN DTP and how the implementation of such I-Transactions can benefit from the use of mobile agents." } @InProceedings{Borba:94:OSF, author = "Borba, P. and Goguen, J.", title = "An Operational Semantics for {FOOPS}", editor = "Wieringa, R. and Feenstra, R.", booktitle = "Working Papers of the International Workshop on Information Systems - Correctness and Reusabilility, IS-CORE'94. Technical Report IR-357", year = "1994", organization = "Vrije Universiteit", address = "Amsterdam", } @TechReport{Borba:95:RCOOP, author = "Borba, P. and Goguen, J.", title = "Refinement of Concurrent Object Oriented Programs", institution = "Oxford University, Computing Laboratory, Programming Research Group", year = "1995", number = "PRG-TR-18-95", } @PhdThesis{Borba:95:SRCOOL, author = "Borba, P.", title = "Semantics and Refinement for a Concurrent Object Oriented Language", school = "Oxford University, Computing Laboratory, Programming Research Group", year = "1995", month = "July" } @InCollection{Brauer:90:ASBEPRPN, author = "Brauer, W. and Gold, R. and Vogler, W.", title = "A Survey of Behaviour and Equivalence Preserving Refinements of {Petri} Nets", editor = "Rozenberg, G.", volume = "483", series = "LNCS", pages = "1-46", booktitle = "Advances in {Petri} Nets 1990", year = "1990", publisher = "Springer-Verlag", address = "Berlin, Germany" } @InCollection{Brauer:90:SENNBS, author = "Brauer, W. and Gold, R. and Volger, W.", title = "{A Survey of Behaviour and Equivalence Preserving Refinement of Petri Nets}", booktitle = "Advances in Petri Nets 1990", pages = "1-46", volume = 483, series = "LNCS", year = 1992, publisher = "Springer-Verlag", address = "Berlin, Germany" } @InProceedings{Brooks:91:IWR, author = "Brooks, R. A.", title = "Intelligence without Reason", pages = "569-595", booktitle = "IJCAI'91", year = "1991" } @Article{Brooks:91:IWRb, author = "Brooks, R. A.", title = "Intelligence without Representation", journal = "Artificial Intelligence", year = "1991", volume = "47", pages = "139-159" } @Article{Broy:82:PAT, author = "Broy, M. and Wirsing, M.", title = "Partial Abstract Types", journal = "Acta Informatica", volume = 18, year = 1982 } @TechReport{Broy:92:CRIS, author = "Broy, M.", title = "Compositional Refinement of Interactive Systems", institution = "DEC Research Center", year = "1992", number = "89", address = "Palo Alto, CA", abstract-url = "http://gatekeeper.dec.com/pub/DEC/SRC/research-reports/abstracts/src-rr-089.html", url = "ftp://ftp.digital.com/pub/DEC/SRC/research-reports/SRC-089.pdf" } @Article{Buchs:00:AFSFOODS, author = {Buchs, D. and Guelfi, N.}, title = {A Formal Specification Framework for Object-Oriented Distributed Systems}, journal = {IEEE Transactions on Software Engineering, Special Section on Formal Methods for Object Systems}, year = {2000}, volume = {26}, number = {7}, pages = {635-652}, month = {July} } @techreport{Buchs:90:CACOOPNM, author = "Buchs, D. and Guelfi, N.", institution = "University of Paris-Sud", number = 616, title = "{CO-OPN}: A Concurrent Object Oriented {P}etri Nets Model", type = "Rapports de Recherche, LRI", year = 1990 } @InProceedings{Buchs:91:COOPNA, author = "Buchs, D. and Guelfi, N.", booktitle = "12th International Conference on Application and Theory of {P}etri Nets", title = "{CO-OPN}: A Concurrent Object-Oriented {P}etri Nets Approach for system specification", editor = "M. Silva", address = "Aahrus, Denmark", month = jun, pages = {432-454}, year = 1991 } @inCollection{Buchs:93:FDAPUSAPN, author = "Buchs, D. and Guelfi, N.", booktitle = {Int. Conference on parallel Architectures and Languages Europe {PARLE'93}}, editor = {Bode Arndt and Reeve Mike and Wolf Gottfried}, month = jun, pages = {353-366}, publisher = "Springer-Verlag", address = "Berlin, Germany", title = {Formal Development of Actor Programs Using Structured Algebraic {P}etri Nets}, series = {LNCS}, volume = 694, year = 1993 } @Article{Buffo:96:CCMDSOOS, Author = "Buffo, M. and Buchs, D.", Title = "Contextual Coordination for the Mapping of Distributed Systems on Object-Oriented Systems", Journal = "Computer and Artificial Intelligence", Volume = "16", Number = "2", Year = "1997", pages = "187-216", URL = "ftp://lglftp.epfl.ch/pub/Papers/Buffo:97:CMDOS.ps.gz" } @PhdThesis{Buffo:97:PhD, author = "Buffo, M.", title = "Contextual Coordination: a coordination model for distributed object systems", school = "University of Geneva", address = "Switzerland", year = "1997" } @Book{Buschmann:96:ASPPOSA, author = "Buschmann, F. and Meunier, R. and Rohnert, H. and Sommerlad, P. and Stal, M.", title = "A system of patterns - pattern oriented software architecture", year = "1996", publisher = "Wiley" } @InCollection{Busi:95:DCCS, author = "Busi, N. and Gorrieri, R.", editor = "Nierstrasz, O. and Ciancarini, P. and Yonezawa, A. ", title = "Distributed Conflicts in Communicating Systems", booktitle = "Object-Based Models and Languages for Concurrent Systems", series = "LNCS", volume = 924, pages = "49-65", publisher = "Springer-Verlag", address = "Berlin, Germany", year = 1995, abstract = "We argue that the alternative composition operator of CCS not only lacks expressiveness, but also provides a too abstract description of conflicting activities. Hence, we propose to replace it with a unary conflict operator and a conflict restriction operator, yielding the process algebra DiX. We show that DiX is a semantic extension of CCS. Moreover, DiX is equipped with a simple distributed semantics defined in terms of nets with inhibitor arcs, where the set of transitions is generated by three axiom schemata only. This net semantics is the main motivation for the present proposal." } @Proceedings{CTCS95, title = "Category theory and computer science: CTCS'95: proceedings", year = "1995", editor = "Pitt, David and Rydeheard, David E. and Johnstone, Peter", number = "953", series = "LNCS", publisher = "Springer-Verlag", address = "Berlin, Germany" } @Article{Campbell:86:ERAS, author = "Campbell, R. H. and Randell, B.", title = "Error Recovery in Asynchronous Systems", journal = "IEEE Transactions on Software Engineering", year = "1986", volume = "12", number = "8", pages = "811-826" } @TechReport{Cap:94:ACDPPAULLAS, author = "Cap, C. H. ", title = "{A Calculus of Distributed and Parallel Processes - An Approach Using Linear Logic and Algebraic Specification}", institution = "{Department of Computer Science, University of Z\"urich}", year = "1994" } @inCollection{Cardelli:84:ASMI, author = "Cardelli, L.", title = "A Semantics of Multiple Inheritance", booktitle = "Semantics of Data Types, International Symposium Sophia-Antipolis Proceedings", series = "LNCS", volume = 173, pages = "51-67", year = 1984, month = jun, publisher = "Springer-Verlag", abstract-url = "http://www.luca.demon.co.uk/Papers.html#Inheritance", address = "Berlin, Germany" } @techreport{Cardelli:84:BPT, author = "Cardelli, Luca", title = "Basic polymorphic typechecking", institution = "AT\&T Bell Laboratories", type = "Computing Science Technical Report", address = "Murray Hill", year = 1984, number = 112, abstract-url = "http://www.luca.demon.co.uk/Papers.html#BasicTypechecking" } @article{Cardelli:85:OUTDAP, author = "Cardelli, L. and Wegner, P.", title = "On Understanding Types, Data Abstraction, and Polymorphism", journal = "ACM Computing Surveys", volume = 17, number = 4, pages = "471-522", month = dec, year = 1985, abstract-url = "http://www.luca.demon.co.uk/Papers.html#OnUnderstanding", url = "http://research.microsoft.com/Users/luca/Papers/OnUnderstanding.A4.pdf" } @article{Cardelli:88:ASMI, author = "Cardelli, L.", title = "A Semantics of Multiple Inheritance", journal = "Information and Computation", volume = 76, pages = "138-164", year = 1988 } @Article{Cardelli:95:ALDS, author = "Cardelli, L.", title = "A Language with Distributed Scope", journal = "Computing Systems", year = "1995", volume = "8", number = "1", month = jan, pages = "27-59", abstract-url = "http://www.luca.demon.co.uk/Papers.html#Obliq", url = "http://research.microsoft.com/Users/luca/Papers/Obliq.A4.pdf" } @InCollection{Cardelli:97:MA, author = "Cardelli, Luca and Gordon, Andrew D.", title = "Mobile Ambients", booktitle = "Proceedings of Foundations of Software Science and Computation Structures (FoSSaCS)", year = "1998", month = "March", volume = "1378", series = "LNCS", publisher = "Springer-Verlag", editor = "Nivat, M.", pages = "140-155", abstract-url = "http://www.luca.demon.co.uk/Papers.html#MobileAmbients", url = "http://research.microsoft.com/Users/luca/Papers/MobileAmbientsETAPS98.A4.pdf", address = "Berlin, Germany" } @Article{Carriero:89:Linda, author = "Carriero, Nicholas and Gelernter, David", title = "{LINDA in context}", journal = "Communications of the ACM", year = "1989", volume = "32", number = "4", pages = "444-458", month = apr } @article{Cerf:91:Networks, author= "V. Cerf", title= "Networks", journal= "Scientific American", year= "1991", month= "September", pages= "42-51", volume= "265(3)" } @InProceedings{Chainbi:96:MAPPPPNS, author = "Chainbi, W. and Hanachi, C. and Sibertin-Blanc, C.", title = "{The Multi-agent Prey-Predator problem : A Petri net solution}", booktitle = "Proceedings of the IMACS-IEEE-SMC conference on Computational Engineering in Systems Application (CESA'96)", pages = "692-697", address = "Lille, France", year = 1996, month = jul } @InProceedings{Champeaux:92:POOD, Author = "de Champeaux, D. and Lea, D. and Faure, P.", Title = "The Process of Object-Oriented Design", BookTitle = "Proceedings of OOPSLA'92", Year = 1992 } @Book{Chandy:88:PPD, author = "Chandy, K.M. and Misra, J.", title = "Parallel Program Design", publisher = "Addison-Wesley", year = "1988", address = "Reading, MA" } @InProceedings{Chandy::97:SCODIA, author = "Chandy, K.M. and Rifkin, A. ", title = "Systematic Composition of Objects in Distributed Internet Applications", booktitle = "30th Hawai International Conference on System Sciences", year = "1997", organization = "IEEE" } @InProceedings{Chavez:96:KAMBSG, author = "Chavez, A. and Maes, P.", title = "Kasbah: An Agent Marketplace for Buying and Selling Goods", booktitle = "Proceedings of the First International Conference on the Practical Appication of Intelligent Agents and Multi-Agent Technology", year = "1996", url = "http://amec.media.mit.edu/papers/paam96.pdf" } @TechReport{Chess:95:IAMC, author = "Chess, David and Grosof, Benjamin and Harrison, Colin and Levine, David and Parris, Colin and Tsudik, Gene", title = "Itinerant Agents for Mobile Computing", institution = "IBM", year = "1995", number = "RC 20010", address = "T. J. Watson Research Center, Yorktown Heights, New York", month = mar } @TechReport{Cianca:93:DPLTS, author = "Ciancarini, P.", title = "{Distributed Programming with Logic Tuple Spaces}", institution = "Laboratory for Computer Science, University of Bologna, Italy", year = "1993", number = "UBLCS-93-7", url = "ftp://ftp.cs.unibo.it/pub/UBLCS/93-07.ps.gz" } @Article{Cianca:94:DPLTPS, author = "Ciancarini, P.", title = "{Distributed Programming with Logic Tuple Spaces}", journal = "{New Generation Computing}", year = "1994", volume = "12", number = "3", pages = "251-284", month = "{May}" } @TechReport{Cianca:95:GCPA, author = "Ciancarini, P. and Gorrieri, R. and Zavattaro, G.", title = "{Generative Communication in Process Algebra}", institution = "Laboratory for Computer Science, University of Bologna, Italy", year = "1995", number = "UBLCS-95-16", url = "ftp://ftp.cs.unibo.it/pub/UBLCS/95-16.ps.gz" } @InCollection{Cianca:96:TCGC, author = "Ciancarini, P. and Gorrieri, R. and Zavattaro, G.", title = "{Towards a Calculus for Generative Communication}", editor = "Najm, E. and Stefani, J.", pages = "289-306", booktitle = "{Proceedings of 1st IFIP Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)}", year = "1996", publisher = "Chapman and Hall", address = "London" } @Book{Ciancarini:95:OBMLCS, Editor = "Ciancarini, P. and Nierstrasz, O. and Yonezawa, A.", Title = "Object-Based Models and Languages for Concurrent Systems", Series = "LNCS", Volume = 924, Publisher = "Springer-Verlag", Booktitle= "Proceedings of the ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution", Year = 1995, address = "Berlin, Germany" } @InCollection{Ciancarini:95:OSCL, author = "Ciancarini, P. and Jensen, K. K. and Yankelevich, D.", editor = "Ciancarini, P. and Nierstrasz, O. and Yonezawa, A.", title = "On the Operational Semantics of a Coordination Language", booktitle = "Object-Based Models and Languages for Concurrent Systems", series = "LNCS", volume = 924, pages = "77-106", publisher = "Springer-Verlag", year = 1995, abstract = "Linda is a coordination language, because it has to be combined with a sequential language to give a full parallel programming formalism. Although Linda has been implemented on a variety of architectures, and in combination with several sequential languages, its formal semantics is relatively unexplored. In this paper we study and compare a number of operational semantics specifications for Linda: Plotkin's SOS, Milner's CCS, Petri Nets, and Berry and Boudol's Chemical Abstract Machine. We analyze these specifications, and show how they enlighten different abstract implementations.", address = "Berlin, Germany" } @Book{Ciancarini:96:CLM, Editor = "Ciancarini, P. and Hankin, C.", Title = "Coordination Languages and Models", Series = "LNCS", Volume = 1061, Publisher = "Springer-Verlag", booktitle = "Proceedings of the First International Conference COORDINATION '96, Cesena, Italy", Month = "apr", Year = 1996, address = "Berlin, Germany" } @InCollection{Coen:95:AFFAILPO, author = "Coen-Porisini, A. and Kemmerer, R. A. and Mandrioli, D.", title = "A Formal Framework for {ASTRAL} Inter-level Proof Obligations", number = "989", series = "LNCS", pages = "90-108", booktitle = "Proceedings of the 5th European Software Engineering Conference (ESEC'95)", year = "1995", publisher = "Springer-Verlag", address = "Berlin, Germany" } @techreport{Conrad:92:TLCLSO, author = "Conrad, S. and Gogolla, M. and Herzig, R.", title = "{{\sc{TROLL}}-light: a Core Language for Specifying Objects}", institution = "Technische Universitat Braunschweig", year = 1992, type = "92-02" } @InCollection{Conrad:94:OCSTLO, author = "Conrad, S.", title = "On Certification of Specifications for {\sc{TROLL}}-light Objects", booktitle = "RECENT trends in data type specification: workshop on specification of abstract data types: COMPASS: selected papers", pages = "158-172", publisher = "Springer Verlag", series = "LNCS", number = 785, year = 1994, address = "Berlin, Germany" } @TechReport{Dalmonte:Modelling, author = "Dalmonte, Angela and Gaspari, Mauro", title = "{Modelling Interaction in Agent System}", institution = "Laboratory for Computer Science, University of Bologna, Italy", year = "1995", number = "UBLCS-95-7", month = "February", url = "ftp://ftp.cs.unibo.it/pub/UBLCS/95-07.ps.gz" } @InCollection{DeNicola:97:CMABAR, author = "De Nicola, R. and Ferrari, G. and Pugliese, R. ", title = "{Coordinating Mobile Agents via Blackboards and Access Rights}", booktitle = "{Proceedings of the 2nd International Conference on Coordination Languages and Models (COORDINATION'97)}", series = "LNCS", volume = 1282, editor = "Garlan, D. and Le M\'etayer, D.", pages = "220-237", month = "September", year = 1997, publisher = "Springer-Verlag", address = "Berlin, Germany", } @InCollection{DeNicola:97:LBLPEL, author = "De Nicola, R. and Ferrari, G. and Pugliese, R. ", title = "Locality Based {Linda}: Programming with Explicit Localities", booktitle = "{Proceedings of Theory and Practice of Software Development (TAPSOFT'97)}", series = "LNCS", volume = "1214", pages = "712-726", year = "1997", publisher = "Springer-Verlag", address = "Berlin, Germany" } @InCollection{Denker:96:RCVPT, author = "Denker, G.", title = "Reification - Changing Viewpoint but Preserving Truth", editor = "Haveraan, M. and Owe, O. and Dahl, O.-J.", volume = "1130", series = "LNCS", pages = "182-199", booktitle = "Recent Trends in Data Types Specification, Proc. 11th Workshop on Specification of Abstract Data Types joint with the 8th General COMPASS Meeting. Selected Papers.", year = "1996", publisher = "Springer-Verlag", address = "Berlin, Germany" } @InCollection{Denker:96:SRCOSBS, author = "Denker, G.", title = "Semantic Refinement of Concurrent Object Systems Based on Serializability", booktitle = "Object-Orientation with Parallelism and Persistence", publisher = "Kluwer Academic Publisher", year = "1996", editor = "Freitag, B. and Jones, C. B. and Lengauer, C. and Schek, H.-J.", pages = "105-126" } @TechReport{Denker:97:TOOFMDISDSP, author = "Denker, G. and Hartel, P.", title = "{\sc{Troll}} - An Object Oriented Formal Method for Distributed Information System Design: Syntax and Pragmatics", institution = "Technische Universität Braunschweig", year = "1997", number = "97-03", address = "Braunschweig, Germany" } @InCollection{Devillers:97:GRHLPN, author = "Devillers, R. and Klaudel, H. and Riemann, R.-C.", title = "General Refinement for High Level {Petri} Nets", series = "LNCS", editor = "Ramesh, S. and Sivakumar, G. ", booktitle = "Foundations of software technology and theoretical computer science: proceedings", volume = "1346", pages = "297-311", year = "1997", publisher = "Springer-Verlag", address = "Berlin, Germany", } @InProceedings{DiMarzo:95:ICC95R, author = "Di Marzo, G. and Muhugusa, M. and Tschudin, C. F. and Harms, J.", title = "{The Messenger Paradigm and its Impact on Distributed Systems}", booktitle = "ICC'95 International Workshop on Intelligent Computer Communication", year = "1995", editor = "Claus Unger and Ioan Alfred Letia", month = "June", url = "ftp://cui.unige.ch/pub/tios/papers/mpid.ps.Z", pages = "79-94" } @TechReport{DiMarzo:96:CahierCui100, author = "Di Marzo, G. and Muhugusa, M. and Tschudin, C. F.", title = "{Mathematical Formalization of the Messenger Paradigm}", institution = "University of Geneva", address = "Switzerland", year = "1996", url = "ftp://cui.unige.ch/pub/dimarzo/CUI-95.ps", number = "Cahier du {\sc CUI} No 100", } @TechReport{DiMarzo:96:CahierCui106, author = "Di Marzo Serugendo, G. and Muhugusa, M. and Tschudin, C. F. and Harms, J.", title = "{Survey of Theories for Mobile Agents}", institution = "University of Geneva", year = "1996", number = "Cahier du {\sc CUI} No 106", address = "Switzerland", url = "ftp://cui.unige.ch/pub/dimarzo/CUI-96-106.ps", } @TechReport{DiMarzo:96:CahierCui109, author = "Di Marzo, G. and Muhugusa, M. and Tschudin, C. F. and Harms, J.", title = "{Formalization of Agents and Multi-Agent Systems. The Special Case of Category Theory - Working Paper}", institution = "University of Geneva", address = "Switzerland", year = "1996", number = "Cahier du {\sc CUI} No 109", url = "ftp://cui.unige.ch/pub/dimarzo/CUI-96-109.ps" } @TechReport{Dijkstra:65:CSP, author = "Dijkstra, E. W.", title = "{Cooperating Sequential Processes}", institution = "Technological University, Eindhoven", year = "1965" } @Article{Dijkstra:71:HOSP, author = "Dijkstra, E. W. ", title = "{Hierarchical Ordering of Sequential Processes}", journal = "Acta Informatica", year = "1971", volume = "1", number = "2", pages = "115-138" } @InProceedings{Dimarzo:00:AFDVMAABS, author = "Di Marzo Serugendo, G.", title = "A Formal Development and Validation Methodology applied to Agent-Based Systems", editor = "Walker, T. and Rana, O.", booktitle = "Workshop on Infrastructure for Scalable Multi-agent Systems", year = "2000", organization = "Fourth International Conference on Autonomous Agents (Agents 2000)", month = "June", url = "http://gdimarzo.home.cern.ch/gdimarzo/papers/agents00.pdf", abstract = "This paper presents first a formal development methodology that enables a specifier to add complexity progressively into the system design, and to formally validate each step wrt client's requirements. Second, the paper describes the application of this methodology to agent-based systems, as well as development guidelines that help the specifier during the development of such systems. System's functionality, agent decomposition, agent interactions, actual communications means, are progressively considered. The methodology and the development guidelines are presented through an agent market place example.", note = "see also \cite{Dimarzo:01:AFDVMAABS}, and \cite{Wagner:01:IAMASSMAS}" } @TechReport{Dimarzo:00:ARTCSPN, author = "Di Marzo Serugendo, G. and Mandrioli, D. and Buchs, D. and Guelfi, N.", title = "Adding Real-Time Constraints to Synchronised {P}etri Nets", institution = "Swiss Federal Institute of Technology (EPFL), Software Engineering Laboratory", address = "Lausanne, Switzerland", year = "2000", number = "2000/341", url = "http://gdimarzo.home.cern.ch/gdimarzo/papers/TR-2000-341.pdf", abstract = "This report defines synchronised Petri nets with inhibitor arcs and an extension of these nets that integrates real-time constraints. The semantics of these nets is given by a transition system built using Structured Operational Semantics (SOS) rules. This report is part of a larger framework that attempts to attach real-time constraints to the {CO-OPN/2} language." } @InProceedings{Dimarzo:00:SSADS, author = "Di Marzo Serugendo, G. and Jovanovic, P. and Vande Vyvre, P. and Villalobos Baillie, O.", title = "Specification and Simulation of {ALICE DAQ} System", booktitle = "6th Workshop on Electronics for LHC Experiments", year = "2000", organization = "Faculty of Physics and Nuclear Techniques, University of Mining and Metallurgy, Krakow, Poland", month = "September", pages = "419-423", url = "http://lebwshop.home.cern.ch/lebwshop/LEB00_Book/daq/dimarzo.pdf" } @InProceedings{Dimarzo:01:AFDVMAABS, author = "Di Marzo Serugendo, G.", title = "{A Formal Development and Validation Methodology Applied to Agent-Based Systems}", booktitle = "{Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems }", crossref = "Wagner:01:IAMASSMAS", pages = "214-226", year = "2001", editor = "Wagner, T. and Rana, O.", volume = "1887", series = "LNAI", address = "Berlin, Germany", publisher = "Springer-Verlag", url = "http://gdimarzo.home.cern.ch/gdimarzo/papers/lnai1887.pdf" } @InBook{Dimarzo:96:AgentMobility, author = "Di Marzo, Giovanna and Muhugusa, Murhimanya and Tschudin, Christian F.", title = "Agent Mobility", chapter = "20", publisher = "Sams.net", address = "Indianapolis, IN", year = "1996", pages = "375-406", booktitle = "Bots and other Internet Beasties" } @InProceedings{Dimarzo:97:CMBDA, author = "Di Marzo Serugendo, G. and Muhugusa, M. and Tschudin, C. and Billard, D. and Harms, J.", title = "Communication Messengers as a Basis for Distributed Algorithms", pages = "111-116", booktitle = "Proceedings of the 2nd European Research Seminar on Advances in Distributed Systems (ERSADS 97)", year = "1997", url = "ftp://cui.unige.ch/pub/dimarzo/ersads97.ps.gz" } @TechReport{Dimarzo:97:FDJP, Author = "Di Marzo Serugendo, Giovanna and Guelfi, Nicolas", Title = "{Formal Development of Java Programs}", institution = "Swiss Federal Institute of Technology (EPFL), Software Engineering Laboratory", address = "Lausanne, Switzerland", Year = 1997, Number = "97/248", url = "http://gdimarzo.home.cern.ch/gdimarzo/papers/TR-97-248.pdf" } @Article{Dimarzo:98:ASTMA, author = "Di Marzo Serugendo, G. and Muhugusa, M. and Tschudin, C.", title = "A Survey of Theories for Mobile Agents", journal = "World Wide Web Journal, special issue on Distributed World Wide Web Processing: Applications and Techniques of Web Agents", year = "1998", url = "http://gdimarzo.home.cern.ch/gdimarzo/papers/webjournal.pdf", publisher = "Baltzer Science Publishing", abstract = "This paper presents a comparative survey of formalisms related to mobile agents. It describes the $\pi$-calculus and its extensions, the Ambient calculus, Petri nets, Actors, and the family of generative communication languages. Each of these formalisms defines a mathematical framework that can be used to reason about mobile code; they vary greatly in their expressiveness, in the mechanisms they provide to specify mobile code based applications and in their practical usefulness for the validation and the verification of such applications. In this paper we show how these formalisms can be used to represent the mobility and communication aspects of two mobile code environments: Obliq and Messengers. We compare and classify the different formalisms with respect to mobility and discuss some shortcomings and desirable extensions. We also point to other emerging concepts in formalisms for mobile code systems.", } @TechReport{Dimarzo:98:CSDSDUCAA, author = "Di Marzo Serugendo, G. and Guelfi, N. and Romanovsky, A. and Zorzo, A. F.", title = "CO-OPN/2 Specifications of the {DSGamma} System Designed Using Coordinated Atomic Actions", institution = "University of Newcastle upon Tyne", year = "1998", number = "641", month = "June" } @InProceedings{Dimarzo:98:FDJBWPA, author = "Di Marzo Serugendo, G. and Guelfi, N.", title = "{Formal Development of Java Based Web Parallel Applications}", booktitle = "Proceedings of the Hawaii International Conference on System Sciences (HICSS'31) ", year = "1998", publisher = "IEEE Computer Society Press", address = "Los Alamitos, CA", abstract = "The Java object-oriented programming language has been the subject of an important involvement from programmers and the industry. Especially for applications related to the Web. The problem of such a rapid penetration of Java programs into commercial products is that software engineers do not have any methodology and have to develop complex parallel applications. Here, we present a formal development methodology based on the stepwise refinement of CO-OPN/2 formal specifications, using a real Web parallel application. Starting from a centralized view, we present the following refinement steps: data distribution, behavior distribution, communication layer, and Java program. During the whole refinement process, we study the evolution and the verification of one specific property.", url = "ftp://lglftp.epfl.ch/pub/Papers/dimarzo-hicss98.ps.gz" } @TechReport{Dimarzo:98:FDVDSBCCAA, author = "Di Marzo Serugendo, G. and Guelfi, N. and Romanovsky, A. and Zorzo, A. F.", title = "Formal Development and Validation of the {DSGamma} System Based on {CO-OPN/2} and {Coordinated Atomic Actions}", institution = "Swiss Federal Institute of Technology (EPFL), Software Engineering Laboratory", address = "Lausanne, Switzerland", year = "1998", number = "98/265", url = "ftp://lglftp.epfl.ch/pub/Papers/dimarzo-TR98-265.ps.gz", abstract = "The objectives of this research are twofold. On the first hand, it aims to show the interest of Coordinated Atomic actions (CA actions) as a design concept and, on the other hand it explains how the formal language CO-OPN/2 can be used to express a CA action design. A real distributed application is developed according to a simple development life cycle: informal requirements, specification, design, implementation. The design phase is built according to the CA action concept. The CO-OPN/2 language is used to express the specification, and design phase. The implementation is made in Java based on a library of generic classes adapted to CA action concepts. The validation phase is briefly addressed, in order to demonstrate the extent to which the development methodology followed in this paper can be useful for proving properties." } @InCollection{Dimarzo:98:UOOANREJP, author = "Di Marzo Serugendo, G. and Guelfi, N.", title = "{Using Object-Oriented Algebraic Nets for the Reverse Engineering of Java Programs: A Case Study}", pages = "166-176", booktitle = "Proceedings of the International Conference on Application of Concurrency to System Design (CSD'98)", year = "1998", publisher = "IEEE Computer Society Press", address = "Los Alamitos, CA", abstract = "The problem addressed in this paper is the following: How to use high-level Petri nets for the reverse engineering of implemented distributed applications ?. We present a reverse engineering methodology applied on a real (simple) Java applet based client/server application. First, starting from the Java program, several abstraction steps are described using the CO-OPN/2 formal specification language. Then, we present a brand new research that studies properties preservations during a refinement process.", url = "ftp://lglftp.epfl.ch/pub/Papers/dimarzo-csd98.ps.gz" } @InProceedings{Dimarzo:99:AFDVMSD, author = "Di Marzo Serugendo, G.", title = "A Formal Developement and Validation Methodology for System Design", booktitle = "Fifth International Conference on Information Systems Analysis and Synthesis (ISAS'99)", year = "1999", url = "ftp://lglftp.epfl.ch/pub/Papers/dimarzo-isas99.ps.gz", abstract = "This paper presents first a formal development methodology that enables the validation of formal specifications as well as program codes wrt client's requirements. The methodology is based on the two languages framework: it advocates the joint use of a model-oriented specification and a logical language. Second, the paper describes development guidelines for system design within the proposed methodology. Guidelines, specific to each kind of system, can be defined. They enable the specifier to add progressively the complexity into the system desing. Two development processes are proposed: the first one leads to a traditional client/server desing; the second one enables to integrate fault-tolerance in the design. Both development processes have been applied on an example and produced a Java program." } @InProceedings{Dimarzo:99:FDVJDDS, author = "Di Marzo Serugendo, G. and Guelfi, N. and Romanovsky, A. and Zorzo, A.F.", title = "{Formal Development and Validation of Java Dependable Distributed Systems}", booktitle = "Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99)", year = "1999", publisher = "IEEE Computer Society Press", url = "http://gdimarzo.home.cern.ch/gdimarzo/papers/iceccs99.pdf", abstract = "The rapid expansion of Java programs into software market is often not supported by a proper development methodology. Here, we present a formal development methodology well-suited for Java dependable distributed applications. It is based on the stepwise refinement of model-oriented formal specifications, and enables validation of the obtained systme wrt the client's requirements. Three refinement steps have been identified in the case of fault-tolerant distributed applications: first, starting from informal requirements, an initial formal specification is derived. It does not depend on implementation constraints and provides a centralized solution; second, dependability and distribution constraints are integrated; third, the Java implementation is realised. The CO-OPN/2 language is used to express specifications formally; and the dependability and distribution design is based on the Coordinated Atomic action concept. The methodology and the three refinement steps are presented through a very simple fault-tolerant distributed Java application." } @PhdThesis{Dimarzo:99:SRFSBLFFCSJP, author = "Di Marzo Serugendo, G.", title = "{Stepwise Refinement of Formal Specifications Based on Logical Formulae: from CO-OPN/2 Specifications to Java Programs}", school = "Swiss Federal Institute of Technology (EPFL)", address = "Lausanne, Switzerland", year = "1999", abstract-url = "http://cui.unige.ch/~dimarzo/phd-abstract.html", url = "http://cui.unige.ch/~dimarzo/phd.ps.gz", note = "Ph.D. Thesis no 1931" } @InCollection{Dimitrovici:90:CompAHL, author = "Dimitrovici, C. and Hummert, U.", title = "{Composition of Algebraic High-Level Nets}", volume = "534", series = "LNCS", pages = "52-73", booktitle = "Recent Trends in Data Type Specifications", year = "1990", publisher = "Springer-Verlag", address = "Berlin, Germany" } @Book{Dinverno:01:UAS, author = "d'Inverno, M. and Luck, M.", title = "{Understanding Agent Systems}", publisher = "Springer-Verlag", year = "2001", series = "Springer Series on Agent Technology", address = "Berlin, Germany" } @PhdThesis{Dinverno:98:AAAFCM, author = "d'Inverno, M.", title = "{Agents, Agency and Autonomy: A Formal Computational Model}", school = "{University College London}", year = "1998", url = "http://users.wmin.ac.uk/~dinverm/thesis.ps" } @InCollection{Duke:91:TOSL, author = "Duke, R. and King, P. and Rose, G. A. and Smith, G.", title = "The {Object-Z} Specification Language", editor = "Korson, T. and Vaishnavi, V. and Meyer, B.", booktitle = "Technology of Object-Oriented Languages and Systems: {TOOLS 5}", pages = "465-483", publisher = "Prentice Hall", year = 1991 } @Article{Edmonds:94:SCDAE, author = "E. A. Edmonds and L. Candy and R. Jones and B. Soufi", title = "{Support for Collaborative Design: Agents and Emergence}", journal = "CACM", year = "1994", volume = "37", number = "7", pages = "41-47", month = "July" } @Book{Ehrig:85:FASEIS, author = "Ehrig, H. and Mahr, B.", title = "Fundamentals of Algebraic Specification 1 : Equations and Initial Semantics", series = "EATC Monographs", publisher = "Springer-Verlag", year = 1985, volume = 6 } @InCollection{Ehrig:92:APNR, author = "Ehrig, H. and Padberg, J. and Ribeiro, L. ", title = "{Algebraic Petri Nets Revisited}", publisher = "Springer-Verlag", series = "LNCS", volume = "785", pages = "188-206", booktitle = "Recent Trends in Data Type Specification", year = "1992", address = "Berlin, Germany" } @article{Etzioni:94:SoftBot, author = "O. Etzioni and D. Weld", title = "{A Softbot-based Interface to the Internet}", journal = "CACM", year = "1994", volume = "37", number = "7", pages = "72-76", month = "July" } @Article{Felder:94:PPRTSTLSPNM, author = "Felder, M. and Mandrioli, D. and Morzenti, A.", title = "Proving Properties of Real-Time Systems Through Logical Specifications and {Petri} Net Models", journal = "IEEE Transactions on Software Engineering", volume = "20", number = "2", month = feb, year = "1994", pages = "127-141" } @InProceedings{Felder:94:TLAIRTPN, author = "Felder, M. and Morzenti, A.", title = "A Temporal Logic Approach to Implementation and Refinement in Timed {Petri Nets}", pages = "365-381", editor = "Gabbay, D. M. and Ohlbach, H. J.", booktitle = "Proceedings of the 1st International Conference on Temporal Logic", month = jul, series = "LNAI", volume = "827", publisher = "Springer-Verlag", address = "Berlin, Germany", year = "1994" } @article{Felder:94:VRTSHC, author = "Felder, M. and Morzenti, A.", title = "Validating Real-Time Systems by History-Checking TRIO Specifications", journal = "{ACM} Transactions on Transactions on Software Engineering and Methodology", year = 1994, month = oct, volume = 3, number = 4, pages = "308-339" } @Article{Felder:98:ATIRTPN, author = "Felder, M. and Gargantini, A. and Morzenti, A.", title = "A Theory of Implementation and Refinement in Timed {Petri} Nets", journal = "Theoretical Computer Science", year = "1998", volume = "202", number = "1-2", pages = "127-16" } @Book{Ferber:99:MASAIDAI, author = "Ferber, J.", title = "{Multi-Agents Systems - An Introduction to Distributed Artificial Intelligence}", publisher = "Addison-Wesley", year = "1999" } @InCollection{Fiadeiro:96:OEPCBS, author = "Fiadeiro, J. L.", title = "On the Emergence of Properties in Component-Based Systems", editor = "Wirsing, M. and Nivat, M.", volume = "1101", series = "LNCS", pages = "421-443", booktitle = "Algebraic Methodology and Software Technology. Proceedings - 1996", year = "1996", publisher = "Springer-Verlag", address = "Berlin, Germany" } @TechReport{Finin:Proxy, author = "Finin, T. and Potluri, A. and Thirunavukkarasu, C. and McKay, D. and McEntire, R.", title = "{On Agent Domains, Agent Names and Proxy Agents}", institution = "Computer Science and Electrical Engineering, University of Maryland Baltimore County", year = "1996" } @InCollection{Fournet:96:CMA, author = "Fournet, C. and Gonthier, G. and Levy, J.J. and Maranget, L. and Remy, D.", title = "{A Calculus of Mobile Agents}", booktitle = "Proceedings of 7th International Conference on Concurrency Theory (CONCUR'96)", year = "1996", month = aug, pages = "406-421", series = "LNCS", editor = "Montanari, U. and Sassone, V.", volume = "1119", publisher = "Springer-Verlag", address = "Berlin, Germany" } @InProceedings{Fournet:96:RCJC, title = "{The Reflexive {CHAM} and the Join-Calculus}", author = "Fournet, C. and Gonthier, G.", pages = "372-385", booktitle = "Conference Record of {POPL}'96: The $23^{\mathrm{rd}}$ {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages", month = jan, year = "1996", publisher = "ACM Press" } @InProceedings{Franklin:96:IAJPATAA, author = "Franklin, S. and Graesser, A.", title = "{Is it an Agent, or just a Program?: A Taxonomy for Autonomous Agents}", booktitle = "Intelligent Agents III. Agent Theories, Architectures and Languages (ATAL'96)", year = "1996", publisher = "Springer-Verlag", address = "Berlin, Germany", series = "LNCS", volume = "1193" } @Article{Fuggetta:98:UCP, author = "Fuggetta, A. and Picco, G. P. and Vigna, G.", title = "{Understanding Code Mobility}", journal = "IEEE Transactions on Software Engineering", year = "1998", volume = "24", number = "5", pages = "342-361", url = "http://www.elet.polimi.it/Users/DEI/Sections/Compeng/GianPietro.Picco/papers/tse98.ps.gz" } @Book{Gamma:96:DPEROOS, author = "Gamma, E. and Helm, R. and Johnson, R. and Vlissides, J.", title = "{Design Patterns: Elements of Reusable Object-Oriented Software}", publisher = "Addison Wesley", address = "Reading, MA", year = "1996" } @TechReport{Gaspari:96:TAA, author = "Gaspari, Mauro", title = "{Towards an Algebra of Actors}", institution = "Laboratory for Computer Science, University of Bologna, Italy", year = "1996", number = "UBLCS-96-9", month = "April", url = "ftp://ftp.cs.unibo.it/pub/UBLCS/96-09.ps.gz" } @article{Gelernter:85:GCL, author = "Gelernter, D.", title = "{Generative Communication in Linda}", journal = "{ACM} Transactions on Programming Languages and Systems", year = 1985, volume = 7, number = 1, pages = "80-112" } @Article{Genereseth:94:SoftAgents, author = "Genesereth, M. R. and Ketchpel, S. P. ", title = "{Software Agents}", journal = "CACM", year = "1994", volume = "37", number = "7", pages = "48-53", month = "July" } @Article{Ghezzi:90:TLLESRTS, author = "Ghezzi, C. and Mandrioli, D. and Morzenti, A. ", title = "{TRIO}, a logic language for executable specifications of real time systems", journal = "Journal of Systems and Software", year = "1990", volume = "12", number = "2", pages = "107-123", } @InCollection{Ghezzi:91:AALSRS, author = "Ghezzi, C. and Kemmerer, R.", title = "{ASTRAL}: An Assertion Language for Specifying Realtime Systems", editor = "Lamsweerde, A. van and Fugetta, A. ", number = "550", series = "LNCS", pages = "122-146", booktitle = "Proceedings of the European Software Engineering Conference (ESEC'91)", year = "1991", publisher = "Springer-Verlag", address = "Berlin, Germany" } @InProceedings{Ghezzi:91:EFSATTA, author = "Ghezzi, C. and Kemmerer, R.", title = "Executing Formal Specifications: the {ASTRAL} to {TRIO} Translation Approach", pages = "112-119", booktitle = "Proceedings of TAV4: the Symposium on Testing, Analysis, and Verification", year = "1991", publisher = "ACM Software Engineering Notes" } @article{Ghezzi:91:UHLPNMTCS, author = "Ghezzi, C. and Mandrioli, D. and Morasca, S. and Pezze, M. ", title = "A Unified High-Level {Petri} Net Model for Time-Critical Systems", journal = "IEEE TOSE", volume = 17, number = 2, month = feb, year = 1991, pages = "160-172" } @inCollection{Glabbeek:87:PNMAC, author = "Van Glabbek, R. J. and Vandragger, F.", title = "{P}etri Net Models for Algebraic Concurrency", booktitle = "{PARLE}: Parallel Architectures and Languages Europe: proceedings, vol. {II}, Eindhoven, The Netherland", year = 1987, month = jun, series = "LNCS", volume = 259, pages = "224-242", editor = "J. W. Bakker and A. J. Nijman and P. C. Treleaven", publisher = "Springer-Verlag", address = "Berlin, Germany" } @InProceedings{Glabbeek:90:TRTSTBS, author = "Van Glabbek, R. J.", title = "The Refinement Theorem for {ST}-Bisimulation Semantics", editor = "M. Broy and C. B. Jones", pages = "402-429", year = 1990, booktitle = "Proceedings IFIP TC2 Working Conference on Programming Concepts and Methods, Sea of Gallilea, Israel", publisher = "North-Holland" } @Article{Goguen:86:EFOO, author = "Goguen, J. A. and Meseguer, J.", title = "Extensions and Foundations of Object-Oriented Programming", journal = "ACM SIGPLAN Notices", volume = 21, number = 10, pages = "153-162", month = oct, year = 1986 } @InProceedings{Goguen:86:ONHTSL, author = "Goguen, J. A.", title = "One, None, a Hundred Thousand Specification Languages", booktitle = "Proceedings IFIP '86", publisher = "North-Holland", year = 1986 } @Article{Goguen:86:RISC, author = "Goguen, J. A.", title = "Reusing and Interconnecting Software Components", journal = "IEEE Computer", pages = "16-28", month = feb, year = 1986 } @TechReport{Goguen:87:CTRMC, author = "Goguen, J. A. and Kirchner, C. and Meseguer, J.", title = "Concurrent Term Rewriting as a Model of Computation", institution = "Computer Science Lab, SRI International", number = "SRI-CSL-87-2", month = may, year = "1987" } @InCollection{Goguen:87:UFOORPLS, author = "Goguen, J. A. and Meseguer, J.", title = "Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics", booktitle = "Research Directions in Object-Oriented Programming", pages = "417-477", editor = "Bruce Schriver and Peter Wegner", series = "Computer Systems Series", year = 1987, publisher = "MIT Press" } @TechReport{Goguen:88:HOFCUHOP, author = "Goguen, J. A.", title = "Higher Order Functions Considered Unnecessary for Higher Order Programming", institution = "Computer Science Lab, SRI International", number = "SRI-CSL-88-1", month = jan, year = 1988 } @TechReport{Goguen:88:IO, author = "Goguen, J. A. and Winkler, T.", title = "Introducing {OBJ3}", institution = "Computer Science Lab, SRI International", year = "1988", number = "SRI-CSL-88-9", address = "Menlo Park, CA" } @TechReport{Goguen:89:OSA, author = "Goguen, J. A. and Meseguer, J.", title = "Order-Sorted Algebra {I}: Equational Deduction for Multiple Inheritance, Overloading, Exceptions, and Partial Operations", institution = "Computer Science Lab, SRI International", number = "SRI-CSL-89-10", month = jul, year = 1989 } @InProceedings{Goguen:90:OTFOOPS, author = "Goguen, J. A. and Wolfram, D.", title = "On Types and {FOOPS}", booktitle = "Proc. IFIP TC2 Working Conference on Database Semantics: Object-Oriented Databases", address = "Windermere, UK", month = jul, year = 1990 } @Article{Goguen:90:SSCIO, author = "Goguen, J. A.", title = "Sheaf Semantics for Concurrent Interacting Objects", journal = "Mathematical Structures in Computer Science", year = 1990 } @InProceedings{Goguen:90:TT, author = "Goguen, J. A.", title = "Types as Theories", booktitle = "Proc. of Symposium on General Topology and Applications", publisher = "Oxford University Press", year = 1990 } @Article{Goguen:92:OSA, author = "Goguen, J. A. and Meseguer, J.", title = "Order-Sorted Algebra {I}: Equational Deduction for Multiple Inheritance, Overloading, Exceptions, and Partial Operations", journal = "TCS: Theoretical Computer Science", volume = 105, number = 2, pages = {217-273}, year = 1992, note = "Also in technical report SRI-CSL-89-10 (1989), SRI International, Computer Science Lab" } @Article{Goguen:94:AOSOSA, author = "Goguen, J. A. and Diaconescu, R.", title = "An {Oxford} survey of order sorted algebra", journal = "Mathematical Structures in Computer Science", year = 1994, volume = 4, pages = "363-392" } @InCollection{Goguen:94:TASOP, author = "Goguen, J. A. and Diaconescu, R.", number = 785, publisher = "Springer Verlag", series = "LNCS", title = "Towards an Algebraic Semantics for the Object Paradigm", booktitle = "RECENT trends in data type specification: workshop on specification of abstract data types: COMPASS: selected papers", year = 1994, address = "Berlin, Germany" } @TechReport{Goodwin:93:FPA, author = "Goodwin, R.", title = "{Formalizing Properties of Agents}", institution = "School of Computer Science, Carnegie Mellon University", year = "1993", number = "CMU-CS-93-159" } @phdthesis{Graeme:92:OOAFS, author = "Graeme, Paul Smith", school = "Department of Computer Science", institution = "University of Queensland", month = oct, title = "An Object-Oriented Approach to Formal Specification", year = 1992 } @Misc{Grant:93:SISSS, author = "Malcolm, G.", title = "Sheaves and Independent Sums for System Specification", year = 1993, howpublished = "BCS-FACS Meeting" } @Book{Grey:93:TPCT, author = "Gray, J. and Reuter, A.", title = "Transaction processing: concepts and techniques", publisher = "Morgan Kaufmann Publishers", year = "1993", address = "San Mateo, CA, USA", edition = "2nd" } @InCollection{Gruia:00:SEMAR, author = "Gruia-Catalin, R. and Picco, G. P. and Murphy, A.", title = "{Software Engineering for Mobility: A Roadmap}", booktitle = "{The Future of Software Engineering}", pages = "241-258", publisher = "{ACM Press}", year = "2000", url = "http://www.elet.polimi.it/Users/DEI/Sections/Compeng/GianPietro.Picco/papers/icse00fose.pdf", OPTeditor = "Finkelstein, A." } @PhdThesis{Guelfi:94:LRAHFSSDSC, Author = "Guelfi, N.", Title = "Les R\'eseaux Alg\'ebriques Hi\'erarchiques : un formalisme de sp\'ecifications structur\'ees pour le d\'eveloppement de syst\`emes concurrents", School = "Universit\'e Paris XI Orsay", Month = dec, Year = 1994, Note = "Also in Hierarchical Algebraic Nets, Technical report 095/99, Software Engineering Laboratory, Swiss Federal Institute of Technology (EPFL), Lausanne, Switzerland, January 1995 \cite{Guelfi:95:HAN}" } @TechReport{Guelfi:95:HAN, Author = "Guelfi, N.", Title = "Hierarchical Algebraic Nets", institution = "Swiss Federal Institute of Technology (EPFL), Software Engineering Laboratory", address = "Lausanne, Switzerland", Year = 1995, Month = jan, Number = "95/99", note = "See also \cite{Guelfi:94:LRAHFSSDSC}" } @TechReport{Harrison:95:MAATGI, author = "Harrison, Colin G. and Chess, David M. and Kershenbaum, Aaron", title = "{Mobile Agents: Are they a good idea?}", institution = "IBM", year = "1995", address = "T. J. Watson Research Center, Yorktown Heights, New York", month = mar } @Book{Heitmeyer:96:FMRTC, editor = {Heitmeyer, C. and Mandrioli, D.}, title = {Formal methods for real-time computing}, publisher = {John Wiley \& Sons}, year = {1996} } @Article{Hennessy:85:ALNC, author = "Hennessy, A. and Milner, R.", title = "Algebraic Laws for Nondeterminism and Concurrency", journal = "Journal of the ACM", year = "1985", volume = "32", number = "1", pages = "137-161" } @TechReport{Henniker:92:BSIMSS, author = "Henniker, R.", title = "Behavioural Specification and Implementation of Modular Software Systems", institution = "University Passau", year = "1992", number = "MIP-9203" } @Article{Hoare:78:CSP, Author = "Hoare, C. A. R.", Title = "Communicating Sequential Processes", Journal = "Communications of the ACM", Volume = 21, Number = 8, Pages = "666-677", Month = aug, Year = 1978 } @book{Hofstadter:Codelets, author= "Hofstadter, D. and the Fluid Analogies Research Group", title= "{Fluid Concepts \& Creative Analogies: Computer Models of the Fundamental Mechanisms of Thought}", publisher= "Basic Books", year= 1995 } @InCollection{Holzbacher:96:SECCP, Author = "Holzbacher, A. A. ", Title = "A Software Environment for Concurrent Coordinated Programming", Editor = "Ciancarini, P. and Hankin, C.", Booktitle = "Coordination Languages and Models", Series = "LNCS", Volume = 1061, Pages = "249-266", Publisher = "Springer-Verlag", Year = 1996, address = "Berlin, Germany" } @InCollection{Huber:90:HCPN, author = "Huber, P. and Jensen, K. and Shapiro, R.M.", title = "{Hierarchies in Coloured Petri Nets}", booktitle = "Advances in {P}etri Nets 1990", editor = "G. Rozenberg", series = "LNCS", volume = 483, publisher = "Springer-Verlag", pages = "313-34", year = 1990, address = "Berlin, Germany" } @PhdThesis{Hulaas:97:AIPMDSBFS, author = "Hulaas, Jarle", title = "An Incremental Prototyping Methodology for Distributed Systems Based on Formal Specifications", school = "Swiss Federal Institute of Technology (EPFL)", year = "1997", note = "Ph.D. thesis no 1664", address = "Lausanne, Switzerland", month = "may", } @Article{Inverno:96:FMAS, author = "d'Inverno, M. and Fisher, M. and Lomuscio, A. and Luck, M. and de Rijke, M. and Ryan, M. and Wooldridge, M.", title = "Formalisms for Multi-Agent Systems", journal = "The Knowldedge Engineering Review", year = "1997", volume = "12", number = "3", url = "http://www.dcs.warwick.ac.uk/~fomas/fomas96/abstracts/ker2.ps" } @InProceedings{Jackson:95:DSRE, author = "Jackson, Michael and Zave, Pamela", title = "Deriving Specifications from Requirements: an Example", booktitle = "Proceedings of the Seventeenth International Conference on Software Engineering", pages = "15-24", year = 1995, publisher = "ACM", } @InProceedings{Jacob:91:TVR, author = "Jacob, J.", title = "The Varieties of Refinements", editor = "Morris, J.M. and Shaw, R.C.", pages = "441-455", booktitle = "4th Refinement Workshop", publisher = "Springer-Verlag", address = "Berlin, Germany", series = "Workshops in Computing", year = "1991", } @Article{Jennings:00:OABSE, author = "Jennings, N.R.", title = "On agent-based software engineering", journal = "Artificial Intelligence", year = "2000", volume = "117", number = "2000", pages = "277-296" } @Article{Jennings:98:ARARD, author = "Jennings, N. and Sycara, K. and Wooldridge, M.", title = "{A Roadmap of Agent Research and Development}", journal = "Autonomous Agents and Multi-Agent Systems", year = "1998", volume = "1", number = "1", pages = "7-38", url = "http://www.ecs.soton.ac.uk/~nrj/download-files/roadmap.pdf" } @InCollection{Jensen:86:CPN, author = "Jensen, K.", title = "{Coloured Petri Nets}", booktitle = "{P}etri Nets: Central Models and Their Properties, Advances in {P}etri Nets 1986 {P}art {I}", editor = "Brauer, W. and Reisig, W. and Rozenberg, G.", series = "LNCS", volume = 254, publisher = "Springer-Verlag", address = "Berlin, Germany", pages = "248-299", year = 1986 } @InCollection{Jensen:90:CPNHLLSDA, author = "K. Jensen", title = "{Coloured Petri Nets: A High Level Language for System Design and Analysis}", booktitle = "Advances in {P}etri Nets 1990", editor = "Rozenberg, G.", series = "LNCS", volume = 483, publisher = "Springer-Verlag", address = "Berlin, Germany", pages = "342-416", year = 1990 } @Book{Jensen:91:HPNTA, editor = "Jensen, K. and Rozenberg, G.", title = "{High-level Petri Nets, Theory and Application}", publisher = "Springer-Verlag", year = "1991", } @Book{Jensen:92:CPNBCA, author = "Jensen, K.", title = "{Coloured Petri Nets: Basic Concepts, Analysis Methods, and Practical Use}", publisher = "Springer-Verlag", year = "1992", volume = "1", series = "{EATCS Monographs in Computer Science}" } @Book{Jensen:96:CPN, author = "Jensen, K.", title = "{Coloured Petri Nets}", publisher = "Springer-Verlag", address = "Berlin, Germany", year = "1996" } @TechReport{Johansen:95:TACOMA, author = "Johansen, D. and van Renesse, R. and Schneider, F. B.", title = "{An Introduction to the TACOMA Distributed System}", institution = "University of Tromso", year = "1995", number = "95-23", month = jun } @techreport{Jungclaus:91:OOSISTL, author = "Jungclaus, R. and Saake, G. and Hartmann, T. and Sernadas, C. ", title = "Object-oriented Specification of Information Systems: the {\sc{TROLL}} language", institution = "Informatik Bericht, Technische Universitat Braunschweig", year = 1991, type = "91-4" } @PhdThesis{Karsenty:Thesis, author = "Karsenty, Alain", title = "{GroupDesign: un collecticiel synchrone pour l'\'edition partag\'ee de documents}", school = "University of Paris-Sud, Centre d'Orsay", year = "1994" } @InProceedings{Khoshafian:86:OI, author = "Khoshafian, S. N. and Copeland, G. P.", title = "Object Identity", booktitle = "Proceedings of the Conference on Object-Oriented Programming Systems, Languages and Applications", organization = "ACM", editor = "Meyrowitz, N.", volume = 21, month = nov, year = 1986, pages = "406-416", abstract = "Identity is that property of an object which distinguishes each object from all others. Identity has been investigated almost independently in general-purpose programming languages and database languages. Its importance is growing as these two environments evolve and merge. We describe a continuum between weak and strong support of identity, and argue for the incorporation of the strong notion of identity at the conceptual level in languages for general purpose programming, database systems and their hybrids. We define a data model that can directly describe complex objects, and show that identity and argue that a surrogate-based implementation scheme is needed to support the strong notion of identity." } @InCollection{Kiehn:89:PNSCP, author = "Kiehn, Astrid", title = "{Petri} Net systems and their closure properties", pages = "306-328", editor = "Rozenberg, G.", volume = "424", series = "LNCS", booktitle = "Advances in {Petri} Nets 1989", month = jun, publisher = "Springer-Verlag", address = "Berlin, Germany", year = "1989", } @InCollection{Kielmann:96:DCMOS, Author = "Kielmann, T.", Title = "Designing a Coordination Model for Open Systems", Editor = "Ciancarini, P. and Hankin, C.", Booktitle = "Coordination Languages and Models", Series = "LNCS", Volume = 1061, Pages = "267-284", Publisher = "Springer-Verlag", Year = 1996 } @Inproceedings{Kramer:94:DSE, Author = "Kramer, J.", Title = "Distributed Software Engineering", Booktitle = "Proceedings of the 16th International Conference on Software Engineering", Pages = "253-263", Publisher = "IEEE Computer Society Press", Month = may, Year = 1994 } @InProceedings{Kristensen:94:CAAOOM, Author = "Kristensen, B. B.", Title = "Complex Associations: Abstractions in Object-Oriented Modeling", BookTitle = "Proceedings of OOPSLA'94", Pages = "272-283", Year = 1994 } @InProceedings{Lakos:94:AGSAAAECPN, author = "Lakos, C. A. and Christensen, S.", title = "{A General Systematic Approach to Arc Extensions for Coloured Petri Nets}", booktitle = "{Proceedings of the 15th International Conference on Application and Theory of Petri Nets}", year = "1994", pages = "338-357", editor = "Vallette, R.", volume = "815", series = "{LNCS}", address = {Saragoza, Spain}, publisher = "Springer-Verlag", url = "http://www.daimi.aau.dk/CPnets/publ/full-papers/LakChr1994.pdf" } @techreport{Lakos:94:LANLOOPN, author = "Lakos, C. A. ", title = "{LOOPN++}: A New Language for Object Oriented {P}etri Nets", institution = "University of Tasmania, Dept. Comp. Science, Networking Research Group", year = 1994, type = "R94-4", month = apr } @techreport{Lakos:94:OPNRCN, author = "Lakos, C. A. ", title = "Object {P}etri Nets, Definition and Relationship to Coloured Nets", institution = "University of Tasmania, Dept. Comp. Science, Networking Research Group", year = 1994, type = "R94-3", month = apr } @techreport{Lakos:95:AOSEEBOPN, author = "Lakos, C. A. and Keen, C. D. ", title = "{An Open Software Engineering Environment Based on Object Petri Nets}", institution = "University of Tasmania, Dept. Comp. Science, Networking Research Group", year = 1995, type = "R95-6", month = may } @InCollection{Lakos:95:FCPNOPN, author = "Lakos, C. A.", title = "From Coloured {P}etri Nets to Object {P}etri Nets", booktitle = "Proceedings of the Application and Theory of Petri Nets 1995", editors = "G. de Michelis and M. Diaz", series = "LNCS", volume = 935, publisher = "Springer-Verlag", pages = "278-297", year = 1995, month = jun, address = "Berlin, Germany" } @InProceedings{Lakos:95:OOOPN, author = "Lakos, C. A.", title = "{The Object Orientation of Object Petri Nets}", booktitle = "Proceedings of the first international workshop on Object-Oriented Programming and Models of Concurrency - 16th International Conference on Application and Theory of Petri Nets", year = 1995, pages = "1-14", month = jun } @techreport{Lakos:95:PIIOPN, author = "Lakos, C. A.", title = "{Pragmatic Inheritance Issues for Object Petri Nets}", institution = "University of Tasmania, Dept. Comp. Science, Networking Research Group", year = 1995, type = "R95-10", month = jul } @InCollection{Lakos:96:CUNPDOPN, author = "Lakos, C. A.", title = "The Consistent Use of Names and Polymorphism in the Definition of Object {Petri} Nets", booktitle = "Proceedings of the Application and Theory of Petri Nets 1996", editors = "Billington, J. and Reisig, W.", pages = "380-399", year = 1996, month = jun, series = "LNCS", volume = 1091, publisher = "Springer-Verlag", address = "Berlin, Germany" } @techreport{Lakos:96:LUM, author = "Lakos, C. A.", title = "LOOPN++ User Manual", institution = "University of Tasmania, Dept. Comp. Science, Networking Research Group", year = 1996, type = "R96-1", month = jan } @TechReport{Lamport:91:TLA, author = "Lamport, L.", title = "{The Temporal Logic of Actions}", institution = "Digital Equipment Corporation, Systems Research Centre", number = "79", pages = "88 pages", month = dec, year = "1991", abstract = "The temporal logic of actions (TLA) is a logic for specifying and reasoning about concurrent systems. Systems and their properties are represented in the same logic, so the assertion that a system meets its specification and the assertion that one system implements another are both expressed by logical implication. TLA is very simple; its syntax and complete formal semantics are summarized in a little over a page. Yet, TLA is not just a logician's toy; it is extremely powerful, both in principle and in practice. This report introduces TLA and describes how it is used to specify and verify concurrent algorithms. The use of TLA to specify and reason about open systems will be described elsewhere.", url = "ftp://ftp.digital.com/pub/DEC/SRC/research-reports/SRC-079.pdf", abstract-url = "http://gatekeeper.dec.com/pub/DEC/SRC/research-reports/abstracts/src-rr-079.html" } @article{Lamport:94:TLA, author = "Lamport, L.", title = "The Temporal Logic of Actions", journal = "{ACM} Transactions on Programming Languages and Systems", year = 1994, month = may, volume = 16, number = 3, pages = "872-923", url = "ftp://ftp.digital.com/pub/DEC/SRC/research-reports/SRC-079.pdf ", abstract-url = "http://gatekeeper.dec.com/pub/DEC/SRC/research-reports/abstracts/src-rr-079.html" } @InCollection{Lange:97:APMAJ, author = "Lange, D. B. and Oshima, M. and Karjoth, G. and Kosaka, K.", title = "{Aglets: Programming Mobile Agents in Java}", day = "10-11", year = "1997", publisher = "Springer-Verlag", address = "Berlin, Germany", month = mar, booktitle = "1st International Conference on Worldwide Computing and Its Applications (WWCA'97)", series = "LNCS", volume = 1274, pages = "253-266", editor = "Masuda, T. and Masunaga, Y. and Tsukamoto, M.", } @InCollection{Lano:92:RROOSL, author = "Lano, K. and Haughton, H. ", title = "Reasoning and Refinement in Object-Oriented Specification Languages", pages = "78-97", editor = "Lehrmann, O.", booktitle = "Proceedings of {ECOOP} '92 European Conference on Object-Oriented Programming", month = jul, series = "LNCS", volume = 615, publisher = "Springer-Verlag", year = 1992 } @book{Lano:94:OOSCS, editor = "Lano, K. and Haughton, H.", publisher = "Prentice Hall", series = "Object-oriented series", title = "Object-oriented Specification Case Studies", year = 1994 } @Book{Lano:95:FOOD, author = "Lano, K.", title = "Formal Object-Oriented Development", publisher = "Springer-Verlag", year = "1995", descriptor = "Formal, Formal description technique, Formal Methods, Formale Beschreibungsmethode, Formale Methode, Formale Methoden, Objekt-orientierte Entwicklung, VDM, Z", } @InProceedings{Lano:95:RSSV, author = "Lano, K. and Goldsack, S. ", editor = "Mackie, I. and Hankin, C.", title = "Refinement, Subtyping and Subclassing in {VDM}$^{++}$", booktitle = "2nd Theory and Formal Methods Workshop, Cambridge", publisher = "IC Press", year = "1995", comment = "ABMN", } @InCollection{Larsen:89:CTBOSC, author = "Larsen, Kim Guldstrand", title = "{Compositional Theories Based on an Operational Semantics of Contexts}", editor = "de Bakker, J.W. and de Roever, W.-P. and Rozenberg, G.", volume = "430", series = "LNCS", pages = "487-518", booktitle = "Stepwise Refinement of Distributed Systems - Models, Formalisms, Correctness", year = "1989", publisher = "Springer-Verlag", address = "Berlin, Germany" } @Book{Lea:97:CPJ, author = "Lea, Doug", title = "{Concurrent Programming in Java}", publisher = "Addison-Wesley", year = "1997", series = "The Java Series", address = "Reading, MA" } @Book{Lee:90:FTPP, author = "Lee, P. A. and Anderson, T.", title = "Fault Tolerance: Principles and Practice", publisher = "Springer-Verlag", year = "1990" } @TechReport{Lilius94:OFAN, author = "Lilius, J.", title = "{On the Folding of Algebraic Nets}", institution = "Digital Systems Laboratory, Helsinki University of Technology", year = "1994", number = "30" } @TechReport{Lilius:91:OCAAHLN, author = "Lilius, J.", title = "{On the Compositionality and Analysis of Algebraic High-Level Nets}", institution = "Digital Systems Laboratory, Helsinki University of Technology", year = "1991", number = "16" } @Book{Lind:01:ITSEMS, author = "Lind, J.", title = "{Iterative Software Engineering for Multiagent Systems - The MASSIVE Method}", publisher = "Springer-Verlag", year = "2001", volume = "1994", address = "Berlin, Germany" } @Book{Lindholm:97:TJVMS, author = " Lindholm, T. and Yellin, F.", title = "The {Java} Virtual Machine Specification", publisher = "Ad{\-d}i{\-s}on-Wes{\-l}ey", address = "Reading, MA, USA", month = jan, year = "1997", series = "The Java Series", url = "http://www.aw.com/cp/javaseries.html" } @TechReport{Lingnau:95:AIMARA, author = "Lingnau, A. and Drobnik, O.", title = "{An Infrastructure for Mobile Agents: Requirements and Architecture}", institution = "University of Frankfurt", year = "1995", url = "ftp://ftp.tm.informatik.uni-frankfurt.de/pub/papers/agents/13dis-paper.ps.gz" } @InProceedings{Luck:97:FATACACS, author = "Luck, M. and Griffiths, N. and d'Inverno, M. ", title = "{From Agent Theory to Agent Construction: A Case Study}", booktitle = "{Intelligent Agents III: Proceedings of the Third International Workshop on Agent Theories, Architectures and Languages}", pages = {49-63}, year = {1997}, editor = {Mueller, J. and Wooldridge, M. and Jennings, N.}, volume = {1193}, series = {LNAI}, publisher = {Springer-Verlag}, url = "http://www.ecs.soton.ac.uk/~mml/papers/atal96.pdf" } @Book{MacLane:71:CWM, author = "Mac Lane, S.", title = "{Categories for the Working Mathematician}", publisher = "Springer-Verlag New-York", year = "1971" } @Article{Maes:94:ARWIO, author = "Maes, P.", title = "{Agents that Reduce Work and Information Overload}", journal = "CACM", year = "1994", volume = "37", number = "7", pages = "30-40", month = "July", url = "http://pattie.www.media.mit.edu/people/pattie/CACM-94/CACM-94.p1.html" } @techreport{Malcom:94:PCRI, author = " Malcom, G. and Goguen, J.", title = "Proving Correctness of Refinement and Implementation", institution = "Oxford Technical Monograph, Oxford University", year = 1994, type = "PRG-114" } @Book{Meyer:91:ETL, author = "Meyer, B.", title = "{Eiffel: The Language}", publisher = "Prentice Hall", year = 1991 } @Book{Meyer:97:OOSC, author = "Meyer, B.", title = "Object-Oriented Software Construction", publisher = "Prentice Hall", year = "1997", edition = "Second" } @Book{Milner:80:CCS, Author = "Milner, R.", Title = "A Calculus of Communicating Systems", Series = "LNCS", Volume = 92, Publisher = "Springer-Verlag", Year = 1980, address = "Berlin, Germany" } @TechReport{Milner:91:PPCT, author = "Milner, R.", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh, UK", month = oct, number = "{ECS-LFCS-91-180}", title = "The polyadic $\pi$-calculus: a tutorial", year = 1991, url = "http://www.lfcs.informatics.ed.ac.uk/reports/91/ECS-LFCS-91-180/index.html" } @article{Milner:92:ACMP, author = "Milner, R. and Parrow, J. and Walker, J.", title = "A Calculus of Mobile Processes, {I and II}", journal = "Information and Computation", year = 1992, volume = 100, number = 1, pages = "1-40,41-77", month = sep } @InProceedings{Milner:93:TPPCT, author = "Milner, Robin", title = "The Polyadic $\pi$-calculus: a Tutorial", editor = "Hamer, F. L. and Brauer, W. and Schwichtenberg, H.", pages = "1-49", booktitle = "Logic and Algebra of Specification", year = "1993", publisher = "Springer-Verlag", address = "Berlin, Germany", note = "Also as Technical Report ECS-LFCS-91-180, Department of Computer Science, Edinburgh University, 1991 \cite{Milner:91:PPCT}" } @article{Morzenti:92:MPRTL, author = "Morzenti, A. and Mandrioli, D. and Ghezzi, C.", title = "A Model-Parametric Real-Time Logic", journal = "{ACM} Transactions on Programming Languages and Systems", year = 1992, month = oct, volume = 14, number = 4, pages = "521-573" } @article{Morzenti:94:OOLSTCS, author = "Morzenti, A. and San~Pietro, P.", title = "Object-Oriented Logical Specification of Time-Critical Systems", journal = "{ACM} Transactions on Transactions on Software Engineering and Methodology", year = 1994, month = jan, volume = 3, number = 1, pages = "56-98" } @inProceedings{Muhu:94:Isacc94, author = "Muhugusa, M. and Di Marzo, G. and Tschudin, C. F. and Harms, J.", title = "{ComScript: An Environment for the Implementation of Protocol Stacks and their Dynamic Reconfiguration}", booktitle = "International Symposium on Applied Corporate Computing ISACC 94", year = "1994", url = "ftp://cui.unige.ch/pub/coms/papers/ceir94.ps.Z", organization = "ITESM Monterrey and Texas A\&M University" } @InProceedings{Muhu:95:Dimas95, author = "Muhugusa, M. and Di Marzo, G. and Tschudin, C. F. and Harms, J.", title = "{Distributed Semaphore in a Messenger Environment}", booktitle = "{Decentralized Intelligent and Multi-Agent Systems DIMAS 95}", year = "1995", organization = "Institute of Computer Science, AGH - Technical University of Mining and Metallurgy, Krakow, Poland", url = "ftp://cui.unige.ch/pub/dimarzo/DIMAS95.ps", month = "November" } @TechReport{Muhu:96:Access, author = "M. Muhugusa and G. Di Marzo and C. Tschudin and J. Harms", title = "{Access Consistency Memory Model for Messengers}", institution = "University of Geneva", year = "1996", number = "Cahier du CUI No 107", address = "Switzerland", url = "ftp://cui.unige.ch/pub/dimarzo/CUI-96-107.ps", } @TechReport{Muhu:96:Services, author = "Muhugusa, M. and Di Marzo, G. and Tschudin, C. F. and Harms, J.", title = "{Distributed Services in a Messenger Environment}", institution = "University of Geneva", year = "1996", number = "Cahier du CUI No 105", address = "Switzerland", url = "ftp://cui.unige.ch/pub/dimarzo/CUI-96-105.ps", } @InProceedings{Muhugusa:95:IIPCE, author = "Muhugusa, M. and Di Marzo, G. and Tschudin, C. F. and Harms, J.", title = "Implementation and Interpretation of Protocols in the {ComScript} environment", booktitle = "Proceedings of ICC'95", year = "1995", } @PhdThesis{Muhugusa:97:PhD, author = "Muhugusa, M.", title = "Distributed Services in a Messenger Environment: The Case of Distributed Shared-Memory", school = "University of Geneva", year = "1997", address = "Switzerland", url = "ftp://cui.unige.ch/pub/tios/papers/these_muhugusa.ps.gz", note = "Ph.D. Thesis 2903" } @phdthesis{Nelson:81:RPC, author = "Nelson, B. J. ", title = "{Remote Procedure Call}", school = "Carnegie-Mellon University", year = "1981" } @InCollection{Nicola:96:PABL, Author = "de Nicola, R. and Pugliese, R.", Title = "{A Process Algebra Based on Linda}", Editor = "P. Ciancarini and C. Hankin", Booktitle = "Coordination Languages and Models", Series = "LNCS", Volume = 1061, Pages = "160-178", Publisher = "Springer-Verlag", Year = 1996, address = "Berlin, Germany" } @Article{Nierstrasz:87:AOH, author = "Nierstrasz, O. M.", title = "Active Objects in Hybrid", journal = "ACM SIGPLAN Notices", volume = 22, number = 12, pages = "243-253", month = dec, year = 1987 } @InProceedings{Nierstrasz:91:TTTAO, author = "Nierstrasz, O. M. and Papathomas, M.", title = "Towards a Type Theory for Active Objects", booktitle = "ACM OOPS Messenger, Proceedings OOPSLA/ECOOP 90 Workshop on Object-Based Concurrent Systems", pages = "89-93", month = apr, year = 1991, abstract = "Currently popular notions of types, such as signature compatibility, fail to express essential properties of concurrent active objects that are necessary for their correct use in new contexts. We propose and explore a new notion of compatibility called interaction conformance defined in terms of the possible interactions between an object and its clients. We relate interaction conformance to known equivalence relations between communicating concurrent agents, and we show that, by viewing types as certain kinds of indeterminate agents, interaction conformance gives us a subtype relationship. We briefly explore the potential for applying these ideas to concurrent object-oriented languages.", note = "Published as ACM OOPS Messenger, Proceedings OOPSLA/ECOOP 90 Workshop on Object-Based Concurrent Systems, volume 2, number 2" } @InCollection{Nierstrasz:93:CAO, author = "Nierstrasz, Oscar", editor = "Agha, G. and Wegner, P. and Yonezawa, A.", title = "Composing Active Objects", booktitle = "Research Directions in Concurrent Object-Oriented Programming", publisher = "MIT Press", year = 1993, abstract = "Many of the shortcomings of present-day object-oriented programming languages can be traced to two phenomena: (i) the lack of general support for software composition, and (ii) the semantic interference between language features addressing operational and compositional aspects of object-oriented programming. To remedy this situation, we propose the development of a ``pattern language'' for active objects in which objects and, more generally, applications, are constructed by composing software patterns. A ``pattern'' can be any reusable software abstraction, including functions, objects, classes and generics. In this paper we seek to establish both informal requirements for a pattern language and a formal basis for defining the semantics of patterns. First, we identify some basic requirements for supporting object composition and we review the principal language design choices with respect to these requirements. We then survey the various problems of semantic interference in existing languages. Next, we present a formal ``object calculus'' and show how it can be used to define the semantics of patterns in much the same way that the lambda calculus can be used to give meaning to constructs of functional programming languages. We conclude by summarizing the principle open problems that remain to define a practical pattern language for active objects." } @Article{Orava:92:AVMN, author = "Orava, F. and Parrow, J.", title = "An Algebraic Verification of a Mobile Network", journal = "Formal Aspects of Computing", volume = 4, number = 6, pages = "497-543", year = 1992, } @Book{Ouster:94:Tcl, author = "Ousterhout,J. K. ", title = "{Tcl and the Tk Toolkit}", publisher = "Addison-Wesley", year = "1994", series = "Professional Computing Series" } @Article{Padawitz:1996:ITPDS, author = "Padawitz, P.", title = "Inductive Theorem Proving for Design Specifications", journal = "Journal of Symbolic Computation", volume = "21", number = "1", pages = "41-99", month = jan, year = "1996", } @Book{Padawitz:88:CHCT, author = "Padawitz, P.", title = "Computing in {Horn} Clause Theories", publisher = "Springer-Verlag", year = "1988", volume = "16", series = "EATCS Monographs on Theoretical Computer Science", address = "Berlin, Germany", } @InProceedings{Padberg:96:AORBRPN, author = "Padberg, J.", title = "{An Outline of Rule-Based Refinement for Petri Nets}", pages = "16-22", booktitle = "Formal Methods for Concurrency", year = 1996, organization = "{Ludwig-Maximilians-Universit\"at M\"unchen}" } @PhdThesis{Padberg:96:APNUARBR, author = "Padberg, J.", title = "Abstract {Petri} Nets: Uniform Approach and Rule-Based Refinement", school = "Technical University of Berlin", year = "1996" } @InProceedings{Palanque:93:ICOOOFBPNUID, author = "Palanque, P. and Bastide, R.", title = "{Interactive Cooperative Objects : an Object-Oriented Formalism Based on Petri Nets for User Interface Design}", year = 1993, pages = "274-285", month = oct, publisher = "Elsevier Science Publisher ", booktitle = "IEEE / System Man and Cybernetics 93" } @InCollection{Picco:97:ECMMU, author = "Picco, Gian Pietro and Gruia-Catalin, Roman and McCann, Peter J.", title = "Expressing Code Mobility in Mobile UNITY", editor = "Jazayeri, M. and Schauer, H.", volume = "1301", series = "LNCS", pages = "500-518", booktitle = "Proceedings of the 6th European Software Engineering Conference held jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'97)", year = "1997", publisher = "Springer-Verlag", address = "Berlin, Germany" } @TechReport{Picco:97:RACMMU, author = "Picco, Gian Pietro and Gruia-Catalin, Roman and McCann, Peter J.", title = "Reasoning About Code Mobility in Mobile UNITY", institution = "Washington University in St. Louis", year = "1997", number = "WUCS-97-43", address = "Saint-Louis, MO", month = "December" } @InCollection{Pierce:94:COPC, author = "Pierce, B. C.", title = "Concurrent Objects in a Process Calculus", editor = "Takayasu Ito and Akinori Yonezawa", series = "LNCS", volume = 907, pages = "229-234", booktitle = "Proceedings of the Workshop on Theory and Practice of Parallel Programming (TPPP'94)", year = 1994, publisher = "Springer-Verlag", address = "Berlin, Germany", month = nov } @InProceedings{Piquemal:EtatGlobal, author = "Piquemal-Baluard, C. and Trouilhet, S.", title = "D\'eterminer l'\'etat global d'une soci\'et\'e d'agents: mod\`ele et exemple", pages = "219-230", booktitle = "{Troisi\`emes Journ\'ees Francophones sur l'Intelligence Artificielle Distribu\'ee et les Syst\`emes Multi-Agents}", year = "1995" } @InCollection{Pnueli:92:SSRTL, author = "Pnueli, A.", title = "System Specification and Refinement in Temporal Logic", editor = "Shyamasundar, R.", volume = "652", series = "LNCS", pages = "1-38", booktitle = "Proceedings of Foundations of Software Technology and Theoretical Computer Science", publisher = "Springer-Verlag", address = "Berlin, Germany", year = "1992" } @InCollection{Pomello:86:SENCSO, author = "Pomello, L.", booktitle = "Advances in Petri Nets 1985", year = 1986, editor = "G. Rozenberg", series = "LNCS", volume = 222, publisher = "Springer-Verlag", pages = "381-400", title = "{Some Equivalence Notions for Concurrent Systems. An Overview}", address = "Berlin, Germany" } @InCollection{Pomello:90:STPCENS, author = "Pomello, L. and Simone, C.", title = "A State Transformation Preorder over a Class of {EN} Systems", booktitle = "Advances in Petri Nets 1990", page = "436-456", volume = 483, series = "LNCS", year = 1990, publisher = "Springer-Verlag", address = "Berlin, Germany" } @Article{Pomello:92:ACENSSS, title = "An Algebraic Characterisation of Elementary Net System (Observable) State Space", author = "Pomello, L. and Simone, C.", journal = "Formal Aspects of Computing", volume = 4, number = "6A", pages = "612-637", year = 1992 } @InCollection{Pomello:92:SENNBS, author = "Pomello, L. and Rozenberg, G. and Simone, C.", title = "A survey of equivalence notions for net based systems", editor = "Rozenberg, G.", volume = "609", series = "LNCS", pages = "410-472", booktitle = "Advances in {Petri} nets", year = "1992", publisher = "Springer-Verlag", address = "Berlin, Germany" } @Book{Pree:94:DPOOSD, Author = "Pree, W.", Title = "Design Patterns for Object-Oriented Software Development", Publisher = "ACM and Addison-Wesley", Year = 1994 } @InProceedings{Racloz:93:SPCTLFPN, author = "Racloz, P. and Buchs, D.", title = "Symbolic Proof of {CTL} Formulae over {P}etri Nets", booktitle = "8th Internationnal Symposium on Computer and Information Sciences", editor = "G. Levent and O. Raif and G. Erol", month = nov, organization = "Istambul, Turkey", pages = "189-196", year = 1993, url = "ftp://lglftp.epfl.ch/pub/Papers/buchs-symbolicproofsoverpn.ps" } @PhdThesis{Racloz:94:SPTPVKPN, author = "Racloz, P.", school = "University of Geneva", address = "Switzerland", title = "{Symbolic proof of temporal properties for various kinds of Petri nets}", year = 1994, month = apr } @Article{Racloz:95:ATSCPN, Author = "Racloz, P.", Journal = "IEEE International Conference on Systems, Man and Cybernetics", address = "Vancouver-Canada", Pages = {3475-3480}, Title = "{A temporal specification checker for Petri nets}", Year = 1995, url = "ftp://lglftp.epfl.ch/pub/Papers/racloz-smc.ps" } @Article{Randell:75:SSSFT, author = "Randell, B.", title = "Systems structure for software fault tolerance", journal = "IEEE Transactions on Software Engineering", year = "1975", volume = "1", number = "2", pages = "220-232" } @TechReport{Randell:97:CAAFCI, author = "Randell, B. and Romanovsky, A. and Stroud, R. J. and Xu, J. and Zorzo, A.F.", title = "{Coordinated Atomic Actions: from Concept to Implementation}", institution = "University of Newcastle upon Tyne, Computing Dept.", year = "1997", number = "595" } @inCollection{Reggio:93:ELSADDT, author = "Reggio, G.", title = "Event Logic for Specifying Abstract Dynamic Data Types", booktitle = "Recent Trends in Data Type Specification: selected papers", series = "LNCS", volume = 655, pages = "292-309", year = 1993, editor = "M. Bidoit and C. Choppy", publisher = "Springer-Verlag", address = "Berlin, Germany" } @InCollection{Reisig:85:PNAI, author = "Reisig, Wolfgang", editor = "W. Brauer and G.Rozenberg and A. Salomaa", title = "{Petri nets. An Introduction}", booktitle = "EATCS Monographs on Theoretical Compute Science", publisher = "Springer-Verlag", address = "Berlin, Germany", year = 1985, volume = 4 } @InCollection{Reisig:91:PNAS, author = "Reisig, Wolfgang", title = "{P}etri Nets and Algebraic Specifications", booktitle = "Theoretical Computer Science", volume = 80, publisher = "Elsevier Science Publisher ", pages = "1-34", year = 1991 } @Article{Reisig:95:CPDA, author = "Reisig, Wolfgang", title = "Correctness proofs of distributed algorithms", journal = "LNCS", publisher = "Springer-Verlag", address = "Berlin, Germany", volume = "938", pages = "164-177", year = "1995" } @InProceedings{Reisig:96:TVVAMV, author = "Reisig, Wolfgang", title = "{Temporallogische Verifikation verteilter Algorithmen: Mehr als nur eine Variante}", pages = "27-30", booktitle = "Formal Methods for Concurrency", year = "1996", organization = "{Ludwig-Maximilians-Universit\"at M\"unchen}" } @Inproceedings{Ribeiro:94:OOAHLN, author = "Ribeiro, Leila", title = "{OO-AHL-NETS} {O}bject {O}riented {A}lgebraic {H}igh {L}evel {N}est", booktitle = "Working papers of the {I}nternational {W}orkshop on {I}nformation {S}ystems {C}orrectness and {R}eusability {IS-CORE'94}", organization = "vrije University", editor = "R. Wieringa and R. Feenstra", address = "Amsterdam, The Netherlands", pages = "146-162", month = sep, year = 1994 } @Article{Riecken:94:MAIA, author = "Riecken, Doug", title = "{M: An Architecture of Integrated Agents}", journal = "CACM", year = "1994", volume = "37", number = "7", pages = "107-116", month = "July" } @InProceedings{Rodriguez:98:CSHTA, author = "Rodriguez-Aguilar, J.A. and Martrin, F.J. and Noriega, P. and Garcia, P. and Sierra, C.", title = "Competitive Scenarios for Heterogeneous Trading Agents", booktitle = "Agents'98", year = "1998" } @Article{Roman:97:MURSMC, author = "Roman, Gruia-Catalin and McCann, Peter J. and Plunn, J.Y.", title = "Mobile UNITY: Reasoning and Specification in Mobile Computing", journal = "ACM Transactions on Software Engineering and Methodology", year = "1997", volume = "6", number = "3", pages = "250-282", month = "July" } @Article{Romanovsky:97:IBCAABFER, author = "Romanovsky, A. and Randell, B. and Stroud, R. and Xu, J. and Zorzo, A.", title = "{Implementation of Blocking Coordinated Atomic Actions Based on Forward Error Recovery}", journal = "Journal of System Architecture - Special Issue on Dependable Systems", year = "1997", month = "July" } @InCollection{Rose:94:AOZSMPS, author = "Rose, Gordon and Duke, Roger", title = "An {Object-Z} Specification of a Mobile Phone System", key = "Rose \& Duke", booktitle = "Object-Oriented Specification Case Studies", publisher = "Prentice-Hall", year = 1993, editor = "Kevin Lano and Howard Haughton", series = "The Object-Oriented Series", chapter = 5, pages = "110-129", address = "New York, N.Y." } @Article{Rosenschein:85:FTKAR, author = "Rosenschein, S.", title = "Formal Theories of Knowledge in AI and Robotics", journal = "New Generation Computing", year = "1985", pages = "345-357" } @Article{Ross:77:SARS, author = "Ross, D. T. and Shoman, K. E. ", title = "Structured Analysis for Requirements Specification", journal = "IEEE Transactions on Software Engineering", volume = 3, number = 1, pages = "6-15", month = jan, year = 1977 } @Book{Rumbaugh:91:OOMD, Author = "Rumbaugh, J. and Blaha, M. and Premerlani, W. and Eddy, F. and Lorensen, W. ", Title = "Object-Oriented Modeling and Design", Publisher = "Prenctice-Hall", Year = 1991 } @Book{Russel:95:AIAMA, author = "Russel, S. and Norvig, P.", title = "{Artificial Intelligence: a Modern Approach}", publisher = {Prentice-Hall}, year = {1995} } @Book{Ryde:88:CompCatTheory, author = "Rydeheard, D. E. and Burstall, R. M.", title = "{Computational Category Theory}", publisher = "Prentice Hall", address = "New York", year = "1988" } @PhdThesis{Sangiorgi:93:MobileAlgebra, author = "Sangiorgi, D.", title = "Expressing Mobility in Process Algebra", school = "University of Edinburgh", address = "Edinburgh, United Kingdom", year = 1993 } @inCollection{Sannella:83:AKLASI, author = "Sanella, Donald and Wirsing, Martin", title = "A Kernel Language for Algebraic Specification and Implementation", booktitle = "Foundations of Computation Theory, Proceedings of the 1983 International FCT-Conference", year = 1983, editor = "M. Karpinski", series = "LNCS", volume = 158, publisher = "Springer-Verlag", address = "Berlin, Germany", month = aug } @Article{Sannella:88:TFDPASIR, title = "Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited", author = "Sannella, D. and Tarlecki, A.", journal = "Acta Informatica", pages = "233-281", year = "1988", volume = "25", number = "3", } @InCollection{Sannella:96:TFDPASIR, author = "Sannella, D. and Tarlecki, A.", title = "Toward Formal Development of Programs From Algebraic Specifications: Implementations Revisited", pages = "96-110", editor = "Levi, G. and Ehrig, H. and Kowalski, R. and Mantanari, U.", booktitle = "Proceedings of the International Joint Conference on Theory and Practice of Software Development ({TAPSOFT} '87). Volume 1: Advanced Seminar on Foundations of Innovative Software Development {I} and Colloquium on Trees in Algebra and Programming ({CAAP}'87)", address = "Berlin, Germany", month = mar, year = "1987", series = "LNCS", volume = "249", publisher = "Springer-Verlag", } @InCollection{Satoh:94:AFRIP, author = "Satoh, Ichiro and Tokoro, Mario", title = "A Formalism for Remotely Interacting Processes", editor = "Takayasu Ito and Akinori Yonezawa", series = "LNCS", volume = 907, pages = "216-228", booktitle = "Proceedings of the Workshop on Theory and Practice of Parallel Programming (TPPP'94)", year = 1994, publisher = "Springer-Verlag", address = "Berlin, Germany", month = nov } @inproceedings{Schaffert:86:AITO, author = "Schaffert, Craig and Cooper, Topher and Bullis, Bruce and Mike Killian and Carrie Wilpolt", title = "An Introduction to {Trellis/Owl}", booktitle = "Proceedings OOPSLA '86, ACM SIGPLAN Notices", pages = "9-16", month = sep, year = 1986, note = "Published as Proceedings OOPSLA '86, ACM SIGPLAN Notices, volume 21, number 11" } @article{Scott:76:DTL, author = "Scott, Dana", title = "Data Types as Lattices", journal = "SIAM J. Comput.", volume = 5, number = 3, pages = "522-587", month = sep, year = 1976 } @techreport{Shankar:91:TSVUPVS, author = "Shankar, N. and Owre, S. and Rushby, J.M.", title = "A Tutorial on Specification and Verification Using PVS", institution = "Csl report, SRI International, Menlo Park, CA, USA", year = 1993, month = feb, type = "Preliminary Draft" } @InCollection{Shibayama:91:RCOSD, author = "Schibayama, Etsuya", editor = "A. Yonezawa and T. Ito", title = "Reuse of Concurrent Object Description", booktitle = "Concurrency: Theory, Language and Architecture", series = "LNCS", volume = "491", pages = "110-135", publisher = "Springer-Verlag", year = 1991, address = "Berlin, Germany" } @InCollection{Shibayama:92:SLOBCC, author = "Shibayama, Etsuya", title = "Semantic Layers of Object-Based Concurrent Computing", booktitle = "Proceedings of the ECOOP '91 Workshop on Object-Based Concurrent Computing", editor = "M. Tokoro and O. Nierstrasz and P. Wegner", series = "LNCS", volume = 612, pages = "99-117", publisher = "Springer-Verlag", year = 1992, address = "Berlin, Germany" } @InCollection{Sibertin:94:CN, author = "Sibertin-Blanc, C.", title = "{Cooperative Nets}", editor = "Robert Valette", volume = "815", series = "LNCS", pages = "471-490", booktitle = "Proceedings of Application and Theory of Petri Nets", year = "1994", publisher = "Springer-Verlag", address = "Berlin, Germany", } @Book{Singh:94:ATFIKC, author = "Singh, M. P.", title = "{A Theoretical Framework for Intentions, Know-How, and Communications}", publisher = "Springer-Verlag", address = "Berlin, Germany", year = "1994", number = "799", series = "LNAI" } @InCollection{Solana:97:FISTBCD, author = "Solana, E. and Harms, J.", title = "Flexible Internet Secure Transactions Based on Collaborative Domains", volume = "1361", series = "LNCS", booktitle = "Proceedings of the 5th Security Protocols International Workshop", year = "1997", publisher = "Springer-Verlag", address = "Berlin, Germany", } @Book{Sommerville:92:SE, author = "Sommerville, Ian", title = "Software Engineering", edition = "fourth", publisher = "Addisson-Wesley", year = 1992, } @Book{Spivey:92:TZNARM, author = "Spivey, J.M.", title = "{The Z Notation: A Reference Manual}", publisher = "Prentice-Hall", year = "1992", series = "{International Series in Computer Sciences}", address = "London", edition = "Second", url = "http://spivey.oriel.ox.ac.uk/~mike/zrm/zrm.ps.gz" } @Book{Tanen:89:CompNetwork, author = "Tanenbaum, A. S.", title = "Computer Networks", publisher = "Prentice-Hall", year = 1989, edition = "second" } @Article{Tanen:91:Amoeba, author = "Tanenbaum, A. S. and Kaashoek, M. F. and van Renesse, R. and Bal, H.", title = "{The Amoeba Distributed Operating System-A Status Report}", journal = "Computer Communications", year = "1991", volume = "14", pages = "324-335", month = "July/August" } @Book{Tanen:92:ModernOS, author = "Tanenbaum, A. S.", title = "{Modern Operating Systems}", publisher = "Prentice-Hall", year = "1992" } @Article{Thomsen:97:PCASGCHOP, author = "Thomsen, Bent", title = "Plain {CHOCS}. {A} Second Generation Calculus for Higher Order Processes", journal = "Acta Informatica", year = "1993", volume = "30", number = "1", pages = "1-59" } @InCollection{Tolksdorf:95:MUCCB, author = "Tolksdorf, Robert", editor = "O. Nierstrasz and P. Ciancarini and A. Yonezawa", title = "A Machine for Uncoupled Coordination and Its Concurrent Behavior", booktitle = "Object-Based Models and Languages for Concurrent Systems", series = "LNCS", volume = 924, pages = "176-193", publisher = "Springer-Verlag", year = 1995, abstract = "The family of un-coupled coordination languages - its most prominent representative is Linda - uses as a central mechanism for synchronization and communication the addition and withdrawal of elements to and from a multiset. We define a machine - the Bag-Machine - that abstracts from specific outforms of elements handled and operations in a coordination language. We give a truly concurrent behavioral specification by event structures. We further show, how the embedding of a coordination language can be formalized and demonstrate our approach by a specification of Linda.", address = "Berlin, Germany" } @InCollection{Tolksdorf:96:CSODSL, Author = "Tolksdorf, R.", Title = "Coordination Services in Open Distributed Systems with Laura", Editor = "P. Ciancarini and C. Hankin", Booktitle = "Coordination Languages and Models", Series = "LNCS", Volume = 1061, Pages = "386-402", Publisher = "Springer-Verlag", Year = 1996, address = "Berlin, Germany" } @phdthesis{Tschudin:93:PhD, author= "Tschudin, C. F.", title= "{On the Structuring of Computer Communications}", school= "University of Geneva", address = "Switzerland", year= 1993, note= "{Ph.D. Thesis No 2632}", url = "ftp://cui.unige.ch/pub/tschudin/phd-1.ps.Z ftp://cui.unige.ch/pub/tschudin/phd-2.ps.Z ftp://cui.unige.ch/pub/tschudin/phd-3.ps.Z", } @techReport{Tschudin:94:CahierCui86, author = "Tschudin, C. F. ", title = "{An Introduction to the M\O\ Messenger Language}", institution = "University of Geneva", address = "Switzerland", year = "1994", psmanual-url = "ftp://cui.unige.ch/pub/m0/m0-manual.ps.Z", manual-url = "http://cuiwww.unige.ch/cgi-bin/tios/m0/manual.html", number = "Cahier du {\sc CUI} No 86" } @techreport{Tschudin:94:CahierCui90, author= "Tschudin, C. F. and Di Marzo, G. and Muhugusa, M. and Harms, J.", title= "{Messenger-based Operating Systems}", institution= "University of Geneva", address= "Switzerland", year= 1994, url = "ftp://cui.unige.ch/pub/msgr/papers/mbos.ps.Z", number= "Cahier du {\sc CUI} No 90" } @TechReport{Tschudin:96:CahierCui110, author = " Tschudin, C. F. and Di Marzo, G. and Muhugusa, M. and Harms, J.", title = "A Distributed Micro-Kernel for Communications Messengers", institution = "University of Geneva", address = "Switzerland", year = "1996", url = "ftp://cui.unige.ch/pub/tios/papers/CUI-96-110.ps.gz", number = "Cahier du {\sc CUI} No 110" } @TechReport{Tschudin:96:PTOM, author = "Tschudin, C. F.", title = "{PTOM - A Pascal Translator for Mobile Code}", institution = "{Institut f{\"{u}}r Informatik, University of Z{\"{u}}rich}", year = "1996", number = "ifi-96.06", month = jul, url = "ftp://ftp.ifi.unizh.ch/pub/techreports/TR-96/ifi-96.06.ps.gz", } @InProceedings{Tschudin:96:SIS96, author = "Tschudin, C. F. and Di Marzo, G. and Murhimanya, M. and Harms, J.", title = "Welche {S}icherheit f{\"{u}}r mobilen {C}ode?", year = "1996", month = mar, booktitle = "Proceedings of SIS'96", } @InCollection{Tschudin:97:M0-Condensed, author = "Tschudin, C. F. ", title = "The Messenger Environment {M}0 - {A} Condensed Description", booktitle = "Mobile Object Systems: Towards the Programmable Internet (MOS'96)", publisher = "Springer-Verlag", year = "1997", editor = "Vitek, Jan and Tschudin, Christian", volume = "1222", series = "LNCS", pages = "149-156", address = "Berlin, Germany" } @InCollection{Tschudin:97:ORAMC, author = "Tschudin, C. F.", title = "Open Resource Allocations for Mobile Code", editor = "K. Rothermel and R. Popescu-Zeletin", volume = "1219", series = "LNCS", booktitle = "Proceedings of First International Workshop on Mobile Agents 97", year = "1997", publisher = "Springer-Verlag", address = "Berlin, Germany", month = "apr", abstract-url = "http://www.ifi.unizh.ch/groups/bauknecht/tschudin/research/199611-abstract.html", } @InCollection{Tschudin:97:UMCCNEDU, author = "Tschudin, C. and Muhugusa, M. and Neuschwander, G.", title = "Using Mobile Code to Control Native Execution of Distributed UNIX", series = "LNCS", booktitle = "ECOOP Workshop on Mobile Object Systems", year = "1997", publisher = "Springer-Verlag", address = "Berlin, Germany", url = "http://www.icsi.berkeley.edu/~tschudin/ecoop97.ps.gz", } @Article{Uchihira:90:VSCPUPNTL, author = "Uchihira, N. and Honiden, S.", title = "Verification and Synthesis of Concurrent Programs Using {Petri} Nets and Temporal Logic", journal = "The transaction of the institute of electronics, information and communication engineers", volume = "E73", number = 12, month = dec, pages = "2001-2009", year = "1990", } @PhdThesis{Utting:92:AOORCMR, author = "Utting, M.", title = "An Object-Oriented Refinement Calculus with Modular Reasoning", school = "University of New South Wales", year = "1992", address = "Kensington, Australia" } @PhdThesis{Vachon:00:CDLRDS, author = {Vachon, J.}, title = "{COALA: a Design Language for Reliable Distributed Systems}", school = "Swiss Federal Institute of Technology (EPFL)", address = "Lausanne, Switzerland", year = "2000" } @TechReport{Vachon:98:TCSNRC, author = "Vachon, J. and Buchs, D.", title = "Towards a complete semantics with negation rules for {CO-OPN/2}", institution = "Swiss Federal Institute of Technology (EPFL), Software Engineering Laboratory", address = "Lausanne, Switzerland", year = "1998", number = "98/297" } @InCollection{Vasconcelos92a, author = "Vasconcelos, V. and Tokoro, M.", editor = "O. Nierstrasz M. Tokoro and P. Wegner", title = "Traces Semantics for Actor Systems", booktitle = "Proceedings of the ECOOP '91 Workshop on Object-Based Concurrent Computing", series = "LNCS", volume = 612, pages = "141-162", publisher = "Springer-Verlag", year = 1992, address = "Berlin, Germany" } @InCollection{Vautherin:87:PSSCPNAS, author = "Vautherin, Jacques", title = "Parallel Systems Specification with Coloured {P}etri Nets and Algebraic Specification", booktitle = "Advances in {P}etri Nets", editor = "Grzegorz Rozenberg", series = "LNCS", pages = {294-308}, volume = 266, year = 1987, publisher = "Springer-Verlag", address = "Berlin, Germany" } @InProceedings{Villalobos:00:TACTP, author = "Bloodworth, I. J. and Di Marzo Serugendo, G. and Evans, D. and Jones, G. T. and Jovanovic, P. and Jusko, A. and Kinson, J. B. and Kirk, A. and Lenti, V. and Luptak, M. and Norman, P. I. and Sandor, L. and Vande Vyvre, P. and Villalobos Baillie, O.", title = "{The ALICE Central Trigger Processor}", booktitle = "6th Workshop on Electronics for LHC Experiments", year = "2000", organization = "Faculty of Physics and Nuclear Techniques, University of Mining and Metallurgy, Krakow, Poland", month = "September", pages = "318-322", url = "http://nicewww.cern.ch/~lebwshop/LEB00_Book/Trigger/villalobos.pdf" } @Article{Vinoski:CORBA, author = "Vinoski, Steve", title = "CORBA: Integrating Diverse Applications Within Distributed Heterogeneous Environments", journal = "IEEE Communications Magazine", year = "1997", volume = "14", number = "2", } @Book{Vitek:96:MOS, author = "Vitek, J. and Tschudin, C.", title = "{Mobile Objects Systems: Towards the Programmable Internet}", publisher = "Springer-Verlag", address = "Berlin, Germany", year = "1997", series = "LNCS", volume = "1222" } @TechReport{Vogler:90:FSPNRPT, author = "Vogler, W.", title = "Failure semantics of {Petri} nets and the refinement of places and transitions.", institution = "Institut f{\"u}r Informatik, Universit{\"a}t M{\"u}nchen", year = "1990", number = "TUM-I9003" } @Book{Wagner:01:IAMASSMAS, editor = "Wagner, T. and Rana, O.", title = "{Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems }", publisher = "Springer-Verlag", year = "2001", volume = "1887", series = "LNAI", address = "Berlin, Germany" } @InProceedings{Wald:94:Lottery, author = "Waldspurger, C. A. and Weihl, W. E.", title = "{Lottery Scheduling: Flexible and Proportional-Share Resource Management}", pages = "1-12", booktitle = "Operating Systems Design and Implementation (OSDI)", year = "1994", organization = "Usenix, ACM SIGOPS, IEEE TCOS" } @Article{Waldmann:92:SOSS, author = "Waldmann, Uwe", title = "Semantics of Order-Sorted Specifications", journal = "Theoretical Computer Science", year = 1992, volume = 94, number = 1, pages = "1-35" } @article{Wegner:86:COOS, author = "Wegner, Peter", title = "Classification in Object-Oriented Systems", journal = "SIGPLAN Notices, ACM", volume = 21, number = 10, year = 1986, month = oct } @inproceedings{Wegner:87:DOBLD, author = "Wegner, Peter", editor = "N. Meyrowitz", title = "Dimensions of Object-Based Language Design", booktitle = "Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications ({OOPSLA})", pages = "168-182", publisher = "ACM Press", month = dec, year = 1987, note = "Published as SIGPLAN Notices, volume 22, number 12" } @InCollection{Wegner:88:IIMMWLIIL, author = "Wegner, Peter and Zdonik, Stanley B.", title = "Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like", booktitle = "Proceedings of the European Conference on Object-Oriented Programming ({ECOOP})", series = "LNCS", editor = "S. Gjessing and K. Nygaard", volume = 322, pages = "55-77", publisher = "Springer-Verlag", address = "Berlin, Germany", month = aug, year = 1988 } @article{Wegner:90:CPOOP, author = "Wegner, Peter", title = "Concepts and Paradigms of Object-Oriented Programming", journal = "{OOPS} Messenger", volume = 1, number = 1, month = jun, year = 1990, pages = "7-87" } @InCollection{Wegner:96:CCI, Title = "Coordination as Constrained Interactions", Author = "Wegner, P.", Editor = "Ciancarini, P. and Hankin, C.", BookTitle = "Proceedings of the First International Conference COORDINATION '96, Cesena, Italys", Series = "LNCS", Volume = 1061, Publisher = "Springer-Verlag", Month = "apr", Year = 1996, address = "Berlin, Germany" } @TechReport{Wegner:96:FIC, Author = "Peter Wegner", Title = "Foundations of Interactive Computing", Institution = "Brown University", number = "BROWN TR CS-96-01", Month = "apr", Year = 1996 } @Book{Weiss:99:MSAMADAI, editor = "Weiss, G.", title = "{Multiagent Systems - A Modern Approach to Distributed Artificial Intelligence}", publisher = "{The MIT Press}", year = "1999", address = "Cambridge, Massachussetts" } @Article{Wellman:93:AMOPEADMFP, author = "M. P. Wellman", title = "{A market-oriented Programming Environment and its Application to Distributed Multicommodity Flow Problems}", journal = "Journal of Artificial Intelligence", year = "1993", pages = "1-23" } @InProceedings{Whysall:91:OOSR, author = "Whysall, P.J. and McDermid, J.A.", title = "Object-Oriented Specification and Refinement", editor = "Morris, J.M. and Shaw, R.C.", pages = "150-184", booktitle = "4th Refinement Workshop", publisher = "Springer-Verlag", address = "Berlin, Germany", series = "Workshops in Computing", year = "1991", } @InProceedings{Wieringa:91:ESDO, author = "Wieringa, R. ", publisher = "North-Holland", title = "Equational Specification of Dynamic Objects", booktitle = "Object-Oriented Data Bases: Analysis, Design and Construction", year = 1991 } @InCollection{Wills:94:RF, author = "Wills, Alan", title = "Refinement in {Fresco}", booktitle = "Object-Oriented Specification Case Studies", chapter = "9", publisher = "Prentice-Hall", year = "1994", editor = "Lano, K. and Houghton, H.", pages = "184-201", address = "Englewood Cliffs, NJ", } @Article{Wirsing:83:OHADT, title = "On Hierarchies of Abstract Data Types", author = "Wirsing, M. and Pepper, P. and Partsch, W. and Dosch, N. and Broy, M.", journal = "Acta Informatica", volume = 20, year = 1983, pages = "1-33" } @Article{Wirsing:86:SASAKL, author = "Wirsing, M.", title = "Structured Algebraic Specifications: {A} Kernel Language", journal = "Theoretical Computer Science", publisher = "Elsevier Science Publishers", year = 1986, volume = 42, pages = "123-249" } @InCollection{Wirsing:90:AS, author = "Wirsing, M.", year = 1990, title = "Algebraic specification", volume = "B: Formal Methods and Semantics", booktitle = "Handbook of Theoretical Computer Science", editor = "van Leeuwen, J.", publisher = "North-Holland", address = "Amsterdam", pages = "675-788", chapter = 13 } @PhdThesis{Wool:92:Phd, author = "Wooldridge, M. ", title = "{The Logical Modelling of Computational Multi-Agent Systems}", school = "Department of Computation, University of Manchester", year = "1992", url = "http://www.csc.liv.ac.uk/~mjw/pubs/thesis.ps.gz" } @Proceedings{Wool:94:ATAL94, title = "Intelligent Agents, ECAI-94, workshop on Agent theories, Architectures, and Languages (ATAL) proceedings", year = "1994", editor = "Wooldridge, Michael and Jennings, Nicholas R.", number = "890", series = "LNAI", publisher = "Springer-Verlag", address = "Berlin, Germany", month = "August" } @InProceedings{Wool:94:AgentTheories, author = "Wooldridge, M. and Jennings, N. R.", title = "{Agent Theories, Architectures, and Languages: A Survey}", editor = "Wooldridge, Jennings", series = "LNAI", number = "890", pages = "1-39", booktitle = "Intelligent Agents, ECAI-94, workshop on Agent theories, Architectures, and Languages (ATAL)", year = "1994", publisher = "Springer-Verlag", address = "Berlin, Germany", month = "August" } @Proceedings{Wool:95:ATAL95, title = "Intelligent agents II: agent theories, architectures, and languages: IJCAI'95 workshop (ATAL) proceedings", year = "1995", editor = "Wooldridge, Michael and M{\"{u}}ller, J{\"{o}}rg P. and Tambe, Milind", number = "1037", series = "LNAI", publisher = "Springer-Verlag", address = "Berlin, Germany", month = "August" } @Book{Wooldridge:00:RARA, author = "Wooldridge, M.", title = "{Reasoning about Rational Agents}", publisher = "The MIT Press", year = "2000", series = "{Intelligent Robots and Autonomous Agents}", address = "Cambridge, Massachusetts" } @Article{Wooldridge:00:TGMAOAD, author = "Wooldridge, M. and Jennings, N.R. and Kinny, D.", title = "The {Gaia} Methodology for Agent-Oriented Analysis and Design", journal = "Journal of Autonomous Agents and Multi-Agent Systems", year = "2000", volume = "3", number = "2000", url = "http://www.csc.liv.ac.uk/~mjw/pubs/jaamas2000b.ps.gz" } @Article{Wooldridge:95:IATP, author = "Wooldridge, M. and Jennings, N. R.", title = "{Intelligent Agents: Theory and Practice}", journal = "The Knowledge Engineering Review", volume = "10", number = "2", pages = "115-152", year = "1995", url = "http://www.ecs.soton.ac.uk/~nrj/download-files/KE-REVIEW-95.ps" } @InCollection{Wooldridge:99:IA, author = "Wooldridge, M.", title = "{Intelligent Agents}", booktitle = "{Multiagent Systems - A Modern Approach to Distributed Artificial Intelligence}", publisher = "{The MIT Press}", year = "1999", address = "Cambridge, Massachussetts", pages = "27-78", editor = "Weiss, G.", chapter = "1" } @InProceedings{Xu:95:FTCOOSTCER, author = "Xu, J. and Randell, B. and Romanovsky, A. and Rubira, C. and Stroud, R. and Wu, Z.", title = "{Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery}", pages = "450-457", booktitle = "Proceedings of the 25th Int. Symp. on Fault-Tolerant Computing", publisher = "IEEE CS Press", year = "1995" } @InProceedings{Yurkowski:86:CPNTLMADS, author = "Yurkowski, P. and Laucht, C. M.", title = "Combining {Petri} Nets and Temporal Logic to Model and Analyse Distributed Systems.", booktitle = "Proc. of the Fifteenth Manitoba Conf. on Numerical Mathematics and Computing", pages = "211-227", year = "1986", abstract = "{Petri} nets are often used as a formal tool for representing distributed systems. It is shown that the reachable markings of a {Petri} net form a branching tense structure, thereby permitting the use of the temporal logic to define properties of the distributed system." } @InCollection{vanGlabbek:89:RACBM, author = "van Glabbeek, R. and Goltz, U.", title = "Refinement of Actions in Causality Based Models", editor = "de Bakker, J.W. and de Roever, W.-P. and Rozenberg, G.", volume = "430", series = "LNCS", pages = "267-300", booktitle = "Stepwise Refinement of Distributed Systems - Models, Formalisms, Correctness - REX Workshop", year = "1989", publisher = "Springer-Verlag", address = "Berlin, Germany" }