design of a logistics network in proper way provides a proper platform for efficient and effective supply chain management. this paper studies a multi-period, multi echelon and multi-product integrated forward-reverse logistics network under uncertainty. first, an efficient complex mixed-integer linear programming (milp) model by considering some real-world assumptions is developed for the inte...

; LOGIN : AUGUST 2010 SYMBIAN OS PLATFORM SECURITY MODEL 23 THE S YMB IAN OS B ECAME FU L LY OPEN sourced in February 2010, which opens even more possibilities for application developers to understand and analyze its security solution. We present a short introduction to the software features of Symbian platform security: three trust tiers, capability model, data caging, and the Symbian signed p...

This paper presents an aspect-based approach for realizing a transformation from platform-independent to platform-dependent models in the context of a model transformation chain that generates queueing-based performance models from UML design models of serviceoriented applications. The purpose of generating such performance models is to evaluate the performance of the system under development i...

Nowadays, distributed and mobile systems are acquiring greater importance and becoming more widely used to support ubiquitous computing. However, developing systems of this kind is a difficult task. Instead of concentrating on how problems should be solved developers must worry about implementation details. Ambient Calculus is a formalism that provides primitives to describe mobile systems in a...

To manage the development of cooperative information systems that support the dynamics and mobility of modern businesses, separation of concern mechanisms and abstractions are needed. Model driven development (MDD) approaches utilize abstraction and transformation to handle complexity. In MDD, specifying transformations between models at various levels of abstraction can be a complex task. Spec...

We present the generator framework WASL, which supports model-driven development of web applications. It enables the modeling of data, navigation, business logic, and presentation logic. WASL supports the MDA by providing transformation definitions from a computation-independent model (CIM) to a platform-independent model (PIM) and then to a platform-specific model (PSM). An important aspect of...

Dieser Beitrag beschreibt, wie Referenzarchitekturen die MDA nutzbar machen. Die Referenzarchitekturen liefern dabei die konzeptionelle Unterstützung für die Konstruktion und Implementierung von Software und die MDA bietet den Rahmen für eine Werkzeugunterstützung. Die praktische Umsetzbarkeit wird mit dem OpenSource Framework AndroMDA und einer Referenzarchitektur der Firma iteratec GmbH gezei...