loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Affiliation

University Campus of Manouba, Tunisia
Context (please use complete words only)
Field
Sort by

14 Papers

A Refinement based Verification Approach of BPMN Models using NuSMV

Topics: Formal Methods; Process Modeling; Software Engineering Tools; Application Software; Complex Systems

Authors: Salma Ayari 1 , Yousra Bendaly Hlaoui 2 and Leila Jemni Ben Ayed 3

Affiliations: 1 University of Sfax, FSEGS and Tunisia , 2 University of Tunis Manar, FST and Tunisia , 3 University of Mannouba, ENSI, Tunisia University of Tunis, Latice Laboratory, ENSIT and Tunisia

Digital Object Identifier: 10.5220/0006914105630574

Proceedings of ICSOFT 2018, ISBN: 978-989-758-320-9

Collapse Button Quick Abstract
Modeling complex workflow systems, using BPMN (Business Process Modeling Notation), is going increasing attention by all interested researches in distributed field. The step-wise refinement technique facilitates the understanding of complex systems by dealing with the major issues before getting involved in the details. In this paper, we propose a verification technique based on refinement BPMN process which allows to model an application by refinement and to induce gradually required properties at each level from the abstract to the concrete one. We introduce refinement patterns allowing the design of a complex application at different abstract level. Hence, a formal semantics for BPMN models based on Kripke structure and BPMN refinement patterns will be provided for a formal verification of this correctness. This verification is ensured automatically by NuSMV model Checker based on a BPMN language to NuSMV language transformation. The refinement correctness are expressed as refinement safety properties specified with LTL (Linear Temporal Logic).
Collapse Button Related Ontology Subjects/Areas/Topics (4)
Formal Methods

Software Engineering

Software Engineering Methods and Techniques
Simulation and Modeling

Patterns for Modelling and Composing Flexible Workflows from Cloud Services

Topics: Modeling of Distributed Systems; Model Driven Architectures and Engineering

Authors: Imen Ben Fraj , Yousra BenDaly Hlaoui and Leila Jemni BenAyed

Affiliation: Research Laboratory in Technologies of Information and Communication and Electrical Electrical Engineering and Institute of Sciences and Techniques of Tunis, Tunisia

Digital Object Identifier: 10.5220/0006772903060313

Proceedings of ICEIS 2018, ISBN: 978-989-758-298-1

Collapse Button Quick Abstract
In this paper, we propose a Model-Driven Approach for the specification and the execution of cloud service flexible workflow applications. We define two flexibility patterns based on BPMN that deals with changes of resource requirements for workflow. The workflows are built on an abstract level, using a BPMN model for the specification of the cloud service workflow structure based on flexibility patterns, and the state-chart diagram for the specification of the cloud service workflow behaviour. The execution process is supervised by a control system which is responsible for making decisions on the execution of the workflow based on the behaviour defined by the state-chart diagram.
Collapse Button Related Ontology Subjects/Areas/Topics (4)
Enterprise Information Systems

Model Driven Architectures and Engineering

Modeling of Distributed Systems
Information Systems Analysis and Specification

A Specification and Execution Approach of Flexible Cloud Service Workflow based on a Meta Model Transformation

Topics: Modeling of Distributed Systems; Model Driven Architectures and Engineering

Authors: Imen Ben Fraj , Yousra BenDaly Hlaoui and Leila Jemni BenAyed

Affiliation: Institute of Sciences and Techniques of Tunis, Tunisia

Digital Object Identifier: 10.5220/0006338504670473

Proceedings of ICEIS 2017, ISBN: 978-989-758-248-6

Collapse Button Quick Abstract
Cloud environments are being increasingly used for deploying and executing workflow composed from cloud services. In this paper, we propose a meta-model transformation for the specification and the execution of cloud service flexible workflows. To built workflow abstract models, the proposed approach uses a BPMN model for the specification of the cloud service workflow structure and the state-chart diagram for the specification of the cloud service workflow behavior. In addition, workflow models should be translated into BPEL4WS language which will be executed by the BPEL4WS engine, the latter is driven by the behavior described by the state-chart diagram. To fulfill, we define a set of meta-model transformations from the platform independent model (BPMN) to the platform specific model (BPEL4WS).
Collapse Button Related Ontology Subjects/Areas/Topics (4)
Enterprise Information Systems

Model Driven Architectures and Engineering

Modeling of Distributed Systems
Information Systems Analysis and Specification

A Model Driven Approach for Design Flexible e-Assessment

Topic: e-Learning Platforms, Portals

Authors: Fahima Hajjej , Yousra Bendaly Hlaoui and Leila Jemni Ben Ayed

Affiliation: LaTICE, Tunisia

Digital Object Identifier: 10.5220/0005453003640371

Proceedings of CSEDU 2015, ISBN: 978-989-758-107-6

Collapse Button Quick Abstract
Currently, there are many problems in the domain of the development of the e-Assessment process such as the difficulty to use a same e-assessment process by different e-learning platforms, the low rate of the e-assessment model reuse by various e-learning systems and the hardness to guarantee the consistency between designs and codes. Therefore, to resolve these problems, we need an approach aiming to develop a generic e-assessment process model which will be adapted automatically to any e-learning system. Hence, we propose a model driven approach for design flexible E-assessment process. We use an abstract description provided by UML activity diagram language and coupled with LTSA standards.
Collapse Button Related Ontology Subjects/Areas/Topics (5)
Computer-Supported Education

e-Learning Platforms

Simulation Tools and Platforms
e-Learning

Simulation and Modeling

A Model Driven Approach for Improving the Generation of Accessible User Interfaces

Topics: Metamodeling; Model Transformation; Context-Aware Systems

Authors: Lamia Zouhaier , Yousra Bendaly Hlaoui and Leila Jemni Ben Ayed

Affiliation: Higher School of Sciences and Technologies of Tunis and University of Tunis, Tunisia

Digital Object Identifier: 10.5220/0005559601680173

Proceedings of ICSOFT-PT 2015/ICSOFT, ISBN: 978-989-758-115-1

Collapse Button Quick Abstract
In a ubiquitous computing, disable users are required to accommodate their particular needs using interactive systems. Thus, ensuring accessibility into applications' user interfaces is highly recommended. Hence, it is crucial to elaborate a generic solution which is compliant to handicapped user requirements. Therefore, this paper is addressed to define a model driven approach for generating adapted interface according to accessibility context. This approach benefits from Model Driven Engineering methodologies. In addition, it is characterized by the integration of a multimodal solution which selects the suitable modality of interaction into the adaptation process. This will improve the degree of user interface flexibility. This approach is based on different model transformations’ belonging to different abstraction levels of the adapted user interface development according to the captured accessibility context attributes.
Collapse Button Related Ontology Subjects/Areas/Topics (7)
Context

Model Transformation

Paradigm Trends

Context-Aware Systems

Models

Software Engineering
MetaModeling

A MDA-based Approach for Enabling Accessibility Adaptation of User Interface for Disabled People

Topics: Software Engineering; HCI on Enterprise Information Systems; Ontology Engineering; Ubiquitous Computing; Requirements Analysis And Management; Model Driven Architectures and Engineering; Modeling Formalisms, Languages, and Notations (e.g. UML, ER variants); Guidelines, Principles, Patterns and Standards; Adaptive and Adaptable User Interfaces; Interface Design; Accessibility and Usability; Models and Frameworks

Authors: Lamia Zouhaier , Yousra Hlaoui Bendaly and Leila Jemni Ben Ayed

Affiliation: Higher School of Sciences and Technologies of Tunis and University of Tunis, Tunisia

Digital Object Identifier: 10.5220/0004897901200127

Proceedings of ICEIS 2014, ISBN: 978-989-758-029-1

Collapse Button Quick Abstract
In order to eliminate accessibility barriers that may exist in the user interface at runtime, we propose, in this paper, to integrate accessibility into an infrastructure of adaptation of User Interfaces. Hence, we propose a model driven approach which consists of generating, automatically, accessibility adapted User Interfaces. To reach this goal, based on MDA principals, we develop different meta-model transformations to provide an adapted User Interface model according to received accessibility context information and a given non adapted User Interface.
Collapse Button Related Ontology Subjects/Areas/Topics (20)
Accessibility and Usability

Human-Computer Interaction

Ontology Engineering

Adaptive and Adaptable User Interfaces

Information Systems Analysis and Specification

Requirements Analysis And Management

Artificial Intelligence

Interface Design

Software Agents and Internet Computing

Data Engineering

Knowledge Engineering and Ontology Development

Software Engineering

Enterprise Information Systems

Knowledge-Based Systems

Symbolic Systems

Guidelines, Principles, Patterns and Standards

Model Driven Architectures and Engineering

Ubiquitous Computing
HCI on Enterprise Information Systems

Ontologies and the Semantic Web

Automatic Generation of UIs for Disabled Users using Context-aware Techniques and Reasoning

Topics: Ontology Engineering; Knowledge Acquisition; Knowledge Representation; Human-Machine Cooperation; Context Analysis and Modeling

Authors: Lamia Zouhaier , Yousra Hlaoui Ben Daly and Leila Jemni Ben Ayed

Affiliation: Higher School of Sciences and Technologies of Tunis and University of Tunis, Tunisia

Digital Object Identifier: 10.5220/0004635504130418

Proceedings of KEOD 2013/IC3K, ISBN: 978-989-8565-81-5

Collapse Button Quick Abstract
Today, users need to interact with the UIs of the computer systems at any time and in any place. In fact, users have to deal with diverse devices supporting diverse interfaces and used in diverse environments. Thus, research must to be devoted to adapting the content, presentation and also the navigation scheme of the user interface not only for people without disabilities but also to impaired users according to updated context of use. In fact, context is captured from the surrounding environment in which the user is interacting with the application, gathered from a variety of sources and changed dynamically over time. For that reason, we propose to include context awareness system as a solution for adaptation of user interface tailored to user with special needs. In this paper, we try to introduce our contribution in how to build a user interface which is aware and capable to adapt depending of context. Our contribution is demonstrated through the behaviour of task model.
Collapse Button Related Ontology Subjects/Areas/Topics (15)
Artificial Intelligence

Information Systems Analysis and Specification

Ontologies and the Semantic Web

Context

Knowledge Acquisition

Ontology Engineering

Data Engineering

Knowledge Engineering and Ontology Development

Paradigm Trends

Enterprise Information Systems

Knowledge Representation

Software Engineering

Human-Machine Cooperation

Knowledge-Based Systems

Symbolic Systems

AN UML ACTIVITIES DIAGRAMS TRANSLATION INTO EVENT B SUPPORTING THE SPECIFICATION AND THE VERIFICATION OF WORKFLOW APPLICATION MODELS - From UML Activities Diagrams to Event B

Topic: Software Testing and Maintenance

Authors: Leila Jemni Ben Ayed , Najet Hamdi and Yousra Bendaly Hlaoui

Affiliation: Research Unit of Technologies of Information and Communication UTIC ESSTT, Tunisia

Digital Object Identifier: 10.5220/0003013003290332

Proceedings of ICSOFT 2010, ISBN: 978-989-8425-23-2

Collapse Button Quick Abstract
This paper exposes the transformation of UML activity diagrams into Event B for the specification and the verification of parallel and distributed workflow applications. With this transformation, UML models could be verified by verifying derived event B models. The design is initially expressed graphically with UML and translated into Event B. The resulting model is then enriched with invariants describing dynamic properties such as deadlock freeness, livelock freeness and reachability. The approach uses activity diagrams metamodel.
Collapse Button Related Ontology Subjects/Areas/Topics (3)
Software Engineering

Software Engineering Methods and Techniques

Software Testing and Maintenance

SPECIFICATION AND VERIFICATION OF WORKFLOW APPLICATIONS USING A COMBINATION OF UML ACTIVITY DIAGRAMS AND EVENT B

Topics: Service-Oriented Computing; Model-Driven Engineering; Requirements Elicitation and Specification

Authors: Ahlem Ben Younes and Leila Jemni Ben Ayed

Affiliation: Research Unit of Technologies of Information and Communication (UTIC) ESSTT, Tunisia

Digital Object Identifier: 10.5220/0003012003120316

Proceedings of ICSOFT 2010, ISBN: 978-989-8425-23-2

Collapse Button Quick Abstract
This paper presents a transformation of UML activity diagrams (AD) into Event B for the specification and the verification of workflow applications. With this transformation, UML models could be verified by verifying derived event B models, automatically, using the B powerful support tools like B4free. The workflows is initially expressed graphically with UML AD and translated into Event B. The resulting model is then enriched with Invariants/Assertions describing functional properties of workflow models such as deadlock-inexistence. We present translation rules of UML AD into EventB, and we propose also a translation process of UML AD into EventB specifications based on the refinement technique of Event B to encode the hierarchical decomposition in UML AD. Also, we propose a solution to specify time in Event B, and by an example of workflow application, we illustrate the proposed technique.
Collapse Button Related Ontology Subjects/Areas/Topics (12)
Agents

e-Business

Service-Oriented Computing

Artificial Intelligence

Enterprise Information Systems

Services

Communication and Software Infrastructure

Model-Driven Engineering

Software Engineering

Cross-Feeding between Data and Software Engineering

Requirements Elicitation and Specification

Software Engineering Methods and Techniques

USING AToM3 FOR THE VERIFICATION OF WORKFLOW APPLICATIONS

Topics: Model-Driven Engineering; Software Testing and Maintenance

Authors: Leila Jemni Ben Ayed , Ahlem Ben Younes and Amin Ben Brahim Achouri

Affiliation: ESSTT, Tunisia

Digital Object Identifier: 10.5220/0002930400320039

Proceedings of ICSOFT 2010, ISBN: 978-989-8425-23-2

Collapse Button Quick Abstract
In this paper, we propose an approach for the verification of workflow applications using AToM3 and Event B. Workflow carries applications where many actors take part and cooperate in order to execute operations. Upon composing those operations, many problems such as deadlock, freeness and livelock might appear. In this context, we are going to show how to build a meta-model for UML activity diagram in AToM3. From this meta-model, AToM3 generates a visual tool to build and to specify workflow applications where syntactical verification is made. Further, we are going to define a graph grammar to generate a textual code from the graphically specified workflow. This code will maintain information about all the activities and their dependencies. Another role of the graph grammar is to generate an Event B machine used for the verification of the workflow. Structural errors like deadlock and absence of synchronization can be captured from the resulted Event B model. Functional requirements are also verified using the resulted Event B model.
Collapse Button Related Ontology Subjects/Areas/Topics (5)
Cross-Feeding between Data and Software Engineering

Software Engineering

Software Testing and Maintenance
Model-Driven Engineering

Software Engineering Methods and Techniques

Topic(s):

Filter listed results, by

Publication date

From:
To:
Author
Locate Author in list below
Data pager
Data pager
12
 Page 1 of 2, items 1 to 10 of 13.
Add Author(s) to filter:
Conference
Locate Conference in list below
Add Conference(s) to filter:

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic