The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Green Specifications: A Concrete Example
Abstract
Green specifications provide a foundation for reducing the environmental impact of computing applications and improving the consumption behavior of users by providing a clear and precise specification of the environmental impact of specific services. They can either be used to specify the actual behavior and environmental impact of existing services or to define the requirements that a to-be-built service must fulfill. Green specifications describe the properties of a service from distinct viewpoints such as a structural viewpoint which describes the data types and external components that the service uses, a functional viewpoint which describes the effects of the service's operations using pre- and post- conditions and a behavioral viewpoint which describes the externally visible states and transitions exhibited by the service. These are augmented with non-functional information describing the environmental properties of, or constraints on, the service. In this chapter we provide an introduction to green specifications and give a concrete example of their use to specify a Video on Demand (VoD) service.
Related Content
Azeem Khan, Noor Zaman Jhanjhi, Dayang Hajah Tiawa Binti Awang Haji Hamid, Haji Abdul Hafidz bin Haji Omar.
© 2024.
30 pages.
|
Siva Raja Sindiramutty, Chong Eng Tan, Sei Ping Lau, Rajan Thangaveloo, Abdalla Hassan Gharib, Amaranadha Reddy Manchuri, Navid Ali Khan, Wee Jing Tee, Lalitha Muniandy.
© 2024.
67 pages.
|
Ruchi Doshi, Kamal Kant Hiran.
© 2024.
16 pages.
|
N. Ambika.
© 2024.
9 pages.
|
Siva Raja Sindiramutty, Wee Jing Tee, Sumathi Balakrishnan, Sukhminder Kaur, Rajan Thangaveloo, Husin Jazri, Navid Ali Khan, Abdalla Gharib, Amaranadha Reddy Manchuri.
© 2024.
54 pages.
|
Azeem Khan, NZ Jhanjhi, Dayang Hajah Tiawa Binti Awang Haji Hamid, Haji Abdul Hafidz bin Haji Omar.
© 2024.
22 pages.
|
Azeem Khan, Noor Zaman Jhanjhi, Dayang Hajah Tiawa Binti Awang Haji Hamid, Haji Abdul Hafidz bin Haji Omar.
© 2024.
36 pages.
|
|
|