Visual modeling with Rational Rose 2000 and UML (2nd ed.)
Visual modeling with Rational Rose 2000 and UML (2nd ed.)
Essentials of Constraint Programming
Essentials of Constraint Programming
UPnP Design by Example: A Software Developer's Guide to Universal Plug and Play
UPnP Design by Example: A Software Developer's Guide to Universal Plug and Play
Model-Driven Web Services Development
EEE '04 Proceedings of the 2004 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'04)
Formal semantics and analysis of control flow in WS-BPEL
Science of Computer Programming
Software service engineering: Tenets and challenges
PESOS '09 Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems
Automatic translation of WS-CDL choreographies to timed automata
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Validated code generation for activity diagrams
ICDCIT'05 Proceedings of the Second international conference on Distributed Computing and Internet Technology
Service-Oriented Smart-Home Architecture Based on OSGi and Mobile-Agent Technology
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
| Hi-index | 0.00 |
In the Internet of Things, billions of networked and software-driven devices will be connected to the Internet. They can communicate and cooperate with each other to form a composite system. In this paper, we propose PMG-pro (present, model, generate and provide), a language independent, bottom-up and model-driven method for the development of such composite system. We envision that all devices in the Internet of Things provide their functionalities as services. From a service description, a service presenter generates source code (i.e., for the service invocations) and uses an abstract graphical representation to represent a service. The code is connected to the abstract graphical service representation. A service abstractor constructs the abstract graphical representations even more abstract in hierarchical service taxonomy. Software developers use the abstract graphical service presentations to specify new service-based applications, while the source code is used for the automation of code generation.