Modular and composable extensions to smalltalk using composition filters

Current and future trends in computer science require extensions to Smalltalk. Rather than arguing for particular language mechanisms to deal with specific requirements, in this position paper we want to make a case for two requirements that Smalltalk extensions should fulfill. The first is that the extensions must be integrated with Smalltalk without violating its basic object model. The second requirement is that extensions should allow for defining objects that are still adaptable, extensible and reusable, and in particular do not cause inheritance anomalies. We propose the composition filters model as a framework for language extensions that fulfills these criteria. Its applicability to solving various modeling problems is briefly illustrated

Delegated causality of complex systems

A notion of delegated causality is introduced here. This subtle kind of causality is dual to interventional causality. Delegated causality elucidates the causal role of dynamical systems at the “edge of chaos”, explicates evident cases of downward causation, and relates emergent phenomena to Gödel’s incompleteness theorem. Apparently rich implications are noticed in biology and Chinese philosophy. The perspective of delegated causality supports cognitive interpretations of self-organization and evolution

Examples of Reusing Synchronization Code in Aspect-Oriented Programming using Composition Filters

Applying the object-oriented paradigm for the development of large and complex software systems offers several advantages, of which increased extensibility and reusability are the most prominent ones. The object-oriented model is also quite suitable for modeling concurrent systems. However, it appears that extensibility and reusability of concurrent applications is far from trivial. The problems that arise, the so-called inheritance anomalies or crosscutting aspects have been extensively studied in the literature. As a solution to the synchronization reuse problems, we present the composition-filters approach. Composition filters can express synchronization constraints and operations on objects as modular extensions. In this paper we briefly explain the composition filters approach, demonstrate its expressive power through a number of examples and show that composition filters do not suffer from the inheritance anomalies

Applying tropos to socio-technical system design and runtime configuration

Recent trends in Software Engineering have introduced the importance of reconsidering the traditional idea of software design as a socio-tecnical problem, where human agents are integral part of the system along with hardware and software components. Design and runtime support for Socio-Technical Systems (STSs) requires appropriate modeling techniques and non-traditional infrastructures. Agent-oriented software methodologies are natural solutions to the development of STSs, both humans and technical components are conceptualized and analyzed as part of the same system. In this paper, we illustrate a number of Tropos features that we believe fundamental to support the development and runtime reconfiguration of STSs. Particularly, we focus on two critical design issues: risk analysis and location variability. We show how they are integrated and used into a planning-based approach to support the designer in evaluating and choosing the best design alternative. Finally, we present a generic framework to develop self-reconfigurable STSs

An Object-Oriented Model for Extensible Concurrent Systems: the Composition-Filters Approach

Applying the object-oriented paradigm for the development of large and complex software systems offers several advantages, of which increased extensibility and reusability are the most prominent ones. The object-oriented model is also quite suitable for modeling concurrent systems. However, it appears that extensibility and reusability of concurrent applications is far from trivial. The problems that arise, the so-called inheritance anomalies are analyzed and presented in this paper. A set of requirements for extensible concurrent languages is formulated. As a solution to the identified problems, an extension to the object-oriented model is presented; composition filters. Composition filters capture messages and can express certain constraints and operations on these messages, for example buffering. In this paper we explain the composition filters approach, demonstrate its expressive power through a number of examples and show that composition filters do not suffer from the inheritance anomalies and fulfill the requirements that were established

Welfare, Dialectic, and Mediation in Corporate Law

Bill Klein extends an idealistic and progressive invitation with the Criteria for Good Laws of Business Association (the Criteria). The structure of our debates, he says, prevents us from joining the issue. The discourse will move forward if we can isolate core components on which we agree and disagree. The invitation, thus directed, is well-constructed. To facilitate engagement, each criterion is set out as pari passu with each other. And there is a good reason for the inclusion of each listed criterion. Each has an established place in public and private law jurisprudence. Each has influenced results, coming forth as salient in one or another area of law, in one or another regulation or case. We can, then, agree in the abstract to take each criterion seriously. Klein bids us then to cull, modify, and restate, so as to identify more clearly the goals we hold out for corporate law. The remainder of this essay takes up that invitation, taking our debates to the Criteria, taking the Criteria to our debates, and taking both to the law itself. It suggests that the criteria on which we can agree lie at a higher level of generality than the Criteria: corporate law makes us all welfare consequentialists who agree that good corporate law is about encouraging productivity. We differ over the means to that end in debates that have over time evolved away from the ideological and toward the functional. Absent an ex ante set of empirically verifiable formulas for productive business organization, we are left to our debates