- Nissreen El-Saber and Artur Boronat. 2014. BPMN Formalization and Verification using Maude. In Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and Applications (BM-FA '14). ACM, New York, NY, USA, , Article 1 , 12 pages. DOI=10.1145/2630768.2630769 http://doi.acm.org/10.1145/2630768.2630769
Abstract: OMG's Business Process Model and Notation (BPMN) standard provides an informal specification of a technology independent modelling language for designing business processes. However, BPMN models may include structural issues that hinder their design. In this paper, we propose a formal characterization and semantics specification of well-formed BPMN processes in rewriting logic using Maude with a focus on data-based decision gateways and data objects semantics. Our formal specification adheres to the BPMN standards, verified with respect to the classical workflow soundness definition, and automatically verified using the verification toolkit that Maude includes.
Abstract: Software rearchitecting is the process of obtaining a documented architecture for an existing undocumented system. There are many software rearchitecting frameworks which are based upon different concepts and context-related issues for a specific application or programming language, such as Rigi, Ciao, SPOOL, and Symphony. These rearchitecting frameworks were compared and analyzed, in this work, using generic architecture characteristics. Based on this comparison, a new model for rearchitecting frameworks is proposed. As an implementation, a new framework was built according to the model standards. This is 'Software Rearchitecting Action Framework' (SRAF). Then an automated Java tool, Rearchitecting Tool Support (RTS), is designed to validate the framework. In this book we propose an discuss the SRAF and RTS which we argue it will assist the architect in deciding which kind of architectural style is the best to describe the system, and hence, to enhance it. Hence, they provide good methodology for obtaining a suitable level of documentation of the undocumented open source object-oriented software.
Abstract: Software rearchitecting is the process of obtaining a documented architecture for an existing system. There are many software rearchitecting frameworks which are based upon different concepts and context-related issues for a specific application or programming language, such as Rigi, Ciao, SPOOL, and Symphony, and "Software Rearchitecting Action Framework (SRAF)". Most of the frameworks focus on the reverse engineering process of source code. They neglect the role of stakeholders in enhancing and developing their systems. This paper presents a systematic analysis and comparative study for rearchitecting frameworks using generic architecture characteristics or elements. Based on the major requirements that should be available in the rearchitecting frameworks, the comparative study proceeds. An efficient model is proposed based on the trends that resulted from the comparative analysis. It considers the evaluation criteria of the compared frameworks. Conclusions and remarks are highlighted.
- Galal Hassan Galal-Edeen, Mohamed Abbas Shouman, Nissreen A. El-Saber. Approaches to Software Re-architecting. In 37th International Conference on Computers and Industrial Engineering proceedings- Volume 1- (CIE37); 10/2007
Abstract: Reverse engineering of program code is the process of constructing a higher level of abstraction of an implementation in order to facilitate the understanding of a software system. Reverse architecting code has been advocated to identify the current software architecture of existing software; to assess its quality, and to determine improvement areas. There are several reverse engineering tools built upon several methodologies for analyzing object oriented source code. These approaches are addressed and evaluated to focus on their capabilities with the aim of applying selection approaches to JAVA source code. A framework for software rearchitecting and rearchitecting tool support is proposed. Recommendations and remarks have been highlighted.