Loading...
Search for: process-model
0.008 seconds
Total 44 records

    Application of Model Checking Techniques for Evaluating Situational Method Engineering Models

    , M.Sc. Thesis Sharif University of Technology Sahaf, Zahra (Author) ; Ramsin, Raman (Supervisor)
    Abstract
    Explicitly defining a software process is widely recognized as a necessary practice in software engineering and methodology engineering. However, this does not necessarily mean that the process thus defined is perfect, sound and useful. Evaluation of software processes has therefore become essential, and numerous evaluation approaches have been proposed to detect process inconsistencies and errors. As software processes are complex entities, it is very difficult to evaluate them manually; therefore, many evaluation methods, such as testing and simulation, are not adequate when precise verification of software processes is intended. The model checking approach can be effectively used for... 

    Multifaceted service identification: Process, requirement and data

    , Article Computer Science and Information Systems ; Volume 13, Issue 2 , 2016 , Pages 335-358 ; 18200214 (ISSN) Amiri, M. J ; Parsa, S ; Mohammadzade Lajevardi, A ; Sharif University of Technology
    ComSIS Consortium 
    Abstract
    Service Identification is one of the most important phases in serviceoriented development methodologies. Although several service identification methods tried to identify services automatically or semi-automatically, various aspects of business domain are not taken into account simultaneously. To overcome this issue, three strategies from three different aspects of business domain are combined for semi-automated identification of services in this article. At first, the tasks interconnections within the business processes are considered. Then, based on the common supporting requirements, another tasks dependency has been determined and finally, regarding the significant impact of data in... 

    A semantic framework for business process modeling based on architecture styles

    , Article Proceedings - 2012 IEEE/ACIS 11th International Conference on Computer and Information Science, ICIS 2012 ; 2012 , Pages 513-520 ; 9780769546940 (ISBN) Khalaj, M. E ; Moaven, S ; Habibi, J ; Ahmadi, H ; Sharif University of Technology
    IEEE  2012
    Abstract
    Business processes perform a significant role in increasing the success of organizational processes and functionalities. Due to the ever increasing growth in the scale and complexity of processes in line with taking advantage of combinational methods and ideas to optimize workflows and gain higher efficiency, lack of a framework considering both business process semantic and structure for business process modeling is completely sensible. Adding semantic to business process models will result in more comprehensible and automatically-executable processes. Moreover, preparing a suitable structure by making use of software architectural concepts will lead to a major decrease in misunderstanding... 

    An analytical review of process-centered software engineering environments

    , Article Proceedings - 2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, ECBS 2012 ; 2012 , Pages 64-73 ; 9780769546643 (ISBN) Matinnejad, R ; Ramsin, R ; Sharif University of Technology
    2012
    Abstract
    Process-centered Software Engineering Environments, or PSEEs, are intended for the definition, modification, and enactment of software process models, they thus bring software development processes into effect. Even though research efforts in process-centered software engineering abound, PSEE technology has not received the attention that it deserves. In order to create a concise but effective and practically applicable evaluation framework for PSEEs, this paper first presents a survey of PSEEs and highlights the current state of the art of the technology. The PSEEs which have been reviewed herein have been regarded as software systems, and as such, have been characterized in terms of their... 

    Parallel Layers of Strategic Renewal and the Leveraging Role of Organizational Structure

    , Ph.D. Dissertation Sharif University of Technology Aghajanian, Simineh (Author) ; Mashayekhi, Ali Naghi (Supervisor) ; Alavi, Babak (Co-Supervisor)
    Abstract
    One of the research areas less-addresses in the field of strategy – especially with a process approach – is strategic renewal. Strategic renewal is crucial for sustainable success of an organization. However, there are limited studies focused on strategic renewal, its implementation, and factors affecting its successive success. Process view is also less applied despite its importance both in understanding different steps of renewal and determining motivators and impediments. Therefore, this study tries to do a process-oriented research on strategic renewal, considering the gaps in extant process models on renewal. For this aim, an embedded single case study is applied and some successful... 

    By-Example Model Transformation Method for Model-Driven Method Engineering

    , M.Sc. Thesis Sharif University of Technology Ranjkesh, Zeinab (Author) ; Ramsin, Raman (Supervisor)
    Abstract
    It has become increasingly important to be able to adapt or construct a software development process based on the specific characteristics of the development project at hand; this has resulted in the emergence of a new branch of study called Situational Method Engineering (SME). Compared with Software Engineering, Situational Method Engineering has not suitably matured, in that many of its deficiencies have not been properly addressed yet; SME approaches are especially deficient in support for modeling, portability, and automation. Model-Driven Development (MDD) has been effectively used for enhancing portability and automation in Software Engineering, and it is also considered as a... 

    The Effects of Intentional Process Models on Goal Modeling and Process Conformance Checking

    , M.Sc. Thesis Sharif University of Technology Farsayyad, Nazi (Author) ; Rafiei, Majid (Supervisor) ; Khedmati, Majid (Supervisor)
    Abstract
    In recent years, requirement engineering and goal modeling have gained more attention among different organisations. Therefore, different methods have been designed to discover stakeholders’ requirements and translate them into process and organizational goals. Various goal models have been introduced to represent these goals and their relations towards each other. Still, these methods are manual representations of different process scenarios and do not relate to the actual behavior. In 2014, Map Miner Method (MMM) was introduced to discover intentional process models from event logs. MMM uses Hidden Markov Model (HMM) as a means to represent the process as a map model of strategies and... 

    Data-driven buiding climate control using model prediction and online weather forecast data

    , Article ; July , 2020 , Pages 1801-1806 Mohammadzadeh Mazar, M ; Rezaei Zadeh, A ; Sharif University of Technology
    Institute of Electrical and Electronics Engineers Inc  2020
    Abstract
    This paper proposes a multi-unit building model, in which the parameters are obtained via an online identification process. The identification process is carried out on-the-fly so it can update the best model of the building units. A model predictive controller (MPC) is also employed that uses the prediction of the building model, as well as the weather forecast data and acts on the heating boiler in an optimal fashion. In addition, since the controller is designed for a multi-unit building, it is crucial to estimate the amount of the delay that takes the hot flow to reach the units. This paper presents a very simple method for the delay identification based on unscented kalman filter. For... 

    Improvement of grain structure and mechanical properties of a land based gas turbine blade directionally solidified with liquid metal cooling process

    , Article Materials Science and Technology ; Volume 24, Issue 1 , 2008 , Pages 100-106 ; 02670836 (ISSN) Kermanpur, A ; Mehrara, M ; Varahram, N ; Davami, P ; Sharif University of Technology
    2008
    Abstract
    The manufacturing process of a directionally solidified (DS) IN738LC turbine blade, produced with the liquid metal cooling (LMC) process was improved based on process modelling. The improvement involved varying the system dimensions in the baffle area and optimising the mould thickness, design and the withdrawal parameters. The grain structure of the DS blades produced exhibits a well defined <001> texture with a few stray grains near the blade top compared to the previous design. Some blades were given to a two stage heat treatment followed by tension tests at 25 and 650°C as well as creep tests at 152 MPa/982°C and 340 MPa/850°C. The yield and tensile strength of improved DS blades were... 

    Modeling the Scrum Framework and Different Approaches to its Implementation using CMMN, BPMN and DMN Modeling Languages

    , M.Sc. Thesis Sharif University of Technology Fakhrabadi, Mahdi (Author) ; Habibi, Moslem (Supervisor)
    Abstract
    The breadth and intertwining of the concepts of the Scrum Agile framework has made it difficult to understand the details in relation to each other correctly and quickly, and has faced learning Scrum with a challenge; because the newbies have to choose between schematic and imprecise but general images showing connections and detailed and precise but unstructured texts. On the other hand, the different approaches of Scrum implementation in different organizations according to the different conditions of the organizations and the specific ideas of each organization to personalize Scrum in the places that Scrum has given them this permission, have made the Scrum teams willing to learn as much... 

    Towards a framework for the application of Model-Driven Development in Situational Method Engineering

    , Article Proceedings - Asia-Pacific Software Engineering Conference, APSEC, 5 December 2011 through 8 December 2011, Ho Chi Minh ; 2011 , Pages 122-129 ; 15301362 (ISSN) ; 9780769546094 (ISBN) Zohrevand, Z ; Bibalan, Y. M ; Ramsin, R ; Sharif University of Technology
    2011
    Abstract
    Model-Driven Development (MDD) is a promising approach to software development, mainly due to the pivotal role of models in its process, and the high potential it provides for automated model/software generation. Since software processes can themselves be considered as software, any technique or approach applied in the context of software development is also of potential use in the development of software development processes. Accordingly, the MDD approach can potentially be applied in the context of Situational Method Engineering (SME) - a branch devoted to the study of developing bespoke software development processes and methods based on the specific characteristics of the development... 

    Comparative process modeling and techno-economic evaluation of renewable hydrogen production by glycerol reforming in aqueous and gaseous phases

    , Article Energy Conversion and Management ; Volume 225 , December , 2020 Khodabandehloo, M ; Larimi, A ; Khorasheh, F ; Sharif University of Technology
    Elsevier Ltd  2020
    Abstract
    In this paper, a comparative techno-economic evaluation of hydrogen production by glycerol reforming in aqueous and gaseous phases are presented. To accomplish the techno-economic evaluation, firstly the process modeling and design are presented. Based on the equipment purchased costs, with 80 kg/h hydrogen production, the total cost of hydrogen production is estimated 3.65 and 3.55 $/kgH2 for steam reforming and aqueous phase reforming plants, respectively. Regarding the installation factor in the equipment costs, the total cost of hydrogen production is estimated 7.49 and 7.45 $/kgH2 for steam reforming and aqueous phase reforming plants, respectively. To investigate the impact of... 

    Community Detection in Social Networks by Using Information from Diffusion Network

    , M.Sc. Thesis Sharif University of Technology Ramezani, Maryam (Author) ; Rabiee, Hamid Reza (Supervisor)
    Abstract
    Nowadays, Online Social Networks (OSNs) play an important role in the exchange of information among people. Some previous studies indicate that diffusion behavior and network structure are tightly related. Community structure is one of the most important features of OSNs. Access to the whole network topology is the necessary and prevalent requirement for most of community detection methods, so the limited access to full or partial topology can decrease their accuracy. Using traceable information over diffusion network is a solution to surmount this difficulty. In this work, we are concerned with the community detection by only using the diffusion information, while unlike the previous... 

    Business Process Oriented Software Engineering

    , M.Sc. Thesis Sharif University of Technology Mahyar, Alireza (Author) ; Habibi, Jafar (Supervisor)
    Abstract
    Enterprises are founded according to their business processes based on its targets. For implementing an Information System, first it is required to analyze, design and model of the processes based on a specific methodology.The methodologies of software engineering usually used to be function oriented however object oriented is usual and practical todays. Analyzing the business processes according to one of these two concepts has some problems, however merging these two concepts, makes a powerful method in analyzing and designing of a system more easily and accurately.Some software development methodologies consider these two aspects in a way, however working with them has many complexities... 

    Development of a Model-Driven Development (MDD) Approach to Situational Method Engineering

    , M.Sc. Thesis Sharif University of Technology Zohrevand, Zahra (Author) ; Ramsin, Raman (Supervisor)
    Abstract
    Model Driven Development (MDD) is a promising approach to software development, mainly due to the pivotal role of models in the process, and the high potential it provides for automated model/software generation. Since software processes can themselves be considered as software, any technique or approach applied in the context of software development is also of potential use in the development of software development processes. Accordingly, the MDD approach can potentially be applied in the context of Situational Method Engineering (SME) ? a branch devoted to the study of developing bespoke software development processes and methods based on the specific characteristics of the development... 

    Pattern-based Model Transformation Method for Applying Model-driven Development to Method Engineering

    , M.Sc. Thesis Sharif University of Technology Agh, Halime (Author) ; Ramsin, Raman (Supervisor)
    Abstract
    Constructing bespoke software development processes according to the specifications of the project at hand has become a crucial issue, giving rise to a new branch of engineering known as Situational Method Engineering (SME). Compared with Software Engineering, Situational Method Engineering has not suitably matured, in that many of its deficiencies have not been properly addressed yet; SME approaches are especially deficient in support for modeling, portability, and automation.Model-Driven Development (MDD) has been effectively used for enhancing portability and automation in Software Engineering, and it is also considered as a promising approach for resolving the same issues in SME.... 

    Modeling Geometrical Deviations and Tolerance Analysis Based on NURBS and Isogeometric Method

    , Ph.D. Dissertation Sharif University of Technology Aghabeigi, Mostafa (Author) ; Movahhedy, Mohammad Reza (Supervisor) ; Khodaygan, Saeed (Supervisor)
    Abstract
    Non-uniform rational B-spline (NURBS) curves and surfaces are one of the most powerful tools of computer-aided design, which are able to model both free-form and analytic shapes. In this dissertation, the idea of using NURBS curves as a tool for modeling geometrical deviations and tolerance analysis of mechanical assemblies is presented and evaluated. In the first step the effect of changing the defining variables of NURBS on shape of the curve is investigated. After that, by establishing a relationship between profile tolerance and random NURBS curves, two concepts of tolerance zone width and correlation function are introduced, and a method based on regression algorithms and covariance of... 

    Simulation and control of multidimensional crystallization Processes

    , Article Chemical Engineering Communications ; Vol. 201, Issue. 7 , 2014 , pp. 870-895 ; ISSN: 0098-6445 Orkomi, A. A ; Shahrokhi, M ; Sharif University of Technology
    Abstract
    In this article, solving the population balance equation (PBE) and controlling the final particle size for crystallization problems have been addressed. For solving the general form of multidimensional PBE, a numerical method called conservation element and solution element (CE/SE) has been used. By applying this method to one- and two-dimensional crystallization problems, it has been shown that this technique can handle all types of source terms in the PBE. Model accuracy has been checked with experimental data reported in the literature and also with the analytical solution of PB-type equations. Control of final particle size was formulated in an optimization framework. To obtain a desired... 

    Individual virtual phantom reconstruction for organ dosimetry based on standard available phantoms

    , Article Iranian Journal of Radiation Research ; Volume 7, Issue 4 , 2010 , Pages 201-206 ; 23223243 (ISSN) Babapour Mofrad, F ; Aghaeizadeh Zoroofi, R ; Tehrani Fard, A. A ; Akhlaghpoor, S ; Chen, Y. W ; Sato, Y ; Sharif University of Technology
    Novim Medical Radiation Institute  2010
    Abstract
    Background: In nuclear medicine application often it is required to use computational methods for evaluation of organ absorbed dose. Monte Carlo simulation and phantoms have been used in many works before. The shape, size and volume in organs are varied, and this variation will produce error in dose calculation if no correction is applied. Materials and Methods: A computational framework for constructing individual phantom for dosimetry was performed on five liver CT scan data sets of Japanese normal individuals. The Zubal phantom was used as an original phantom to be adjusted by each individual data set. This registration was done by Spherical Harmonics (SH) and Thin-Plate Spline methods.... 

    A pattern-based model-driven approach for situational method engineering

    , Article Information and Software Technology ; Volume 78 , 2016 , Pages 95-120 ; 09505849 (ISSN) Agh, H ; Ramsin, R ; Sharif University of Technology
    Elsevier 
    Abstract
    Context constructing bespoke software development methodologies for specific project situations has become a crucial need, giving rise to Situational Method Engineering (SME). Compared with Software Engineering, SME has a long way to go yet; SME approaches are especially deficient as to support for modeling, portability, and automation. Model-Driven Development (MDD) has been effectively used for addressing these issues in Software Engineering, and is also considered a promising approach for resolving them in SME. Objective This paper aims to address the shortcomings of existing SME approaches by introducing a novel MDD approach, specifically intended for SME purposes, that uses a...