Using Propositional Logic for Requirements Verification of Service Workflow

Xu, Li Da; Viriyasitavat, Wattana; Ruchikachorn, Puripant; Martin, Andrew

doi:10.1109/tii.2012.2187908

Cited by 96 publications

(27 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…After more of development, these AMSs become playing a significant performance in the development of advanced manufacturing and industry. and AMSs conform to the aims and requirements of informatization, globalization, and more technologies have been proposed, including manufacturing source and service modelling and encapsulation [11], [12], resource and service optimal allocation and scheduling [13]- [17], service workflow administration [18] [19], and supply series administration [20]. Now, information and advice technology-in special, the Internet and implanted systems technologies-is knowing agile improvement, which has given growth to a number of new technologies, such as cyber-physical systems (CPS), the Internet of thing (IoT).…”

Section: Introductionmentioning

confidence: 99%

A state-of-the-art study of cloud manufacturing

Hatema¹,

Yusof²,

Kadir³

et al. 2018

IJET

View full text Add to dashboard Cite

There is a considerable industrial standard transfer. This will drive to the adaptable usage of various globally shared, emerging within the manufacturing field by Combining advanced manufacturing models such as the Internet of things, cloud computing, service-oriented technologies, big data, and recently Cloud Manufacturing. Cloud manufacturing a program is a combined program that empowers manufacturers to distribute sources contribute manufacturing services and including supports compatible cooperation. Economically significantources, such as the manufacture of software tools, importance, knowledge, and manufacturing capacity, and material, then become available to supposed users on a global basis, the principal benefits and difficulties of achieving cloud manufacturing are analyzed. the key New technologies for manufacturing model, is cloud manufacturing, cloud manufacturing aims to achieve full participation, free of charge, And easy for utilization of various sources and manufacturing abilities in the form of manufacturing setting. This paper contributes an overview of the cloud manufacturing.

show abstract

Section: Introductionmentioning

confidence: 99%

A state-of-the-art study of cloud manufacturing

Hatema¹,

Yusof²,

Kadir³

et al. 2018

IJET

View full text Add to dashboard Cite

show abstract

“…If there is a failure in connecting medium, the device has to shift to other medium for nonstop communication among the players. In addition to that, mission requires video streaming of intervention area, group call between the players, etc., that will deplete the battery power of devices [25][26][27].…”

Section: Introductionmentioning

confidence: 99%

Internet of Things-Based Multisensor Non-Invasive Technology for Robusmonitoring of Tunneling Infrastructure

Rai

2017

Asian J Pharm Clin Res

View full text Add to dashboard Cite

Objective: Tunneling is primarily one of the most expensive and uncertain endeavors in civil engineering. Hence, it is essential to explicitly quantify to consider all factors which in aid contribute toward uncertainty in terms of cost, time, and resources.Method: This research work provides major internet of things (IoT)-based computational and analytical tools for automating the non-invasive structure monitoring methods to provide decision aids in tunneling. Such decision aids technologies for tunneling process comprises multisensory networks for monitoring of structure, smart video cameras for geo-traffic monitoring and supported excavation during accidents, and light detection and ranging technology for mapping deformations in the structures. Results and Discussion:The presented research will reduce uncertainties, and information can be used to monitoring future risks. This work extends IoT-based multisensory network system to achieve complex tunnel systems to develop a framework which will allow the experience gained from past projects to update predictions about cost of construction in conjunction with time as the construction takes place.

show abstract

“…There are numerous literatures on the applications of IISs in different areas within the framework of Industrial Information Integration Engineering (IIIE), which is a set of foundational concepts and techniques that facilitate the industrial information integration process and comprise methods for solving complex problems when developing integrated information systems (Xu 2011a;Ulmer et al 2013). The applications of IIIE have covered areas such as business analytics (Duan and Xu 2012), information architecture for supply chain management (Xu 2011b;Gao et al 2013), integrated medical supply systems (Xu E et al 2011), enterprise management (Xu et al 2006), automated assembly planning system (Xu et al 2012a), service workflow management (Viriyasitavat et al 2012;Xu et al 2012b;Monakova and Leymann 2013), human-machine system design (Yin et al 2012), and decision support systems ). Web services were also used to create accessible interfaces for the National Water Information System (NWIS) and manage the integrated data sets including situ observations, remote sensing data and simulation model outputs.…”

Section: Introductionmentioning

confidence: 99%

An integrated information system for snowmelt flood early-warning based on internet of things

et al. 2013

View full text Add to dashboard Cite

Floods and water resource management are major challenges for human in present and the near future, and snowmelt floods which usually break out in arid or semiarid regions often cause tremendous social and economic losses, and integrated information system (IIS) is valuable to scientific and public decision-making. This paper presents an integrated approach to snowmelt floods earlywarning based on geoinformatics (i.e. remote sensing (RS), geographical information systems (GIS) and global positioning systems (GPS)), Internet of Things (IoT) and cloud services. It consists of main components such as infrastructure and devices in IoT, cloud information warehouse, management tools, applications and services, the results from a case study shows that the effectiveness of flood prediction and decisionmaking can be improved by using the IIS. The prototype system implemented in this paper is valuable to the acquisition, management and sharing of multi-source information in snowmelt flood early-warning even in other tasks of water resource management. The contribution of this work includes developing a prototype IIS for snowmelt flood early-warning in water resource management with the combination of IoT, Geoinformatics and Cloud Service, with the IIS, everyone could be a sensor of IoT and a contributor of the information warehouse, professional users and public are both servers and clients for information management and services. Furthermore, the IIS provides a preliminary framework of e-Science in resources management and environment science. This study highlights the crucial significance of a systematic approach toward IISs for effective resource and environment management.

show abstract

Using Propositional Logic for Requirements Verification of Service Workflow

Cited by 96 publications

References 18 publications

A state-of-the-art study of cloud manufacturing

A state-of-the-art study of cloud manufacturing

Internet of Things-Based Multisensor Non-Invasive Technology for Robusmonitoring of Tunneling Infrastructure

An integrated information system for snowmelt flood early-warning based on internet of things

Contact Info

Product

Resources

About