40,355 Hits in 4.2 sec

Semantics of Objects As Processes (SOAP) [chapter]

Uwe Nestmann, António Ravara
1999 Lecture Notes in Computer Science  
Object Models in the πL-Calculus (Jean-Guy Schneider) The development of concurrent object-based programming languages has suffered from the lack of any generally accepted formal foundation for defining  ...  As an approach to overcome the problems of existing models, we present a (meta-level) framework for object models in the πL-calculus.  ... 
doi:10.1007/3-540-46589-8_18 fatcat:njv6znlwo5f65fiw6ellpuovfm

Requirements for a composition language [chapter]

Oscar Nierstrasz, Theo Dirk Meijler
1995 Lecture Notes in Computer Science  
Object-oriented techniques help by allowing applications to be viewed as compositions of collaborating objects, but are limited in supporting other kinds of abstractions that may have finer or coarser  ...  In this position paper we will elaborate our requirements and outline a strategy for the design and implementation of a composition language for the development of open systems.  ...  Acknowledgements We gratefully acknowledge the financial support of the Swiss National Science Foundation under project no. 21-40610.94.  ... 
doi:10.1007/3-540-59450-7_9 fatcat:56l5z2nbdfchjowosd3bq6kj7e

A pattern-based object calculus

Nabil Kamel, Ping Wu, Stanley Y. W. Su
1994 The VLDB journal  
The object calculus is based on first-order logic. It provides the formalism for interpreting precisely and unifor/nly the semantics of queries and integrity constraints in object-oriented databases.  ...  The power of the object calculus is shown in four aspects. First, associations among objects are expressed explicitly in an object-oriented database.  ...  Non-~sociation link The object calculus provides a formalism to formally express queries that are to be processed against an object-oriented database.  ... 
doi:10.1007/bf01231358 fatcat:nt2i3gevj5dxpk5imb4cyh45hu

A Mechanized Model of the Theory of Objects [chapter]

Ludovic Henrio, Florian Kammüller
2007 Lecture Notes in Computer Science  
In particular, we present (a) a formal model of objects and its operational semantics based on de Bruijn indices (b) a parallel reduction relation for objects (c) the proof of confluence for the theory  ...  In this paper we present a formalization of Abadi's and Cardelli's theory of objects in the interactive theorem prover Isabelle/ HOL.  ...  We would like to thank Larry Paulson for providing us the formalization of the ς-calculus in Isabelle/ZF written by Ehmety.  ... 
doi:10.1007/978-3-540-72952-5_12 fatcat:zhdvufkxv5hrjnf4yfmv6btlnu

OPUS: a formal approach to object-orientation [chapter]

Tom Mens, Kim Mens, Patrick Steyaert
1994 Lecture Notes in Computer Science  
OPUS is an elementary calculus that models object-orientation.  ...  Thanks to the way objects are constructed in this calculus, we can deal with selfreference, recursion and even mutual recursion in a straightforward way.  ...  Because the calculus provides a formal foundation in which object-oriented features can be expressed, we will call it OPUS, which is an acronym for Object-oriented Programming calculUS.  ... 
doi:10.1007/3-540-58555-9_103 fatcat:zk766ken25fs3cg4jxgvg3k6hi

Formalizing Composable Software Systems — A Research Agenda [chapter]

O. Nierstrasz, J.-G. Schneider, M. Lumpe
1997 IFIP Advances in Information and Communication Technology  
We propose, instead, to develop a rigorous foundation for composable software systems by a series of experiments in modelling concurrent and object-based software abstractions as composable, communicating  ...  Eventually we hope to identify and realize the most useful compositional idioms as a composition language for open systems specification.  ...  Compositional Idioms Modelling object-oriented features in the π calculus is tedious work, akin to programming in a "concurrent assembler."  ... 
doi:10.1007/978-0-387-35082-0_20 fatcat:bugqw47sk5g3nihurxlh7cvuve


Frank de Boer, Marcello Bonsangue
2005 Theoretical Computer Science  
This special issue opens with two articles describing different algebraic approaches to formal models of the behavior of object oriented systems. J. Bergstra and I.  ...  Preface The second International Symposium on Formal Methods for Components and Objects (FMCO) was held in Leiden, The Netherlands, from November 4 to 7, 2003.  ...  In this paper, he considers an application of the calculus to signal flow graphs.  ... 
doi:10.1016/j.tcs.2005.06.011 fatcat:x7jiv4474ngq7hvw4tljcxgvji

Workshop on Foundations of Object-Oriented Languages

Kim B. Bruce
2002 Information and Computation  
The authors study this notion of object migration in a formal calculus, Øjeblik, which is intended to model the concurrent core of the language Obliq.  ...  The first paper in this issue, "Aliasing Models for Mobile Objects," by Uwe Nestmann, Hans Hüttel, Josva Kleist, and Massimo Merro, discusses a formal model of object migration.  ...  changes allow objects to take on new (perhaps incompatible) roles. To model this phenomenon Ghelli introduces a role calculus that is an extension of Abadi and Cardelli's object calculus.  ... 
doi:10.1006/inco.2001.2944 fatcat:abzwd3tcgngydcux2yrdh3zq6y

Qualitative Spatial Scene Modeling for Ambient Intelligence Environments [chapter]

Frank Dylla, Mehul Bhatt
2008 Lecture Notes in Computer Science  
In this paper, we present a qualitative model for representing the relevant aspects of these environments in an adequate manner.  ...  The model is suited for reasoning about spatial configurations and dynamics in spatial environments. We clarify and elaborate on our ideas with examples grounded in a smart home environment.  ...  Orientation and the OPRA m Calculus For representing relative orientation information we apply the OPRA m calculus [5] .  ... 
doi:10.1007/978-3-540-88513-9_77 fatcat:gid3cwkirzbnxp32dpx43nbsea

Calculi for Concurrent Objects [chapter]

Cosimo Laneve
1999 Formal Methods for Open Object-Based Distributed Systems  
Concurrent object-oriented languages, such as POOL [1], ABCL [12], Obliq [3] or Java [7], usually structure the program into objects, model the parallelism with threads and the mutual exclusion with locks  ...  .), Formal Methods for Open Object-Based Distributed Systems  ...  Some progress in this direction is done in [5] , where a class based calculus has been developed out of a well known process calculus -the join-calculus -and a formal analysis of inheritance and possible  ... 
doi:10.1007/978-0-387-35562-7_27 fatcat:voouacz54nevzmou5gsj576soq

Un estudio de los cálculos computacionales usados en aplicaciones musicales

Gerardo M. Sarria M.
1969 Ingeniería y Competitividad  
En las últimas décadas muchos modelos formales han sido propuestos para formalizar aplicaciones musicales,para resolver problemas musicales y de improvisación, y para probar propiedades en la música.  ...  En este artículodescribiremos brevemente algunos de estos modelos formales (los cálculos computacionales); proveeremos unadescripción de algunas aplicaciones de dichos formalismos; finalmente discutiremos  ...  The λ&-calculus is a formal model for the Common Lisp Object System, CLOS, (Steele, 1990) . The following are programming languages based on or formalized with the λ-calculus or its variants.  ... 
doi:10.25100/iyc.v15i2.2598 fatcat:zpsa3sdd3nbyfcwtflexpewunu

Modeling and Analyzing Software Architecture Using Object-Oriented Petri Nets and Pi-Calculus [chapter]

Zhenhua Yu, Xiao Fu, Yu Liu, Jing Wang, Yuanli Cai
2010 Petri Nets Applications  
Software Architecture Formal Model A visual software architecture formal model (SAFM) based on Object-oriented Petri nets and π-calculus, is proposed.  ...  Object-oriented Petri Nets, π-calculus and Their Integration A New Object-oriented Petri Nets (OPN) The ordinary Petri nets models are very complicated, which highly depend on the system and lack the  ...  Conclusion Based on two complementary formalisms, namely Object-oriented Petri nets and π-calculus, software architecture formal model (SAFM) is proposed, which describes the components, connectors and  ... 
doi:10.5772/7522 fatcat:poyrwpcpavamzdmheqcicjduzm

An Algebra of Actors [chapter]

Mauro Gaspari, Gianluigi Zavattaro
1999 Formal Methods for Open Object-Based Distributed Systems  
There have been several attempts to adopt the lI'-calculus and its asynchronous version, for modelling interaction in the context of concurrent object oriented programming languages [18, 29, 23] , but  ...  The idea is to define a formalism that enjoys a clean formal definition allowing the reuse of the rich algebraic theory typical of the process algebras in a context where an high level object oriented  ...  Acknowledgments This research was partially supported by the Italian Ministry of Universities (MURST). We are also grateful to the anonymous referee for their helpful suggestions.  ... 
doi:10.1007/978-0-387-35562-7_2 fatcat:znrdz5qlfvg3bd6ej6cjvsj2w4

Page 7891 of Mathematical Reviews Vol. , Issue 99k [page]

1999 Mathematical Reviews  
of the z-calculus as a metalanguage for the semantics of typed object-oriented languages.  ...  This is the first interpretation of a typed object-oriented language into a process calculus.  ... 

Formalizing φ-calculus: a purely object-oriented calculus of decorated objects [article]

Nikolai Kudasov, Violetta Sim
2022 arXiv   pre-print
Many calculi exist for modelling various features of object-oriented languages.  ...  We formalize untyped calculus of decorated objects, informally presented by Bugayenko, which is defined in terms of objects and relies on decoration as a primary mechanism of object extension.  ...  ACKNOWLEDGMENTS This research has been generously funded by Huawei in the framework of Polystat project.  ... 
arXiv:2204.07454v1 fatcat:5nij2n44hrdnnkkyz5d3ymswku
« Previous Showing results 1 — 15 out of 40,355 results