Targeted Influence Maximization (TIM) aims to find a k subset from a given set of nodes which can influence a maximum number of nodes in a graph representing a social network. This paper proposes an efficient, cost-effective approach for Targeted Influence Maximization (TIM) within a given budget. The main objective of this work is to identify good seeds (targets) for a given budget so that maximum spread can be achieved within the given budget. The gain calculation for individual nodes is done and then the selected node gain is used as input along with the budget to our proposed seed selection algorithm. This seed selection algorithm is based on a greedy approach to the 0/1 Knapsack Problem which is time efficient as well. The selected nodes are then used as input for the proposed Influence Propagation algorithm, a modified version of the Linear Threshold (LT) model. This modified LT model caters to a particular context while measuring the influence spread. The performance of this model is evaluated with the existing baseline work. It is observed that given a lower budget, our model is performing way better than the existing baseline work.

Internet of Things has become a new phenomenon in recent times. IoT has enabled us with a better quality of daily life through smart home systems. Its growing popularity has made the introduction of IoT devices in medical facilities on a huge scale. Here the data is generated at the edge devices which can be smart phones, smart watches, CCTV camera, other wearables. The data processing is done at the edges to offload the computational task. The challenge is to generate the right medical assistance request by the devices, sending the message to the concerned service provider and to maintain data security all at the same time. In this paper we propose to achieve the goal of a secure home by user authentication, providing the appropriate services by generating symptom bits at the edge devices where the privacy preservation of those sensitive user data will be secured with the help of cloud firewall.

Service Oriented Architecture caters to the "Separation of Concerns" and incorporates reusability, granularity, modularity, componentization and interoperability. There are many software products that have been developed in the object-oriented paradigm. To incorporate the positive aspects of the service-oriented paradigm, they need to be evolved to the service-oriented domain. In this paper, we define an integrated approach towards consistent evolution of Object Oriented (OO) paradigm to the Service Oriented (SOA) domain. There are some proven Object Oriented Design Tools that can be used for Service Oriented Application design incorporating both the behavioral and structural aspects. The work in this paper involves a set of activities like formalizing the different UML diagrams, formal mapping of object components to service level components and establishing consistency among them. We also establish a traceability model for consistent evolution of Service Oriented Applications from existing Object Oriented Applications by mapping behavioral and structural artifacts of both domains. This will establish traceability from implementation phases back to the requirements phases of an SOA application.

Service components are the key to the development of a serviceoriented solution as they provide the implementation of the services. The implementation of Service components provides the actual function of the component and can be defined with one or more Java classes. We propose a model named Service Component to Class (SC2C) that maps the service components of an application with that of the classes that implement the service components. We also propose a visual model as a part of SC2C that represents the classes and relationship among classes. This model helps to establish traceability among service components and classes. We also introduce some traceability metrics to measure traceability between the artifacts of Service Oriented Architecture (SOA) and Object Oriented (OO) paradigms. This work, along with our earlier work, help in Software Configuration Management of a SOA application. We provide an insurance system case study to illustrate our approach.

Enterprise Service Bus (ESB) is responsible for publishing and discovery of services in a global distributed delivery system. Context-aware systems offer entirely new opportunities for application developers and for end users by gathering context data and adapting systems’ behavior accordingly. In this paper, we propose a Context Aware ESB (CA-ESB) that will publish and discover services based on location context. The main modules of the framework consist of Context Provider (senses location context), Context Aware Logic Module (decides which regional service to be selected based on location context) and Service Choreographer (choreographs selected services). We propose a graphical model named Context Aware Graph (CA-Graph) that will help us to dynamically choreograph the services. These modules along with other modules of SOA reference architecture will help the ESB to sense the location of users, to select the required services and dynamically choreograph those services. We define a set of metrics based on CA-graph and analyze the performance of CA-ESB. An algorithm is proposed that will dynamically choreograph the selected services based on location context. The results of the case study of an Insurance System are used to illustrate our approach. Keywords— Cloud Computing, Context-aware, Enterprise Service Bus, SOA based global delivery model, dynamic service choreography, CA-Graph

Business processes are an integral part of service-oriented architecture. A typical business process spans multiple Use Cases. Use case diagram along with activity diagrams represents the behavior of a design in the analysis phase for an object-oriented system. In this paper, we propose a relational model, "Formalized Analysis Model to Business Process (FAM2BP)" for transformation of Formalized Analysis Model (FAM) of object-oriented systems into BPMN process for SOA application. FAM consists of a set of grammar based formalized Use case and Activity diagram elements of UML. FAM2BP propose some rules that will help the designer to generate business processes for SOA application directly from object oriented analysis models. This model would help in evolution of software design and development paradigms from Object Oriented to Service Oriented systems.

AbstractService Oriented Architecture (SOA) provides a foundation to achieve software reuse that enables business professionals, who are not necessarily programmers, to exploit the intrinsic properties of software. A component-based programming model is the key factor in the rapid adoption of SOA. SOA exploits the properties of Component Based Software Engineering (CBSE) in the form of services. SOA components help to provide the business users with some flexibility to play around with the components and rewire them to create new business solutions. The complexity of SOA application plays an important role in project planning and determination of timeline and cost estimation and allocation of resources. This paper proposes a metric-based approach for the determination of relative complexity and coupling of Component based SOA application. We have proposed a Service Component Architecture Graph (SCAG) which can be used for graphical representation of the different service module, the service components in the service module and interaction among them. This metrics may be used by developers to assess the complexity of SOA application and if required redesign to create highly cohesive components with minimal coupling. It will also promote a culture of asset (reusable components) based development by considering the factor like usability, complexity, coupling etc. A case study is presented and graph based analysis is done for deriving the complexity, along with the other aspects of the architecture.

Enterprise Service Bus (ESB) is responsible for publishing and discovery of services in such environments.Contextaware systems offer entirely new opportunities for application developers and for end users by gathering context data and adapting systems' behavior accordingly.In this paper, we propose a Context Aware ESB (CA-ESB) that will publish and discover services based on location context.The main modules of the framework consist of Context Provider (senses location context), Context Aware Logic Module (decides which regional service to be selected based on location context) and Service Choreographer (choreographs selected services).We propose a graphical model named Context Aware Graph (CA-Graph) that will help us to dynamically choreograph the services.These modules along with other modules of SOA reference architecture will help the ESB to sense the location of users, to select the required services and dynamically choreograph those services.We define a set of metrics based on CA-graph and analyse of performance CA-ESB.An algorithm is proposed that will dynamically choreograph the selected services based on location context.The results of the case study of an Insurance System are used to illustrate our approach.

Mobile devices are becoming more and more popular and accessible day by day. In this paper, we propose a context aware middleware architecture (CAMA) that is suitable for use in the agriculture domain. Farmers retrieve context aware information regarding agricultural domain from agriculture databases with the help of mobile devices that have a GUI that display information in vernacular. Our proposed architecture (CAMA) acts as an interface between farmer and database and correctly maps the retrieved data to its vernacular form and vice versa and also ensures uniform abstraction of the database and location data .The middleware maps the data retrieved in English to its vernacular counterpart using the grammar that is defined in the mapping module. We have defined a formal approach to validate the functionality of the mapping module and also present performance analysis for sample query.

UML being semi formal in nature, it lacks formal syntax and hence automated verification of design specifications cannot be done. To address this we propose a UML Compiler that takes context free grammars for UML diagrams and verifies the syntactic correctness of the individual diagrams and semantic correctness in terms of consistency verification with other diagrams. This UML-Compiler is a part of a framework, which consists of two modules. First module converts XMI format of UML diagrams, as generated by any standard tool into string format and second module (UML-Compiler) is for verification of the diagrams. This paper focuses on the second module and proposes a formal context free grammar for the two of the commonly used UML diagrams - Class diagram (depicting the static design) and sequence diagram (depicting behavioral design) and validated by using Lex and YACC.

In Object Oriented systems, the design phase can be modeled using the three diagrams: Sequence diagram (which depicts responses of all objects that are involved in a single use case), Class Diagram (which is used to depict the structural aspect of design) and State chart diagram (which is used to depicts the states and state dependent behavior for objects). In this paper, we have proposed a framework for verification of these diagrams, which includes syntactic correctness and inter-diagram consistency. This is done by proposing Context Free Grammar for the three diagrams. The proposed grammar is validated by using Lex and Yacc and parse tree is generated which is an alternate form of the grammar. This framework, being built based on a formal approach, would enable us to automate the process of correctness and consistency verification among the diagrams used in design phase. This would also help us in ensuring requirement traceability on the long run.