RESTful Services and Web-OS Middleware: a Formal Specification Approach.
Mario BravettiPublished in: J. Univers. Comput. Sci. (2017)
Keyphrases
- formal specification
- web services
- web technologies
- model checking
- heterogeneous environments
- specification languages
- web applications
- end users
- object oriented design
- specification language
- software components
- formal methods
- operating system
- process algebra
- service oriented
- publish subscribe
- semantic web
- reverse engineering
- location awareness
- concurrent systems
- ubiquitous computing
- communication protocols
- service discovery
- architectural style
- distributed systems
- open source
- web pages
- ubiquitous computing environments
- loosely coupled
- business rules
- databases
- temporal logic
- expert systems