38014527
A Quality Design Solution for Object Synchronization
This paper presents a quality design solution, the Customizable Object Synchronization pattern, for object synchronization which decouples object synchronization from object concurrency and object functionality (sequential part). The solution described by this pattern provides encapsulation, extensibility, modularity and reuse of synchronization policies.
35073381
Service Logic Deployment and Distribution Configuration
The success of service providers in the competitive communications market of the future will be determined by the efficiency with which services are developed, and the quality levels at which services are provided. A service creation environment (SCE) should provide the service developer with solutions to these problems. In this paper we present two essential facilities that should be provided by an advanced SCE: a tool for the optimisation of the service logic deployment scheme and a distribution configuration language supporting the deployment and configuration of component-based distributed applications.
11594682
Framework, Design Patterns and Pattern Language for Object Concurrency
The development of concurrent applications is hard due to the diverse concerns involved and the non-determinism inherent to the implementation environment. In order to control such complexity developers can benefit from objectoriented frameworks providing application-independent solutions which can be specialized for the application-specific needs. A primary contribution of this paper is to describe a family of design patterns for object concurrency which are composed in a three-layered framework. In addition, a pattern language describing an incremental development process which is based on the framework and design patterns is also presented.
14281129
An abstraction for awareness management in collaborative virtual environments
This paper describes an object-oriented abstraction for the problem of awareness management in Collaborative Virtual Environments (CVEs). The described abstraction allows for different types of awareness information and awareness management policies to be used. It is also described how the defined abstraction was used to support the awareness management policies of two demo CVEs application.
1719989
Empirical Evaluation of SysML through the Modeling of an Industrial Automation Unit
Industrial automation systems may include people, hardware, software and other elements necessary to produce the desirable results. The SysML modeling language is being proposed, by OMG and INCOSE, as a language that allows the system description correctly and consistently among various participants of the same project (software, mechanical, electrical and others engineers). The objective of this work is to evaluate the SysML proposal as a description language for industrial systems through the modeling of an industrial automation unit. A brief system description of the case study is included, the SysML diagrams will be presented during the system modeling and finally comments and considerations about the models and the modeling task are presented.
12874902
Behavioural Differential Equations and Coinduction for Binary Trees
We study the set TA of infinite binary trees with nodes labelled in a semiring A from a coalgebraic perspective. We present coinductive definition and proof principles based on the fact that TA carries a final coalgebra structure. By viewing trees as formal power series, we develop a calculus where definitions are presented as behavioural differential equations. We present a general format for these equations that guarantees the existence and uniqueness of solutions. Although technically not very difficult, the resulting framework has surprisingly nice applications, which is illustrated by various concrete examples.
38034228
On the Power of P Systems with DNA-Worm-Objects
We introduce a variant of P systems with string-objects - called worm-objects - inspired in the DNA computing area. These systems work with multisets of string-objects processed by splitting, mutation, replication and recombination. This model is simpler (we eliminate the replication operation) and more realistic (the recombination operation is changed by the simpler one of suffix-prefix or head-tail concatenation developed in the DNA computing framework) than the previous one. The result of a computation is the set of strings sent out of the system. We work with multisets of strings but we generate languages instead of sets of numbers. We prove that, without priority among rules or other control mechanisms, (1) these P systems with at most three membranes can generate all recursively enumerable languages, (2) with non-decreasing length mutation and splitting rules, three membranes are enough to generate the family of context-sensitive languages, and (3) with these restricted types of splitting and mutation rules, four membranes can generate the family of recursively enumerable languages.
7623756
Knowledge Management Systems Development: A Roadmap
This paper approaches the Knowledge Management Systems study, focusing not only in the establishment of essential development activities, but also in techniques, technologies, and tools for their support. Despite of the wide range of existing proposals for the development of this type of systems, none of them has achieved a level detailed enough to allow a direct application. This study is intended to be a palliative for the above-mentioned lack of detail by means of a development guide for Knowledge Management Systems. In this way, the proposed solution offers a clear definition concerning what has to be done and which type of mechanisms should be used for its development.
1133493
A methodological framework for generic conceptualisation: problem-sensitivity in software engineering
Abstract The first step towards developing quality software is to conceptually model the problem raised in its own context. Software engineering, however, has traditionally focused on implementation concepts, and has paid little or no attention to the problem domain. This paper presents a generic methodological framework to guide conceptual modelling, focusing on the problem within its domain. This framework is defined considering aspects related to a generic conceptualisation, and its application to software engineering—illustrated using the IFIP Case—achieves the called-for problem-sensitivity.