Extension of Petri Nets by Aspects to Apply the Model Driven Architecture Approach

Within MDA models are usually created in the UML. However, one may prefer to\ud use different notations such as Petri-nets, for example, for modelling concurrency\ud and synchronization properties of systems. This paper claims that techniques that\ud are adopted within the context of MDA can also be beneficial in modelling systems\ud by using notations other than the UML. Petri-Nets are widely used for modelling\ud of business and application logic of information systems with web services. For\ud certain kinds of applications, therefore, Petri Nets can be more suitable for building\ud Computation Independent, Platform Independent and Platform Specific Models\ud (CIM, PIM and PSM). Unfortunately, the well-known problems with separation of\ud concerns in Petri Nets and keeping track of changes may hinder achieving the aim of\ud MDA: building reusable, portable and interoperable models. In this paper we define\ud Aspect Petri Nets as a structure of several Petri Nets and quantification rules for\ud weaving of those Petri Nets. Aspect Petri Nets are suitable for application of MDA;\ud they support traceability of changes and reusability, portability and interoperability\ud of models. We illustrate advantages of modelling in Aspect Petri Nets for MDA\ud application and describe necessary tool support

Mapping Aspects to Components

This document defines a representation of aspects in the component model. Such a representation requires modeling the available (primitive) components, defining the composition mechanism, and representing aspects as enhancements of components

A Model-Derivation Framework for Software Analysis

Model-based verification allows to express behavioral correctness conditions like the validity of execution states, boundaries of variables or timing at a high level of abstraction and affirm that they are satisfied by a software system. However, this requires expressive models which are difficult and cumbersome to create and maintain by hand. This paper presents a framework that automatically derives behavioral models from real-sized Java programs. Our framework builds on the EMF/ECore technology and provides a tool that creates an initial model from Java bytecode, as well as a series of transformations that simplify the model and eventually output a timed-automata model that can be processed by a model checker such as UPPAAL. The framework has the following properties: (1) consistency of models with software, (2) extensibility of the model derivation process, (3) scalability and (4) expressiveness of models. We report several case studies to validate how our framework satisfies these properties.Comment: In Proceedings MARS 2017, arXiv:1703.0581

A Model-Derivation Framework for Software Analysis

Model-based verification allows to express behavioral correctness conditions like the validity of execution states, boundaries of variables or timing at a high level of abstraction and affirm that they are satisfied by a software system. However, this requires expressive models which are difficult and cumbersome to create and maintain by hand. This paper presents a framework that automatically derives behavioral models from real-sized Java programs. Our framework builds on the EMF/ECore technology and provides a tool that creates an initial model from Java bytecode, as well as a series of transformations that simplify the model and eventually output a timed-automata model that can be processed by a model checker such as UPPAAL. The framework has the following properties: (1) consistency of models with software, (2) extensibility of the model derivation process, (3) scalability and (4) expressiveness of models. We report several case studies to validate how our framework satisfies these properties.Comment: In Proceedings MARS 2017, arXiv:1703.0581

Expanding educational access in Eastern Turkey: A new initiative

Cataloged from PDF version of article.The Eastern Anatolian project extends opportunity and access to quality education. The study examines the selection and learning systems adopted within the framework of gender equity, family background and higher order skills. Performance data on a range of selection measures and the initial programme are analysed. Results show that selection was successful in choosing high achievers and establishing equitable occupational and gender access. Girls out-performed boys in skills-based selection measures, showed greater relative gains in language learning, and evinced better higher order skills, reversing the trend in state examinations

A timed-automata approach for critical path detection in a soft real-time application

In this paper, we report preliminary ideas from our project called “Time Performance Improvement With Parallel Processing Systems” (TIPS). In the TIPS project, we plan to take advantage of multi-core platforms for performance improvement by parallelizing a complex soft real-time application. In order to increase the timing performance, one needs to adapt the optimizations on the critical execution paths of an application which are both significantly time consuming and important from user requirements' perspective. In this work, we present an approach how to detect critical paths in a target application

A model-derivation framework for timing analysis of Java software Systems

One of the main challenges in developing a software system is to assure that its properties fulfill the specifications. In the context of this paper, we are especially interested in timing properties. Model-based software verification is one of the approaches to achieve this. However, model-based verification requires expressive models of software systems and deriving such models is not a trivial task. Although there are a few model derivation tool proposals for the purpose of model-checking timing properties, these are dedicated tools supporting a selected set of verification techniques and as such they are not explicitly designed for coping with new demands. This paper presents a framework that derives models from Java programs in an automated way for analyzing timing properties. The framework has the following properties that are not provided by the previous proposals: (1) Efficiency in model development, (2) consistency of models with software, (3) expressiveness of models, (4) scalability and (5) extensibility of the model derivation process

A comparative analysis of software engineering with mature engineering disciplines using a problem solving perspective

Software engineering is compared with traditional engineering disciplines using a domain specific problem-solving model called Problem-Solving for Engineering Model (PSEM). The comparative analysis is performed both from a historical and contemporary view. The historical view provides lessons on the evolution of problem-solving and the maturity of an engineering discipline. The contemporary view provides the current state of engineering disciplines and shows to what extent software development can actually be categorized as an engineering discipline. The results from the comparative analysis show that like mature engineering, software engineering also seems to follow the same path of evolution of problem-solving concepts, but despite promising advances it has not reached yet the level of mature engineering yet. The comparative analysis offers the necessary guidelines for improving software engineering to become a professional mature engineering discipline. © 2011, IGI Global

Antifungal and Bioherbicidal Properties of Essential Oils of Thymus fallax Fish & Mey., Origanum vulgare L. and Mentha dumetorum Schult.

WOS: 000343767000048The chemical composition of the essential oils obtained from the aerial parts of Thymus fallax, Origanum vulgare and Mentha dumetorum was analyzed by gas chromatography-mass spectrometry and the following were found to be the main constituents: T. fallax-thymol (41.48 %), o-cymene (26.75 %), zeta-terpinen (15.84 %), 2-isopropyl-1-methoxy-4-methylbenzene (5.10 %), terpineolene (2.11 %) and carvacrol (1.28 %); O. vulgare-thymol (50.41 %), carvacrol (12.96 %), 2-bornene (11.28 %), zeta-terpinen (8.80 %), o-cymene (6.68 %), alpha-bisabolane (2.19 %) and caryophyllene (1.31 %); and M. dumetorum-carvone (39.64 %), eucalyptol (14.34 %), dihydrocarvone (12.78 %), limonene (7.79 %). The antifungal activities of the oils against Alternaria solani, Fusarium oxysporum and Rhizoctonia solani were also evaluated and were found to be toxic to the pathogens. The results revealed that essential oils, especially those of T. fallax and O. vulgare, had a strong antifungal activity with a significant inhibition on the growth of the 3 tested fungi. In contrast, the M. dumetorum oil did not inhibit the growth of Rhizoctonia solani and also exerted a limited inhibitory effect on the mycelial growth of the other two fungi tested. The results of herbicidal assays using these essential oils against four different plant species, Abutilon theophrasti Medik., Agrostemma githago L., Medicago sativa L. and Lepidium sativum L., showed that the oils had inhibitory effects on seed germination and seedling growth. The findings of the present study confirmed that plant essential oils can be used as natural herbicides and fungicides to control weeds and pathogenic fungi, thus, reducing the dependence on synthetic pesticides