Cyber physical systems (CPSs) can be found nowadays in various fields of activity. The increased interest for these systems as evidenced by the large number of applications led to complex research regarding the most s...Cyber physical systems (CPSs) can be found nowadays in various fields of activity. The increased interest for these systems as evidenced by the large number of applications led to complex research regarding the most suitable methods for design and development. A promising solution for specification, visualization, and documentation of CPSs uses the Object Management Group (OMG) unified modeling language (UML). UML models allow an intuitive approach for embedded systems design, helping end-users to specify the requirements. However, the UML models are represented in an informal language. Therefore, it is difficult to verify the correctness and completeness of a system design. The object constraint language (OCL) was defined to add constraints to UML, but it is deficient in strict notations of mathematics and logic that permits rigorous analysis and reasoning about the specifications. In this paper, we investigated how CPS applications modeled using UML deployment diagrams could be formally expressed and verified. We used Z language constructs and prototype verification system (PVS) as formal verification tools. Considering some relevant case studies presented in the literature, we investigated the opportunity of using this approach for validation of static properties in CPS UML models.展开更多
Cloud computing can offer a very powerful, reliable, predictable and scalable computing infrastructure for the execution of MAS （multi-agent systems） implementing complex agent-based applications such when modelling...Cloud computing can offer a very powerful, reliable, predictable and scalable computing infrastructure for the execution of MAS （multi-agent systems） implementing complex agent-based applications such when modelling, simulation and real-time running of complex systems must be provided. Multi-agent systems appears as an adequate approach to current challenges in many areas. Between important qualities of MAS also belongs to, that they are open, interoperable, and heterogenous systems. The agent is active, a program entity, has its own ideas how to perform the tasks of the own agenda. Agents： perceive, behave ＂reasonably＂, act in the environment, communicate with other agents. Cloud infrastructures can offer an ideal platform where run MAS systems simulations, applications and real-time running because of its large amount of processing and memory resources that can be dynamically configured for executing large agent-based software at unprecedented scale. Cloud computing can help chemical and food companies drive operational excellence; meet growing and changing customer demands; accelerate new product innovation and ramp-to-volume manufacturing in key markets; reduce IT spending; manage and mitigate supply chain risks; and enable faster and more flexible delivery of new IT system. Production type of SOC （service-oriented computing） can be inspired by a ＂Cloud＂, for the production of ＂Cloud＂ offers an attractive and natural solutions in several computing trends such as delivery system over the Internet, use of utilities, flexibility, virtualization, a ＂grid＂ distributed computing, outsourcing, Web 2.0, etc.. Production of the ＂Cloud＂ is also considered as a new multidisciplinary field that includes ＂network＂ production, virtual manufacturing, agile manufacturing, and of course cloud computing. Examples of cloud computing and MAS applications in food and chemistry development and industry, proposition of using multi-agent systems in the control of batch processes, modified ACO （ant colony optimization） approach for the diversified service allocation and scheduling mechanism in cloud paradigma, examples of applications in a business area were studied in the paper.展开更多
A novel intelligent drug delivery system potential for the more effective therapy of the diabetics was proposed, and the composition of system was analyzed. Based on the design of micro-electro-mechanical systems (MEM...A novel intelligent drug delivery system potential for the more effective therapy of the diabetics was proposed, and the composition of system was analyzed. Based on the design of micro-electro-mechanical systems (MEMS), an iterative modeling process was introduced. Unified modeling language (UML) was em-ployed to describe the function requirement, and different diagrams were built up to explore the static model, the dynamic model and the employment model. The mapping analysis of different diagrams can simply verify the consistency and completeness of the system model.展开更多
The unified modeling language(UML) is one of the most commonly used modeling languages in the software industry.It simplifies the complex process of design by providing a set of graphical notations,which helps express...The unified modeling language(UML) is one of the most commonly used modeling languages in the software industry.It simplifies the complex process of design by providing a set of graphical notations,which helps express the objectoriented analysis and design of software projects.Although UML is applicable to different types of systems,domains,methods,and processes,it cannot express certain problem domain needs.Therefore,many extensions to UML have been proposed.In this paper,we propose a framework for integrating the UML extensions and then use the framework to propose an integrated unified modeling language-graphical(iUML-g) form.iUML-g integrates the existing UML extensions into one integrated form.This includes an integrated diagram for UML class,sequence,and use case diagrams.The proposed approach is evaluated using a case study.The proposed iUML-g is capable of modeling systems that use different domains.展开更多
基金Project partially supported by the Strategic Grants POSDRU/88/1.5/S/50783 Project (No.50783,2009),POSDRU/107/1.5/S/77265 Project (No.77265,2010),Romaniathe European Social Fund for Investing in People, within the Sectoral Operational Programme Human Resources Development 2007-2013
文摘Cyber physical systems (CPSs) can be found nowadays in various fields of activity. The increased interest for these systems as evidenced by the large number of applications led to complex research regarding the most suitable methods for design and development. A promising solution for specification, visualization, and documentation of CPSs uses the Object Management Group (OMG) unified modeling language (UML). UML models allow an intuitive approach for embedded systems design, helping end-users to specify the requirements. However, the UML models are represented in an informal language. Therefore, it is difficult to verify the correctness and completeness of a system design. The object constraint language (OCL) was defined to add constraints to UML, but it is deficient in strict notations of mathematics and logic that permits rigorous analysis and reasoning about the specifications. In this paper, we investigated how CPS applications modeled using UML deployment diagrams could be formally expressed and verified. We used Z language constructs and prototype verification system (PVS) as formal verification tools. Considering some relevant case studies presented in the literature, we investigated the opportunity of using this approach for validation of static properties in CPS UML models.
文摘Cloud computing can offer a very powerful, reliable, predictable and scalable computing infrastructure for the execution of MAS （multi-agent systems） implementing complex agent-based applications such when modelling, simulation and real-time running of complex systems must be provided. Multi-agent systems appears as an adequate approach to current challenges in many areas. Between important qualities of MAS also belongs to, that they are open, interoperable, and heterogenous systems. The agent is active, a program entity, has its own ideas how to perform the tasks of the own agenda. Agents： perceive, behave ＂reasonably＂, act in the environment, communicate with other agents. Cloud infrastructures can offer an ideal platform where run MAS systems simulations, applications and real-time running because of its large amount of processing and memory resources that can be dynamically configured for executing large agent-based software at unprecedented scale. Cloud computing can help chemical and food companies drive operational excellence; meet growing and changing customer demands; accelerate new product innovation and ramp-to-volume manufacturing in key markets; reduce IT spending; manage and mitigate supply chain risks; and enable faster and more flexible delivery of new IT system. Production type of SOC （service-oriented computing） can be inspired by a ＂Cloud＂, for the production of ＂Cloud＂ offers an attractive and natural solutions in several computing trends such as delivery system over the Internet, use of utilities, flexibility, virtualization, a ＂grid＂ distributed computing, outsourcing, Web 2.0, etc.. Production of the ＂Cloud＂ is also considered as a new multidisciplinary field that includes ＂network＂ production, virtual manufacturing, agile manufacturing, and of course cloud computing. Examples of cloud computing and MAS applications in food and chemistry development and industry, proposition of using multi-agent systems in the control of batch processes, modified ACO （ant colony optimization） approach for the diversified service allocation and scheduling mechanism in cloud paradigma, examples of applications in a business area were studied in the paper.
基金the National Natural Science Founda-tion of China (No. 50575145)
文摘A novel intelligent drug delivery system potential for the more effective therapy of the diabetics was proposed, and the composition of system was analyzed. Based on the design of micro-electro-mechanical systems (MEMS), an iterative modeling process was introduced. Unified modeling language (UML) was em-ployed to describe the function requirement, and different diagrams were built up to explore the static model, the dynamic model and the employment model. The mapping analysis of different diagrams can simply verify the consistency and completeness of the system model.
基金supported by the King Fahd University of Petroleum and Minerals,Saudi Arabia(No.IN100046)
文摘The unified modeling language(UML) is one of the most commonly used modeling languages in the software industry.It simplifies the complex process of design by providing a set of graphical notations,which helps express the objectoriented analysis and design of software projects.Although UML is applicable to different types of systems,domains,methods,and processes,it cannot express certain problem domain needs.Therefore,many extensions to UML have been proposed.In this paper,we propose a framework for integrating the UML extensions and then use the framework to propose an integrated unified modeling language-graphical(iUML-g) form.iUML-g integrates the existing UML extensions into one integrated form.This includes an integrated diagram for UML class,sequence,and use case diagrams.The proposed approach is evaluated using a case study.The proposed iUML-g is capable of modeling systems that use different domains.
基金Supported by the National Natural Science Foundation of China under Grant No.60473064(国家自然科学基金)the National High-Tech Research and Development Plan of China under Grant Nos.2007AA010301,2005AA112030(国家高技术研究发展计划(863))+2 种基金the National Basic Research Program of China under Grant No.2005CB321805(国家重点基础研究发展计划(973))the Key Technologies R&D Program of China under Grant No.2003BA904B02 (国家科技攻关计划)the National Key Technology R&D Program of China under Grant No.2006BAH02A02(国家科技支撑计划)
