2016 International Conference on Advanced Aspects of Software Engineering (ICAASE)最新文献

Translating AADL systems to Java programs 将AADL系统转换为Java程序

2016 International Conference on Advanced Aspects of Software Engineering (ICAASE) Pub Date : 2016-10-01 DOI: 10.1109/ICAASE.2016.7843855

N. Benlahrache, F. Belala, Randa Ait Younes, Zoubida Belala

{"title":"Translating AADL systems to Java programs","authors":"N. Benlahrache, F. Belala, Randa Ait Younes, Zoubida Belala","doi":"10.1109/ICAASE.2016.7843855","DOIUrl":"https://doi.org/10.1109/ICAASE.2016.7843855","url":null,"abstract":"ADLs are used to describe system architectures at a very high level of abstraction. The concrete ADLs are interested in generating code from an architectural description. AADL is a concrete language designed for embedded applications. It integrates a software and hardware specifications in its description. Several studies around AADL are devoted to the development of executable systems from their architectural descriptions, like Ocarina project. On the other hand, Java language is widely used and supported by the majority of platforms. In this paper, we present a tool called: AADL2Java, allowing Java code generation from an AADL specification. For this purpose, first we take advantage of the EMF framework to specify two meta-models depicting respectively the concepts of AADL and Java. Then, these two meta-models will be used to generate a Java structure of an AADL specification. AADL2Java tool forms an Eclipse plug-in, aiming to facilitate the automatic translation of AADL systems in Java program skeletons, which may be easily completed by the developer. This will reduce the gap between software architect and developer in the system design.","PeriodicalId":407176,"journal":{"name":"2016 International Conference on Advanced Aspects of Software Engineering (ICAASE)","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127602207","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

A formal model for business process decomposition based on resources consumption with security requirement 基于资源消耗和安全需求的业务流程分解的形式化模型

2016 International Conference on Advanced Aspects of Software Engineering (ICAASE) Pub Date : 2016-10-01 DOI: 10.1109/ICAASE.2016.7843866

Mohammed Nassim Lacheheub, R. Maamri

{"title":"A formal model for business process decomposition based on resources consumption with security requirement","authors":"Mohammed Nassim Lacheheub, R. Maamri","doi":"10.1109/ICAASE.2016.7843866","DOIUrl":"https://doi.org/10.1109/ICAASE.2016.7843866","url":null,"abstract":"Nowadays, a business process can be a very costly investment for companies because they need to purchase additional resources to ensure the smooth running of their business process. But the problem is that the additional resources are used only for very limited time lapse. Using cloud computing can be beneficial for companies to omit the problem of using additional resources for limited time lapse. Furthermore, cloud computing can have a relevant role in managing and constructing the business process for companies. Because it gives us the illusion to perceive the resources such as unlimited computer resources and it gives the possibility of using this resources in a pay per use manner. In the word of industry, outsourcing security management to a third party or exposing sensitive process in cloud computing can be considerate as one of the biggest problem with the deployment using cloud solution in the industry. The main contribution of this paper is to provide a new formal approach by splitting up the business process based on resource consumption and sensitive process. Moreover, this work allows the specification and analysis company requirements in resources consumption and security issues by simulating many parallel executions of business process. To determine which specific process should be assigned to the cloud computing and which should stay in company.","PeriodicalId":407176,"journal":{"name":"2016 International Conference on Advanced Aspects of Software Engineering (ICAASE)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125431526","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

A theoretical approach for modelling Cloud Services Composition 云服务组合建模的理论方法

2016 International Conference on Advanced Aspects of Software Engineering (ICAASE) Pub Date : 2016-10-01 DOI: 10.1109/ICAASE.2016.7843858

Zakaria Benzadri, N. Hameurlain, F. Belala, Chafia Bouanaka

引用次数: 3

Net rewriting system for GSPN a RMS case study GSPN网络改写系统的RMS案例研究

2016 International Conference on Advanced Aspects of Software Engineering (ICAASE) Pub Date : 2016-10-01 DOI: 10.1109/ICAASE.2016.7843860

Samir Tigane, L. Kahloul, Samir Bourekkache

引用次数: 6

Petri net model for connectivity maintenance in VANET clustering-based routing algorithm 基于VANET聚类路由算法中连通性维护的Petri网模型

2016 International Conference on Advanced Aspects of Software Engineering (ICAASE) Pub Date : 2016-10-01 DOI: 10.1109/ICAASE.2016.7843864

Ahmed Louazani, L. Sekhri

引用次数: 4

Towards formal checking of Web services substitutability 对Web服务可替代性的正式检查

2016 International Conference on Advanced Aspects of Software Engineering (ICAASE) Pub Date : 2016-10-01 DOI: 10.1109/ICAASE.2016.7843853

Sofiane Bourouz, N. Zeghib

引用次数: 1

Ontology-based approach for arranging new objects by humanoid robots 基于本体的人形机器人新物体排列方法

2016 International Conference on Advanced Aspects of Software Engineering (ICAASE) Pub Date : 2016-10-01 DOI: 10.1109/ICAASE.2016.7843861

Elhabib Abdelillah Ouhiba, Mohammed Amine Belfedhal, A. Khiat, Chihab Eddine Zoua

{"title":"Ontology-based approach for arranging new objects by humanoid robots","authors":"Elhabib Abdelillah Ouhiba, Mohammed Amine Belfedhal, A. Khiat, Chihab Eddine Zoua","doi":"10.1109/ICAASE.2016.7843861","DOIUrl":"https://doi.org/10.1109/ICAASE.2016.7843861","url":null,"abstract":"The robots are programmed in order to achieve arduous works, perform missions and interact with their environment. However, to realize these tasks the robots must rely not only on their internal knowledge but also on its representation. In this paper, we describe an ontology-based approach to resolve the problem of “Object Arrangement”. The proposed solution is also useful to reason, adapt and communicate with its environment (robots and human). It uses the local and global arrangement algorithms on the three following ontologies: (1) SUMO as the Foundation Ontology, (2) the environment Ontology and (3) the Robot Ontology. The local arrangement algorithm interrogates, the environment and the robot ontologies, to arrange the object if its semantic exists in the environment. Otherwise, it employs the global arrangement algorithm which interrogates the Foundation Ontology SUMO to capture the semantics of the new object; then the local arrangement algorithm is operated in order to arrange it. The experiment is achieved by implementing our personal humanoid robot (Knowledge-based for Humanoid Advanced robots First Generation K.H.A.1) in LITIO laboratory, Oran, Algeria. Finally, the experimental study shows promising results of the proposed approach.","PeriodicalId":407176,"journal":{"name":"2016 International Conference on Advanced Aspects of Software Engineering (ICAASE)","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128167730","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

CAPMA: Clone agent to protect mobile agents in dynamic environments CAPMA:克隆代理以保护动态环境中的移动代理

2016 International Conference on Advanced Aspects of Software Engineering (ICAASE) Pub Date : 2016-10-01 DOI: 10.1109/ICAASE.2016.7843865

Nardjes Bouchemal, R. Maamri

引用次数: 1

ROUTIL: P2P routing protocol based on interest links ROUTIL:基于兴趣链路的P2P路由协议

2016 International Conference on Advanced Aspects of Software Engineering (ICAASE) Pub Date : 2016-10-01 DOI: 10.1109/ICAASE.2016.7843852

Lyes Badis, M. Amad, D. Aïssani, Kahina Bedjguelal, Aldja Benkerrou

引用次数: 6

Transformation and validation of BPMN models to Petri nets models using GROOVE 基于GROOVE的BPMN模型到Petri网模型的转换与验证

2016 International Conference on Advanced Aspects of Software Engineering (ICAASE) Pub Date : 2016-10-01 DOI: 10.1109/ICAASE.2016.7843859

Said Meghzili, A. Chaoui, M. Strecker, E. Kerkouche

引用次数: 10