The Experts below are selected from a list of 139206 Experts worldwide ranked by ideXlab platform
Kevin Sullivan - One of the best experts on this subject based on the ideXlab platform.
-
classpects unifying aspect and object Oriented Language design
International Conference on Software Engineering, 2005Co-Authors: Hridesh Rajan, Kevin SullivanAbstract:The contribution of this work is the design, implementation, and early evaluation of a programming Language that unifies classes and aspects. We call our new module construct the classpect. We make three basic claims. First, we can realize a unified design without significantly compromising the expressiveness of current aspect Languages. Second, such a design improves the conceptual integrity of the programming model. Third, it significantly improves the compositionality of aspect modules, expanding the program design space from the two-layered model of AspectJ-like Languages to include hierarchical structures. To support these claims, we present the design and implementation of Eos-U, an AspectJ-like Language based on C# that supports classpects as the basic unit of modularity. We show that Eos-U supports layered designs in which classpects separate integration concerns flexibly at multiple levels of composition. The underpinnings of our design include support for aspect instantiation under program control, instance-level advising, advising as a general alternative to object-Oriented method invocation and overriding, and the provision of a separate join-point-method binding construct.
-
classpects unifying aspect and object Oriented Language design
International Conference on Software Engineering, 2005Co-Authors: Hridesh Rajan, Kevin SullivanAbstract:The contribution of this paper is the design, implementation, and early evaluation of a programming Language that unifies classes and aspects. We call our new module construct the classpect. We make three basic claims. First, we can realize a unified design without significantly compromising the expressiveness of current aspect Languages. Second, such a design improves the conceptual integrity of the programming model. Third, it significantly improves the compositionality of aspect modules, expanding the program design space from the two-layered model of AspectJ-like Languages to include hierarchical structures. To support these claims, we present the design and implementation of Eos-U, an AspectJ-like Language based on C# that supports classpects as the basic unit of modularity. We show that Eos-U supports layered designs in which classpects separate integration concerns flexibly at multiple levels of composition. The underpinnings of our design include support for aspect instantiation under program control, instance-level advising, advising as a general alternative to object-Oriented method invocation and overriding, and the provision of a separate join-point-method binding construct.
Philippe Palanque - One of the best experts on this subject based on the ideXlab platform.
-
modeling a groupware editing tool with cooperative objects
Lecture Notes in Computer Science, 2001Co-Authors: Remi Bastide, Philippe PalanqueAbstract:This paper contains a solution to the case study proposed for the 2nd edition of the OO-MC workshop. In this paper, we merely recall the main features of the Cooperative Objects formalism, which is an object-Oriented Language, based on high-level Petri nets. We then include a Cooperative Object model describing the groupware editing tool described in the case study.
-
cooperative objects a concurrent petri net based object Oriented Language
Systems Man and Cybernetics, 1993Co-Authors: Remi Bastide, Christophe Sibertinblanc, Philippe PalanqueAbstract:This paper presents an object-Oriented Language (OOL) designed to allow the easy description of objects with concurrent behavior. In this Language, concurrency, objects' behavior and inter-objects communication are formally described in terms of high-level Petri nets (HLPN). The Language relies on a client-server organisation of objects, and retains the most important features common to sequential OOL: classification, encapsulation, inheritance, instantiation and dynamic use relationship. The Language allows one to provide both an abstract specification for a class, in the spirit of abstract data types, and one or several executable implementations. Object-Oriented notations and PN designs are not kept apart, but on the contrary tightly integrated in a syntactically and semantically coherent framework. The PN theory allows for static analysis of the programs, and provides means for executing them. >
Peter Fritzson - One of the best experts on this subject based on the ideXlab platform.
-
openmodelica a free open source environment for system modeling simulation and teaching
International Conference on Control Applications, 2006Co-Authors: Peter Fritzson, Peter Aronsson, Adrian Pop, Hakan Lundvall, Kaj Nystrom, Levon Saldamli, David Broman, Anders SandholmAbstract:Modelica is a modern, strongly typed, declarative, and object-Oriented Language for modeling and simulation of complex systems. This paper gives a quick overview of some aspects of the OpenModelica environment - an open-source environment for modeling, simulation, and development of Modelica applications. An introduction of the objectives of the environment is given, an overview of the architecture is outlined and a number of examples are illustrated.
-
modelica a general object Oriented Language for continuous and discrete event system modeling and simulation
Annual Simulation Symposium, 2002Co-Authors: Peter Fritzson, Peter BunusAbstract:Modelica is a general equation-based object-Oriented Language for continuous and discrete-event modeling of physical systems for the purpose of efficient simulation. The Language unifies and generalizes previous object-Oriented modeling Languages. It is bringing about a revolution in this area, based on its ease of use, visual design of models with combination of Lego-like predefined model building blocks, its ability to define model libraries with re-usable components and its support for modeling and simulation of complex applications involving parts from several application domains. In this paper we present the Modelica Language with emphasis on its Language features and one of the associated simulation environments. Simulation models can be developed in an integrated problem-solving environment by using a graphical editor for connection diagrams. Connections are established just by drawing lines between objects picked from a class library. The principles of object Oriented physical systems modeling and the multi-domain capabilities of the Language are presented in the paper by several examples.
-
modelica a unified object Oriented Language for system modelling and simulation
European Conference on Object-Oriented Programming, 1998Co-Authors: Peter Fritzson, Vadim EngelsonAbstract:A new Language called Modelica for hierarchical physical modeling is developed through an international effort. Modelica 1.0 [http:// www.Dynasim.se/Modelica] was announced in September 1997. It is an object-Oriented Language for modeling of physical systems for the purpose of efficient simulation. The Language unifies and generalizes previous object-Oriented modeling Languages. Compared with the widespread simulation Languages available today this Language offers three important advances: 1) non-causal modeling based on differential and algebraic equations; 2) multidomain modeling capability, i.e. it is possible to combine electrical, mechanical, thermodynamic, hydraulic etc. model components within the same application model; 3) a general type system that unifies object-orientation, multiple inheritance, and templates within a single class construct.
-
objectmath an object Oriented Language and environment for symbolic and numerical processing in scientific computing
Scientific Programming, 1995Co-Authors: Lars Viklund, Peter FritzsonAbstract:ObjectMath is a Language for scientific computing that integrates object-Oriented constructs with features for symbolic and numerical computation. Using ObjectMath, complex mathematical models may be implemented in a natural way. The ObjectMath programming environment provides tools for generating efficient numerical code from such models. Symbolic computation is used to rewrite and simplify equations before code is generated. One novelty of the ObjectMath approach is that it provides a comman Language and an integrated environment for this kind of mixed symbolic/numerical computation. The motivation for this work is the current low-level state of the art in programming for scientific computing. Much numerical software is still being developed the traditional way in Fortran. This is especially true in application areas such as machine elements analysis, where complex nonlinear problems are the norm. We believe that tools like ObjectMath can increase productivity and quality, thus enabling users to solve problems that are too complex to handle with traditional tools.
Vadim Engelson - One of the best experts on this subject based on the ideXlab platform.
-
modelica a unified object Oriented Language for system modelling and simulation
European Conference on Object-Oriented Programming, 1998Co-Authors: Peter Fritzson, Vadim EngelsonAbstract:A new Language called Modelica for hierarchical physical modeling is developed through an international effort. Modelica 1.0 [http:// www.Dynasim.se/Modelica] was announced in September 1997. It is an object-Oriented Language for modeling of physical systems for the purpose of efficient simulation. The Language unifies and generalizes previous object-Oriented modeling Languages. Compared with the widespread simulation Languages available today this Language offers three important advances: 1) non-causal modeling based on differential and algebraic equations; 2) multidomain modeling capability, i.e. it is possible to combine electrical, mechanical, thermodynamic, hydraulic etc. model components within the same application model; 3) a general type system that unifies object-orientation, multiple inheritance, and templates within a single class construct.
David A. Naumann - One of the best experts on this subject based on the ideXlab platform.
-
A weakest precondition semantics for refinement of object-Oriented programs
IEEE Transactions on Software Engineering, 2000Co-Authors: Ana Cavalcanti, David A. NaumannAbstract:We define a predicate-transformer semantics for an object Oriented Language that includes specification constructs from refinement calculi. The Language includes recursive classes, visibility control, dynamic binding, and recursive methods. Using the semantics, we formulate notions of refinement. Such results are a first step toward a refinement calculus.
-
a weakest precondition semantics for an object Oriented Language of refinement
Formal Methods, 1999Co-Authors: Ana Cavalcanti, David A. NaumannAbstract:We define a predicate-transformer semantics for an object-Oriented Language that includes specification constructs from refinement calculi. The Language includes recursive classes, visibility control, dynamic binding, and recursive methods. Using the semantics, we formulate notions of refinement. Such results are a first step towards a refinement calculus.