1 / 24

.NET Technology

.NET Technology. Introduction. Overview of .NET What .NET means for Developers, Users and Businesses Two .NET Research Projects: .NET Generics AsmL. What Is .NET?. Initiative launched in 2002 Comprehensive family of products Helps BUILD, MANAGE, USE and EXPERIENCE Web Services

cyrah
Télécharger la présentation

.NET Technology

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. .NET Technology

  2. Introduction Overview of .NET What .NET means for Developers, Users and Businesses Two .NET Research Projects: .NET Generics AsmL

  3. What Is .NET? Initiative launched in 2002 Comprehensive family of products Helps BUILD, MANAGE, USE and EXPERIENCE Web Services Web Service: Reusable piece of code accessed directly by another service or software application Programs written in any language on any platform

  4. .NET Platform Visual Studio .NET .NET Enterprise Servers .NET Building Block Services .NET Framework Operating system on servers, desktops and devices O’Reilly, 2002 • Consists of 5 main components

  5. .NET Framework Common Language Runtime (CLR): • Manages memory, security and language integration • Features include strong type names, cross language debugging, dynamic binding Two main components: 1. Common Language RunTime (CLR) 2. .NET Framework Class Library

  6. .Net Framework (cont.) .NET Framework Class Library Supplies resources needed to build applications Unified classes 3 components: ASP.NET (build Web applications/services) Windows Forms (user interface development) ADO.NET (help connect applications to databases)

  7. Summary of Benefits Helps develop Windows applications Reuse of existing code Easy integration of languages Same tools/skills to build for a wide range of devices. Facilitates deployment and maintenance of software Improved reliability, scalability, performance and security

  8. .NET Services for Consumers and Businesses

  9. Aim of .NET for Users What does .NET mean for users? Software for connecting people, information, systems and devices. Main Goal A concept called “The .NET Experience” Ongoing research

  10. .NET User Experience Provides a more personal experience for the user by connecting web services Example – household utility controls Why is the .NET Experience unique? Each device generates a different interface Location-independent Personalised

  11. .NET Services Future research: To create new services and expand existing services, such as: .NET Alerts .NET MapPoint Web Service .NET My Services .NET Passport .NET for Retail

  12. .NET Passport (Any time, Any place, on Any device) What is .NET Passport? Authentication service Universal login Deliver a more personal experience with user profile What are the benefits? For consumers (convenient and secure) For businesses (adds value to all sites supporting Passport) What is the future? Stronger authentication forms Streamline services Interoperate with other authentication systems

  13. .NET Generics

  14. .NET Generics What is it? Allows a developer to write code without specifying too many implementation details. Generics - 'Not Having a Brand Name‘ e.g. generic washing up liquid Extension to the CLR's type system e.g. GenericSortedList<T> Serves similar purpose as templates in C++.

  15. Benefits of .NET Generics Type Safety Removes the need for implicit casting Check type at compile time not run time. Binary Code Reuse SortedListOfStrings – Only for Strings Performance No casts Clarity Constraints

  16. Future Development of .NET Generics Some support for .NET Generics is being released as part Visual Studio 2005, but limited Future release aim to: Support more languages Make it possible to constrain operators.

  17. AsmL:Abstract State Machine Language

  18. AsmL - Abstract State Machine Language Specification language Influenced by Z and VDM Specifications are executable Precise and unambiguous way to specify system Can test/prove implementation satisfies specification Not implementation: non-determinism Supports all .NET structuring mechanisms.

  19. Abstract State Machines Program is series of states State represented by first order structure Function describes movement between states (atomic) Model algorithms at natural level of abstraction f(S1) f(S2) f(S3) f(Sn-1) S1 -------> S2 ------> S3 -----> . . . ----> Sn Execution of Program

  20. AsmL Specifications Sorting a list A: Non-deterministically chooses elements to swap. Specifies updates leading to next state. class Model Swap() Choose i in Indices(A), j in Indices(A) where i < j and A(i) > A(j) A(j) := A(i) A(i) := A(j)

  21. Benefits Precise and unambiguous way to specify system (safety critical system) Allow teams to communicate design decisions Can execute specifications Before commit to coding entire system can answer fundamental questions Verify implementation by running in conjunction with specification

  22. The Future of AsmL Version of AsmL released 2004 Free download http://research.microsoft.com/foundations/AsmL MS plans to increase its use in internal applications Still investigating: Automatic test-case generation of specifications Automatic verification of specifications using theorem proving techniques

  23. Summary We have outlined: What .NET is. What .NET means for users, developers and businesses. The future hope of a ‘.NET Experience’ 2 ongoing research projects on .NET.

  24. Any Questions?

More Related