NDLI: Formalizing and analyzing service oriented software architecture style

Content Provider	IEEE Xplore Digital Library
Author	Huaikou Miao Junmei Sun Xiaoxia Cao
Copyright Year	2006
Description	Author affiliation: Sch. of Comput. Eng. & Sci., Shanghai Univ. (Huaikou Miao; Junmei Sun; Xiaoxia Cao)
Abstract	The concept of software architecture (SA) provides a new way for the transition from the construct and requirement to implementation. Software architecture style is a classification of SA. Different style has different system characteristic. Through the research of software architecture style, we can direct the software development well using SA. Formalizing software architecture style made the communication more precise and convenient at the level of SA. Formalizing software architecture style will be beneficial to formal verification and comparison of different style. This paper proposes the service oriented software architecture style, formalizes the new service oriented SA style using formal specification notation Z, gives the definition of match and composition of service component, analyses the replacement of SA style and proves four theorems of replacement
Starting Page	387
Ending Page	390
File Size	197520
Page Count	4
File Format	PDF
ISBN	076952558X
ISSN	15417719
DOI	10.1109/EDOC.2006.29
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2006-10-16
Publisher Place	China
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Software architecture Formal specifications Formal verification Computer architecture Chemical analysis Service oriented architecture Unified modeling language Information analysis Educational institutions Programming
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in