Abstract
Over the last years, computer applications have moved away from the single-core, local execution that they were originally intended for. Modern applications have to run distributed, in parallel, on heterogeneous environments, share distributed data etc. Not surprisingly the standard ways of programming do not hold anymore and modern software engineers struggle with the growing complexity. New software engineering need to move away from the traditional execution models and reconsider the principles from ground up - focusing on the three primary “building criteria” of modern applications, namely to process information, to adhere to quality and performance criteria, and to follow business incentives. This paper shows that these three criteria are sufficient to specify the full functional behaviour of an application and thereby implicitly its potential instantiations. Since no single algorithm is bound to the specification, transformation between instances, and thus between different execution attributes is easily possible using mathematical transformations.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
