In order to standardize the functions of the Internet of Things interactive system, such as cost constraints, probability, and speed, the basic principle is to expand the ability to express data flow or cost behavior, and to build logic to describe the nature of the Internet of Things. Interactive Internet of Things-cost probability time data flow logic PPTDL, in order to integrate the MODEST automatic verification tool, this paper studies the mechanism of converting the PPTCA reaction model into an action program with a random time automaton, which theoretically supports the tool use. This paper studies the theory and technology of enterprise logistics service management, introduces the B/S system structure, the database technology used, and the current research status at home and abroad. When analyzing program requirements, first use dynamic and static functional models to explain system business requirements and distinguish systems. The general design and detailed design of the system are carried out, and the functional structure of the system is established. The system performs user management module, company information management, customer service, transaction order and report management, user management module, user connection and registration, employee personal information management, order management, and other functions of the customer service module. In addition, users and developers conduct transactions by accessing the cloud computing service platform created by operators, and there are factors that promote each other between users and developers. Sending and completing service functions, the transaction control module performs order management, order comparison management and other functions, and the report management module performs the reporting function of customer information and user information reports.