NDLI: Parameterized programming and software architecture

Content Provider	IEEE Xplore Digital Library
Author	Goguen, J.A.
Copyright Year	1996
Description	Author affiliation: California Univ., San Diego, La Jolla, CA, USA (Goguen, J.A.)
Abstract	The paper discusses an approach to software architecture based on concepts from parameterized programming, particularly its language of "module expressions". A module expression describes the architecture of a system as an interconnection of component modules, and executing the expression actually builds the system. Language features include: modules parameterized by theories, which declare interfaces; a number of module composition operations; views for binding modules to interfaces; and both vertical and horizontal composition. Modules may involve information hiding, theories may declare semantic restrictions with axioms, and views assert behavioral satisfaction of axioms by a module. Some "laws of software composition" are given, showing how various module composition operations are related. We also show how a variety of architectural styles can be supported, and how this approach can be extended to support evolution and traceability. All this is intended to ease the development of large systems, and in particular, to make reuse more effective in practice.
Starting Page	2
Ending Page	10
File Size	941267
Page Count	9
File Format	PDF
ISBN	081867301X
DOI	10.1109/ICSR.1996.496108
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	1996-04-23
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Software architecture Computer architecture Software libraries LAN interconnection Aircraft navigation Specification languages Software systems Control systems Architecture description languages Data engineering
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

LILEANNA: a parameterized programming language

An approach to validation of software architecture model

Object oriented module interconnection languages

Bridging legacy systems to model driven architecture

A formal approach to distributed software architecture

Architectural abstractions for real-time software

Declarative specification of software architectures

A temporal logic approach to the specification of reconfigurable component-based systems

A classification and comparison framework for software architecture description languages

Parameterized programming and software architecture

Similar Documents

LILEANNA: a parameterized programming language

An approach to validation of software architecture model

Object oriented module interconnection languages

Bridging legacy systems to model driven architecture

A formal approach to distributed software architecture

Architectural abstractions for real-time software

Declarative specification of software architectures

A temporal logic approach to the specification of reconfigurable component-based systems

A classification and comparison framework for software architecture description languages

Parameterized programming and software architecture