The concept of formal islands allows adding to existing programming languages, formal features that can be compiled later on into the host language itself, therefore inducing no dependency on the formal language. We illustrate this approach with the TOM system that provides matching, normalization and strategic rewriting, and we give a formal island implementation for the simulation of a chemic...

The programming languages typically offered by CAD systems for third-party application developers were procedural or functional. A major shift is currently occurring in that new versions of commercial CAD software will support object-oriented programming languages for application development. Developers who wish to take advantage of this new kind of environment must undergo a considerable cogni...

Sustainable product lifecycle systems are attracting increasing attention because of cost competition, resource constraints and environmental issues. Short lifecycle products, such as consumer and defense electronics, are of particular concern. We formulate a closed-loop supply chain with Stochastic Dynamic Programming method. By applying the concept of a sustainable product lifecycle, guidelin...

In this paper we introduce a MAS-based methodology for simulating the behavior of large scale systems populated by human individuals with diverse strategies and goals. The great challenge in simulating this kind of systems derives primarily from the need to predict how the different strategic behaviors of the individuals change as a result of changes in system settings, the types of information...

universities have a magnificent role in the sustainable development of their country and international scientific production of their country. purpose of this paper is expansion of using balance scorecard in universities in order to improve performance of universities in learning and educating. the balanced scorecard (bsc) is an extensively adopted performance management framework in a lot of o...

Spreadsheets are among the most widely used programming tools, having been adopted almost universally for computing and tabulating financial information. They were not designed for use in strategic applications, however, since they lack all but the most rudimentary programming support, and are highly likely to contain errors. In L-sheets, a recently proposed extension to spreadsheets, the stand...

OBJECTIVE The Substitutable Medical Applications, Reusable Technologies (SMART) Platforms project seeks to develop a health information technology platform with substitutable applications (apps) constructed around core services. The authors believe this is a promising approach to driving down healthcare costs, supporting standards evolution, accommodating differences in care workflow, fostering...

BACKGROUND Omaha, an urban Nebraska community, represents 26% of the state's population. Activate Omaha, formed in 2003, addressed the obesity epidemic caused by physical inactivity and poor infrastructure to support active living in the community. INTERVENTION Activate Omaha's efforts focused on a strategic social-marketing campaign, using baseline and annual data for guidance. Complementary...

We provide a compositional coalgebraic semantics for strategic games. In our framework, like in the semantics of functional programming languages, coalgebras represent the observable behaviour of systems derived from the behaviour of the parts over an unobservable state space. We use coalgebras to describe and program stage games, finitely and potentially infinitely repeated hierarchical or par...

We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between the specification of the agent’s strategic behavior and the underlying theory about the agent’s actions and their effects. This makes it a generic, declarative agent programming language, which can be combined with an...