Abstract: None of the processing models in the software
development has explained the software systems performance
evaluation and modeling; likewise, there exist uncertainty in the
information systems because of the natural essence of requirements,
and this may cause other challenges in the processing of software
development. By definition an extended version of UML (Fuzzy-
UML), the functional requirements of the software defined
uncertainly would be supported. In this study, the behavioral
description of uncertain information systems by the aid of fuzzy-state
diagram is crucial; moreover, the introduction of behavioral diagrams
role in F-UML is investigated in software performance modeling
process. To get the aim, a fuzzy sub-profile is used.
Abstract: Levan, an exopolysaccharide, was produced by
Microbacterium laevaniformans and its yield was characterized as a
function of concentrations of date syrup, sucrose and the fermentation
time. The optimum condition for levan production from sucrose was
at concentration of 20% sucrose for 48 h and for date syrup was 25%
for 48 h. The results show that an increase in fermentation time
caused a decrease in the levan production at all concentrations of date
syrup tested. Under these conditions after 48 h in sucrose medium,
levan production reached 48.9 g/L and for date syrup reached 10.48
g/L . The effect of pH on the yield of the purified levan was examined
and the optimum pH for levan production was determined to be 6.0.
Levan was composed mainly of fructose residues when analyzed by
TLC and FT-IR spectroscopy. Date syrup is a cheap substrate widely
available in Iran and has potential for levan production. The thermal
stability of levan was assessed by Thermo Gravimetric Analysis
(TGA) that revealed the onset of decomposition near to 49°C for the
levan produced from sucrose and 51°C for the levan from date syrup.
DSC results showed a single Tg at 98°C for levan produced from
sucrose and 206 °C for levan from date syrup.
Abstract: UML is a collection of notations for capturing a software system specification. These notations have a specific syntax defined by the Object Management Group (OMG), but many of their constructs only present informal semantics. They are primarily graphical, with textual annotation. The inadequacies of standard UML as a vehicle for complete specification and implementation of real-time embedded systems has led to a variety of competing and complementary proposals. The Real-time UML profile (UML-RT), developed and standardized by OMG, defines a unified framework to express the time, scheduling and performance aspects of a system. We present in this paper a framework approach aimed at deriving a complete specification of a real-time system. Therefore, we combine two methods, a semiformal one, UML-RT, which allows the visual modeling of a realtime system and a formal one, CSP+T, which is a design language including the specification of real-time requirements. As to show the applicability of the approach, a correct design of a real-time system with hard real time constraints by applying a set of mapping rules is obtained.
Abstract: Component-Based software engineering provides an
opportunity for better quality and increased productivity in software
development by using reusable software components [10]. One of the
most critical aspects of the quality of a software system is its
performance. The systematic application of software performance
engineering techniques throughout the development process can help
to identify design alternatives that preserve desirable qualities such
as extensibility and reusability while meeting performance objectives
[1]. In the present scenario, software engineering methodologies
strongly focus on the functionality of the system, while applying a
“fix- it-later" approach to software performance aspects [3]. As a
result, lengthy fine-tunings, expensive extra hard ware, or even
redesigns are necessary for the system to meet the performance
requirements. In this paper, we propose design based,
implementation independent, performance prediction approach to
reduce the overhead associated in the later phases while developing a
performance guaranteed software product with the help of Unified
Modeling Language (UML).
Abstract: This paper examines and compares several of the most common real time methods. These methods are CORE, YSM, MASCOT, JSD, DARTS, RTSAD, ADARTS, CODARTS, HOOD, HRT-HOOD, ROOM, UML, UML-RT. The methods are compared using attributes like i) usability, ii) compositionality and iii) proper RT notations available. Finally some comparison results are given and discussed.
Abstract: One of object oriented software developing problem
is the difficulty of searching the appropriate and suitable objects for
starting the system. In this work, ontologies appear in the part of
supporting the object discovering in the initial of object oriented
software developing. There are many researches try to demonstrate
that there is a great potential between object model and ontologies.
Constructing ontology from object model is called ontology
engineering can be done; On the other hand, this research is aiming to
support the idea of building object model from ontology is also
promising and practical. Ontology classes are available online in any
specific areas, which can be searched by semantic search engine.
There are also many helping tools to do so; one of them which are
used in this research is Protégé ontology editor and Visual Paradigm.
To put them together give a great outcome. This research will be
shown how it works efficiently with the real case study by using
ontology classes in travel/tourism domain area. It needs to combine
classes, properties, and relationships from more than two ontologies
in order to generate the object model. In this paper presents a simple
methodology framework which explains the process of discovering
objects. The results show that this framework has great value while
there is possible for expansion. Reusing of existing ontologies offers
a much cheaper alternative than building new ones from scratch.
More ontologies are becoming available on the web, and online
ontologies libraries for storing and indexing ontologies are increasing
in number and demand. Semantic and Ontologies search engines have
also started to appear, to facilitate search and retrieval of online
ontologies.
Abstract: Recently, we have presented an initial implementation
of a model agent-based e-commerce system, which utilized a simple
price negotiation mechanism–English Auction. In this note we
discuss how a Dutch Auction involving multiple units of a product
can be included in our system. We present UML diagrams of
agents involved in price negotiations and briefly discuss rule-based
mechanism exemplifying Dutch Auction.
Abstract: The role of the pollen grain, with to the reproductive
process of higher plants, is to deliver the spermatic cells to the
embryo sac for egg fertilization. The aim of this project was study
the effect of electromagnetic fields on structure and pollen grains
development in Chenopodium album. Anthers of Chenopodium
album L. were collected at different stages of development from
control (without electromagnetic field) and plants grown at 10m from
the field sources. Structure and development of pollen grains were
studied and compared. The studying pollen structure by Light and
Scanning electron microscopy showed that electromagnetic fields
reduction of pollen grains number and male sterility, thus , in some
anthers, pollen grains were attached together and deformed compared
to control ones. The data presented suggest that prolonged exposures
of plants to magnetic field may cause different biological effects at
the cellular tissue and organ levels.
Abstract: With major technological advances and to reduce the
cost of training apprentices for real-time critical systems, it was
necessary the development of Intelligent Tutoring Systems for
training apprentices in these systems. These systems, in general, have
interactive features so that the learning is actually more efficient,
making the learner more familiar with the mechanism in question. In
the home stage of learning, tests are performed to obtain the student's
income, a measure on their use. The aim of this paper is to present a
framework to model an Intelligent Tutoring Systems using the UML
language. The various steps of the analysis are considered the
diagrams required to build a general model, whose purpose is to
present the different perspectives of its development.
Abstract: The ability of UML to handle the modeling process of complex industrial software applications has increased its popularity to the extent of becoming the de-facto language in serving the design purpose. Although, its rich graphical notation naturally oriented towards the object-oriented concept, facilitates the understandability, it hardly successes to report all domainspecific aspects in a satisfactory way. OCL, as the standard language for expressing additional constraints on UML models, has great potential to help improve expressiveness. Unfortunately, it suffers from a weak formalism due to its poor semantic resulting in many obstacles towards the build of tools support and thus its application in the industry field. For this reason, many researches were established to formalize OCL expressions using a more rigorous approach. Our contribution join this work in a complementary way since it focuses specifically on OCL predefined properties which constitute an important part in the construction of OCL expressions. Using formal methods, we mainly succeed in expressing rigorously OCL predefined functions.
Abstract: Models are placed by modeling paradigm at the center of development process. These models are represented by languages, like UML the language standardized by the OMG which became necessary for development. Moreover the ontology engineering paradigm places ontologies at the center of development process; in this paradigm we find OWL the principal language for knowledge representation. Building ontologies from scratch is generally a difficult task. The bridging between UML and OWL appeared on several regards such as the classes and associations. In this paper, we have to profit from convergence between UML and OWL to propose an approach based on Meta-Modelling and Graph Grammars and registered in the MDA architecture for the automatic generation of OWL ontologies from UML class diagrams. The transformation is based on transformation rules; the level of abstraction in these rules is close to the application in order to have usable ontologies. We illustrate this approach by an example.
Abstract: Business process model describes process flow of a
business and can be seen as the requirement for developing a
software application. This paper discusses a BPM2CD guideline
which complements the Model Driven Architecture concept by
suggesting how to create a platform-independent software model in
the form of a UML class diagram from a business process model. An
important step is the identification of UML classes from the business
process model. A technique for object-oriented analysis called
domain analysis is borrowed and key concepts in the business
process model will be discovered and proposed as candidate classes
for the class diagram. The paper enhances this step by using ontology
search to help identify important classes for the business domain. As
ontology is a source of knowledge for a particular domain which
itself can link to ontologies of related domains, the search can give a
refined set of candidate classes for the resulting class diagram.
Abstract: Unified Modeling Language (UML) is a standard
language for modeling of a system. UML is used to visually specify
the structure and behavior of a system. The system requirements are
captured and then converted into UML specification. UML
specification uses a set of rules and notations, and diagrams to
specify the system requirements. In this paper, we present a tool for
developing the UML specification. The tool will ease the use of the
notations and diagrams for UML specification as well as increase the
understanding and familiarity of the UML specification. The tool will
also be able to check the conformance of the diagrams against each
other for basic compliance of UML specification.
Abstract: As business environments are rapidly changing,
the manufacturing system must be reconfigured to adapt to
various customer needs. In order to cope with this challenge, it
is quintessential to test industrial control logic rapidly and
easily in the design time, and monitor operational behavior in
the run time of automated manufacturing system. Proposed
integrated model for virtual prototyping and operational
monitoring of industrial control logic is to improve limitations
of current ladder programming practices and general discrete
event simulation method. Each plant layout model using HMI
package and object-oriented control logic model is designed
independently and is executed simultaneously in integrated
manner to reflect design practices of automation system in the
design time. Control logic is designed and executed using UML
activity diagram without considering complicated control
behavior to deal with current trend of reconfigurable
manufacturing. After the physical installation, layout model of
virtual prototype constructed in the design time is reused for
operational monitoring of system behavior during run time.
Abstract: This paper describes a system-level SoC energy
consumption estimation method based on a dynamic behavior of
embedded software in the early stages of the SoC development. A
major problem of SOC development is development rework caused by
unreliable energy consumption estimation at the early stages. The
energy consumption of an SoC used in embedded systems is strongly
affected by the dynamic behavior of the software. At the early stages
of SoC development, modeling with a high level of abstraction is
required for both the dynamic behavior of the software, and the
behavior of the SoC. We estimate the energy consumption by a UML
model-based simulation. The proposed method is applied for an actual
embedded system in an MFP. The energy consumption estimation of
the SoC is more accurate than conventional methods and this proposed
method is promising to reduce the chance of development rework in
the SoC development. ∈