Architecture and Implementation Issues

2011 ◽  
pp. 95-137
Author(s):  
Ajantha Dahanayake
Keyword(s):  
Object Representation ◽  
Formal Model ◽  
Systems Design ◽  
Service Description ◽  
Formal Approach ◽  
Implementation Model ◽  
Formal Basis ◽  
Service Object ◽  
Automated Support ◽  
Definition Of

Historically the focus is on the theory of how problem-specific systems design tools can be supported by a Computer Aided Method Engineering (CAME) environment based on service object representation. To arrive at an implementation model, the conceptual model of the service object representation must be formalized. This theory is feasible when there is adequate computer support. Many researchers have emphasized strongly that requirement specification languages should have a rigorous formal basis; however, this need for formality has not been generally acknowledged in the field of information systems development. Most organizations and research groups tend to define their own methods using techniques advocated within such methods that often have no formal foundation. Discussions of modeling techniques are based on numerous examples, mostly using diagrams and notational conventions, to provide a popular style for the definition of new concepts and their behavior. In a CAME environment however, which gives the freedom to specify a modeling technique from scratch, it is difficult to avoid deficiencies such as inconsistency, lack of structure, over specification, incompleteness, ambiguity, and redundancy without using a formal approach. In automated support a formal model is used to provide stable specifications for implementation. In fact, an implementation can be seen as another, enormously detailed formal description, usually in an imperative programming language. To implement this sophisticated automated support, formal specifications of the CAME service description with adequate formal reasoning were derived earlier.

Architecture and Implementation Issues

2002 ◽  
pp. 16-57
Author(s):  
Ajantha Dahanayake
Keyword(s):  
Information Systems ◽  
Object Representation ◽  
Formal Model ◽  
Systems Design ◽  
Service Description ◽  
Formal Approach ◽  
Problem Situations ◽  
Service Object ◽  
Automated Support ◽  
Definition Of

Historically the focus is on the theory of how problem-specific systems design tools can be supported by a Computer Aided Method Engineering (CAME) environment based on service object representation. To arrive at an implementation model, the conceptual model of the service object representation must be formalized. This theory is feasible when there is adequate computer support. Many researchers have emphasized strongly that requirement specification languages should have a rigorous formal basis; however, this need for formality has not been generally acknowledged in the field of information systems development. Most organizations and research groups tend to define their own methods using techniques advocated within such methods that often have no formal foundation. Discussions of modeling techniques are based on numerous examples, mostly using diagrams and notational conventions, to provide a popular style for the definition of new concepts and their behavior. In a CAME environment however, which gives the freedom to specify a modeling technique from scratch, it is difficult to avoid deficiencies such as inconsistency, lack of structure, over specification, incompleteness, ambiguity, and redundancy without using a formal approach. In automated support a formal model is used to provide stable specifications for implementation. In fact, an implementation can be seen as another, enormously detailed formal description, usually in an imperative programming language. To implement this sophisticated automated support, formal specifications of the CAME service description with adequate formal reasoning were derived earlier. In this chapter the concentration is on using representation formalism to construct a problem-specific CAME environment. Such an automated support environment must be provided for the information systems design stage in particular for the required UpperCASE tools according to the methods chosen for the problem situations. The vision is that CAME environments must function as a service-based, object-oriented MetaCASE environment that offers the services required for modeling tools, and using a mechanism to interpret the required modeling knowledge and changing the visual representation to the required form using a graphic object binding mechanism. Further, this environment must offer a mechanism for the populations of models specified according to such UpperCASE tools.

The CAME Environment's Basic Component Services

2011 ◽  
pp. 37-58
Author(s):  
Ajantha Dahanayake
Keyword(s):  
Systems Design ◽  
Basic Component ◽  
Information Modeling ◽  
Service Description ◽  
Information Systems Design ◽  
Basic Service ◽  
Architectural Representation ◽  
Basic Services ◽  
Service Object ◽  
Informal Description

In Chapter 2 an object model-based concept, the service object for the specification of basic services of a CAME environment, is given. The focus of this chapter is to identify the composition of such an environment. The basic service objects and relevant service object primitives of a service-based model of a CAME environment is presented in this chapter by mapping the services and primitives to an example problem domain. This example problem is used to formulate a generic architectural representation for a CAME service description of an information modeling support environment. Such a representation should be capable of providing a flexible and extendable mechanism for information systems design processes. An informal description of the basic CAME service framework is presented in the remainder of the chapter.

scholarly journals Software Defined Storage Implementation Model to Data Centers

2020 ◽  
Vol 9 (1) ◽  
pp. 300-303
Keyword(s):  
Open Source ◽  
Data Centers ◽  
Great Benefit ◽  
Timely Manner ◽  
Implementation Model ◽  
Economic Level ◽  
Systems Software ◽  
Definition Of

This research focuses on deliver a SDS implementation model that facilitate the definition of requirements to be delivered in a timely manner to systems. Software Defined Storage (SDS) enables different hardware technologies to be homogenized and deliver independent storage. The technologies included on the implementation model are the open-source projects Red Hat Gluster Storage and Red Hat Ceph Storage. Both technologies are integrated into a virtualization platform, it is compared at a functional and economic level with respect to some enterprise solutions and it is shown that the same operations are performed as a viable technological alternative. The favorable results of the model are presented and the great benefit that open-source technologies have open scope that allows it to be integrated into other projects is presented.

scholarly journals Psycho-semiotic model of thinking. Combining Klein and Peirce theory of symbol for more comprehensive model of mind

2019 ◽  
Vol 10 (1) ◽  
pp. 51-67
Author(s):  
Marta Iwaszuk
Keyword(s):  
Object Relations ◽  
Object Representation ◽  
Object Relation ◽  
Melanie Klein ◽  
Sign Theory ◽  
Semiotic Model ◽  
Proposed Model ◽  
Individual Potential ◽  
Semiotic Perspective ◽  
Definition Of

Thesis: Aim of the paper is to present Melanie Klein and Charles S. Peirce concept of symbol in order to combine them into scheme that presents conscious and unconscious aspect of thinking through symbolic signs (signs based on convention). Presented concepts: Paper presents concept of symbol in psychoanalytical and semiotic perspective. Psychoanalytical view is based on interpretation of symbol according to object relation paradigm proposed by Klein. There are two reasons for selecting her theory for the model: it is most closely bound with interdependency between communication and thinking plus her concept of proper symbol fulfills definition of symbolic sign in Peirce theory, due to deployment of matter of absence in substitution process. Peirce theory however is selected to present semiotic perspective not only for its good linkage to Klein’s “proper symbol” but also for its accurate understating of object representation in quasi- mind through Representamen and as a result recognition of symbol embedment in code through unlimited semiosis. Chosen concepts are consolidated into psycho-semiotic model of thinking which recognizes symbol to be co-created by unique internal world of unconscious phantasy with simultaneous employment of semiotic devices oriented to external, group order perspective. Results and conclusions: Proposed psycho-semiotic model of thinking enhances psychoanalytic view, based on drive for object, by recognizing communication means required for meaningful relation and with that for thinking itself. As a result conceptualizing thinking processes is enriched with semiotic discoveries such as mechanics and structure of Representamen and Interpretant, along with indispensable code rules, with unlimited semiosis at its core. In turn psychoanalytical view adds to semiotic perspective sensitivity to individual potential and constrains when code is in use and with that raises precision of exploration in the field. Contribution to the field: Proposed model enriches theory of thinking based on object relations with semiotic sign theory, which being focused on communication serves as a frame for establishing object relations and their conceptualization. In turn employing psychoanalytic perspective into semiotic field brings back code theory to actual code usage, and by that expands it to various unconscious forces, which ultimately determine Interpretant

scholarly journals Addressing the Problems of Land Registration Processes in Complex Land Tenure Systems Using Computational Techniques: Evidence from Accra Ghana

2019 ◽  
Vol 1 (1) ◽  
pp. 31-57
Author(s):  
Williams Miller Appau ◽  
Baslyd B. Nara ◽  
Javier G. Morales
Keyword(s):  
Land Tenure ◽  
Design Method ◽  
Systems Design ◽  
Computational Techniques ◽  
Structured Interviews ◽  
Land Registration ◽  
Study Approach ◽  
The People ◽  
Definition Of ◽  
Land Tenure Systems

Land registration processes have been described to be simplistic in simple land tenure environments where land rights are treasured and registered by the state on behalf of the people. Duplication of tasks, repeated preparation of land registration documents, and wrong definition of tasks affect the activities and processes of land registration characterising complex land tenure environments. Many qualitative land registration models such as the use of Unified Modified Language (UML) diagrams have been developed to show the frameworks of land registration processes in most parts of the world. However, most researches avoid the technical implementation of these models. This paper presents the quantitative approaches to addressing the problems of land registration processes in complex land tenure systems using computational techniques such as Process Maker and Java Script. The paper used case study approach to collect data and systems design method for the output. Semi-structured interviews were used to collect data from the Lands Commission of Accra and its stakeholders. Process maker software was operationalised using GeoJSON parcel file. Results show that, the simplification of land registration processes is based on the rationale behind the change (Data error, improved capacity, service quality), and the semantics (process re-engineering) involved in the computation of the modelling processes. The outcome has the ability to simplify an otherwise complex tenure system by avoiding delays and therefore improving the land registration processes.

UML as Front-End Language for Embedded Systems Design

2010 ◽  
pp. 1-23
Author(s):  
Lisane Brisolara de Brisolara ◽  
Marcio Eduardo Kreutz ◽  
Luigi Carro
Keyword(s):  
Embedded Systems ◽  
Embedded System ◽  
Systems Design ◽  
Design Flow ◽  
Domain Specific ◽  
History Of ◽  
Uml Diagrams ◽  
The Embedded System ◽  
Definition Of

This chapter covers the use of UML as a modeling language for embedded systems design. It introduces the UML language, presenting the history of its definition, its main diagrams and characteristics. Using a case study, we show that using the standard UML with its limitations one is not able to model many important characteristics of embedded systems. For that reason, UML provides extension mechanisms that enable one to extend the language for a given domain, through the definition of profiles covering domain-specific applications. Several profiles have been proposed for the embedded systems domain, and some of those that have been standardized by OMG are presented here. A case study is also used to present MARTE, a new profile specifically proposed for the embedded system domain, enabling designers to model aspects like performance and schedulability. This chapter also presents a discussion about the effort to generate code from UML diagrams and analyses the open issues to the successful use of UML in the whole embedded system design flow.

Multispectral Image Compression, Intelligent Analysis, and Hierarchical Search in Image Databases

2012 ◽  
Vol 3 (4) ◽  
pp. 1-30
Author(s):  
Stuart Rubin ◽  
Roumen Kountchev ◽  
Mariofanna Milanova ◽  
Roumiana Kountcheva
Keyword(s):  
Object Representation ◽  
Image Databases ◽  
Multispectral Images ◽  
Invariant Representation ◽  
Flexible Tool ◽  
New Approach ◽  
Analysis And Evaluation ◽  
Hierarchical Search ◽  
Efficient Processing ◽  
Definition Of

In this paper, a new approach is offered for the efficient processing and analysis of groups of multispectral images of the same objects. It comprises several tools: the Modified Inverse Pyramid Decomposition; the invariant object representation with Modified Mellin-Fourier transform, and the hierarchical search in image databases, for which the invariant representation is used. The new approach permits the definition of a large number of parameters, which are used for object analysis and evaluation. When combined with the KASER expert system, this approach yields a flexible tool for the analysis of multispectral images of the same object.

The role of measurement in theorising about the world

2019 ◽  
Vol 58 (2) ◽  
pp. 301-326
Author(s):  
Nicole Holzhauser ◽  
Frank Eggert
Keyword(s):  
Role Theory ◽  
Formal Model ◽  
Measurement Theory ◽  
Heuristic Approach ◽  
Specific Information ◽  
Scaling Model ◽  
The World ◽  
Definition Of ◽  
Representational Approach

The procedure of establishing a measure of an attribute consists of the assignment of numbers to objects whose attributes show some variability according to rules. These rules are chosen so that the assigned numbers contain some ‘information’ about the differing variants of the attribute. In the article, we discuss a heuristic, a scaling, and a representational approach. Within the heuristic approach, rules can be based on a verbal argument heuristically linking the variability in the attribute to differences in the measurements. In this case, the specific information that is represented by the measurements is very hard to determine due to the lack of a formal model. Within the scaling approach, a formal model is used to derive rules for the assignment of numbers to the variants of the attribute. From a scaling model, conclusions about the specific information assumed to be represented in the measurements can be derived. Both approaches depend on the assumption that there is something to measure, namely that the attribute that is going to be measured exists in a realm different from the numerical one. Within the representational approach, one tries to clarify what conditions must be met by an attribute to be considered measurable so that relations between the measurements can be interpreted as reflecting relations between the variants of the attribute. By specifying the conditions an attribute must meet to be measurable at all, measurement theory opens an alternative way to rules and thus to measurements. Following this approach, it is no longer necessary only to assume that there is some measurable attribute, but one can find out whether this indeed is the case. Moreover, the interdependence of the definition of an attribute and its measurability, as well as the role theory plays in defining certain attributes, can be clarified.

Synergy-Based Approach to Bad Engineering

2006 ◽  
Author(s):  
Andres Martin ◽  
Frid Kaljas ◽  
Vello Reedik
Keyword(s):  
Control Systems ◽  
Systems Design ◽  
Personal Communication ◽  
Research Area ◽  
Consumer Products ◽  
Development Stages ◽  
Unique Data ◽  
Definition Of ◽  
Statistical Results

In the present paper unique data about initial shortcomings in the design and application of different industrial and consumer products are presented. The research area covers all of the products’ development stages beginning with factory automation and equipment control systems, and continuing with the design and realization of light fittings up to follow-up on the product development of office machines. The statistical results of this research are presented. Further the essence of the synergy-based approach to the design process, focussing on the most common human faults/mistakes, is clarified. Evidence is presented to show that the reason for human shortcomings is either the lack of synergy in teamworking or problems in inner personal communication. A detailed definition of the concepts of positive and negative synergy, with examples from both categories is given. Guidelines are given to reduce human risks at the conception of interdisciplinary systems design to avoid bad engineering. A framework for the synergy-based design of interdisciplinary systems is presented capable of adapting to the competences of the design team.

Designing for a green chemistry future

Science ◽  
2020 ◽  
Vol 367 (6476) ◽  
pp. 397-400 ◽  
Author(s):  
Julie B. Zimmerman ◽  
Paul T. Anastas ◽  
Hanno C. Erythropel ◽  
Walter Leitner
Keyword(s):  
Green Chemistry ◽  
Molecular Level ◽  
Positive Impact ◽  
Systems Design ◽  
Global Scale ◽  
Design Stage ◽  
Sustainable Society ◽  
Material Basis ◽  
Chemical Products ◽  
Definition Of

The material basis of a sustainable society will depend on chemical products and processes that are designed following principles that make them conducive to life. Important inherent properties of molecules need to be considered from the earliest stage—the design stage—to address whether compounds and processes are depleting versus renewable, toxic versus benign, and persistent versus readily degradable. Products, feedstocks, and manufacturing processes will need to integrate the principles of green chemistry and green engineering under an expanded definition of performance that includes sustainability considerations. This transformation will require the best of the traditions of science and innovation coupled with new emerging systems thinking and systems design that begins at the molecular level and results in a positive impact on the global scale.

Sign in / Sign up

Export Citation Format

Share Document