Formal-Based Component Model with Support of Mobile Architecture
نویسنده
چکیده
In this article, an approach to modelling of componentbased systems and formal description of their behaviour is proposed. It is based on a novel component model defined by a metamodel in a logical view and by description in the π-calculus in a process view. The model addresses dynamic aspects of software architectures including component mobility. Furthermore, a method of behavioural modelling of service-oriented architectures is proposed to pass smoothly from service to component level and to describe behaviour of a whole system as a single π-calculus process. The support of dynamic architecture and the integration with service-oriented architecture compromise the main advantages of the approach.
منابع مشابه
A Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملAdvanced Methods of Information System Development Title: Advanced Methods of Information System Development Subtitle: Formal-based Component Model with Support of Mobile Architecture Field of Specialisation: Information Systems
Increasing globalisation of information society and its progression create needs for extensive and reliable information technology solutions. Common features of current information systems have significant impact on a software architecture of the systems. The systems can not be realised as monoliths, exact specification of functions and interfaces of the systems’ parts are necessary, as well as...
متن کاملInvestigating the Effective Factors on Mobile Learning in Medical Education Based on FRAME Model
Introduction: With regard to an increase in use of modern communication technologies including mobile facilities and their application in learning and training, taking quality and users’ needs into account is a fundamental matter. In this article, an attempt has been made to investigate the factors influencing mobile learning from the perspective of M.S. and Ph.D. medical sciences students stud...
متن کاملTools for the Governance of Urban Design: The Tehran Experience
This research seeks to reflect the managerial, academic and professional experience of the authors in the design and implementation process of urban design projects, aiming to use the application of the “design governance” model, in order to describe the documents and activities of the Department of Urban Planning and Architecture of Tehran Municipality in the last decade. This paper consists ...
متن کامل