Sharif Digital Repository

Modeling languages as programming languages need precise and unambiguous semantics to be used appropriately, the formal semantics is significant for designing CASE tools and model verification. Several approaches have been used throughout these years to describe the semantics of modeling languages, but in spite of programming languages, these semantics frameworks are not used in large scale for modeling languages. This paper reviews the history of developments on semantics frameworks for modeling languages. © 2009 IEEE  

Modeling languages are needed to describe the conceptual construct underlying software. Several modeling languages have been proposed during the last decades. Cognitive complexity is one of the common problems in designing modeling languages. Users have to split their attention and cognitive resources between two different tasks when working with complex language: solving the problem and understanding the elements composing the language. Several researches have been accomplished to evaluate cognitive complexity of modeling languages, among them, metric based and empirical approaches aremore important and convenient than others. In this paper, we compared these two methods. Results show that... 

In the last two decades, a number of architecture-based software development notations, methods, techniques, and tools were formulated. Of particular interest to the software architecture researchers and practitioners were the notations and languages for modeling software architectures, known as ADLs. Object Stochastic Activity Network (OSAN) is a new model which inherits useful features from Petri nets, stochastic activity networks and queue networks, which made it a powerful and flexible tool to model concurrent systems and evaluate and verify them. This paper introduces OSAN as a new analyzable architecture description language, which can be used both for modeling architectural aspects of... 

Modeling languages are needed to describe the conceptual construct underlying software. Several modeling languages have been proposed during the last decades. In order to properly understand and assess software modeling languages, we believe that a set of techniques is needed. In this paper, we describe several techniques that can be applied for studying and evaluating cognitive complexity (comprehensibility) of software modeling languages. These techniques have been applied to human-computer interaction, human languages, programming languages and cognitive science before. © 2008 IEEE  

Much effort has been put in defining methods, techniques, and tools for software architecture reconstruction (SAR) Software Architecture Transformation (SAT), and Software Architecture-based Development, but much less attention has been paid to what lies at the heart of architecture-based development, software architectural styles. We argue that architecture-based software development could be much more productive if centered around the concept of software architecture styles, hence the need for style recovery in the process of software architecture reconstruction. The reason behind this is generally. Furthermore, with the coherence architectural styles can bring to the process of automated... 

The construction of binary and ternary heterojunctions has gathered attention in water remediation applications. Herein, g-C3N4, MIL-101(Fe), and MIL-101(Fe)/g-C3N4 binary composite were synthesized by in-situ growth of MIL-101(Fe) crystals along with the nanosheets of g-C3N4. The materials have been characterized by XRD, FTIR, SEM, EDS, DRS, PL, and BET/BJH. The highest degradation efficiency achieved using MIL-101(Fe)/g-C3N4 nanocomposite was 99.3% while the pristine g-C3N4 degraded only 40% of the pollutants by photocatalyst dosage = 0.005 g, pH = 4.8, and irradiation time = 90 min condition. This enhanced photocatalytic performance might be attributed to improved optical properties and... 

The unified modelling language (UML) is a de facto standard for object-oriented modelling. However, the formal semantics for the notations included in UML are not provided, which are a key requirement for the verification and evaluation purposes. To solve this problem, Petri net formalism has been used as a complement to UML in several research projects. However, there is not a complete transformation technique for all concepts and diagrams of UML to an extension of Petri nets. We have recently introduced object stochastic activity networks (OSANs). OSANs are a high-level modelling formalism that integrates object-orientation into stochastic activity networks (SANs). In this paper, we... 

Statistical Process Control (SPC) is an approach that uses statistical techniques to monitor the process. The techniques of quality control are widely used in controlling any kinds of processes. One of these processes is the short processes. In short run processes often do not have enough data in each run to produce good estimates of the process parameters. This will cause the reduction of the performance and efficiency of control charts. A common solution to this problem is considering a single machine or process to produce many different parts, or different products. In this paper a new method based on non-conformity degree and fuzzy membership functions has been developed for controlling... 

In software systems development lifecycle making use of software architecture, especially by taking advantage of architecture styles and patterns, is an essential part which increases product's quality. Nowadays, in order to cover complexity of systems, combination of different architecture styles should be used; therefore ambiguous behaviors might occur. Hence, due to the critical need for toolsets capable of selecting suitable styles and patterns, an environment is proposed in this paper which can perfectly cover different aspects of the implementation of decision support system (DSS). The designed environment obviates data implementation concepts and security considerations. Moreover, it... 

Due to the enlargement and complexity of software systems and the need for maintenance and update, success of systems depends strongly on their architecture. Software architecture has been a key element in software development process in two past decades. Therefore, choosing the correct architecture is a critical issue in software engineering domain, with respect to the extremely extension of architecturedriven designs. Moreover, software architecture selection is a multi-criteria decision-making problem in which different goals and objectives should be considered. In this paper, a Decision Support System (DSS) has been designed which provides software architects with more precise and... 

The continuing process of software systems enlargement in size and complexity becomes system design extremely important for software production. In this way, the role of software architecture is significantly important in software development. It serves as an evaluation and implementation plan for software development and software evaluation. Consequently, choosing the correct architecture is a critical issue in software engineering domain. Moreover, software architecture selection is a multicriteria decision-making problem in which different goals and objectives must be taken into consideration. In this paper, more precise and suitable decisions in selection of architecture styles have been... 

Due to the extreme use of method engineering and increasing attention to construct methods customized for a specific project, domain, organization or a generic method compatible with the team characteristics and needs, existence of suitable and formalized frameworks and guidelines is one of the challenges method engineers are encountered. In this area, considering method construction as the goal of method engineering brings to the mind the software development process in which the product is a method adapting the method users' needs. This paper, with a new approach of applying software architecture in method engineering and making use of architecture styles, tries to take advantage of...