DECLARATIVE SPECIFICATION OF THE ARCHITECTURE OF A SOFTWARE-DEVELOPMENT ENVIRONMENT

被引：1

作者：

AMBRIOLA, V ^{[1
]}

CIANCARINI, P ^{[1
]}

CORRADINI, A ^{[1
]}

机构：

[1] UNIV BOLOGNA, DIPARTIMENTO MATEMAT, I-40127 BOLOGNA, ITALY

来源：

SOFTWARE-PRACTICE & EXPERIENCE | 1995年 / 25卷 / 02期

关键词：

SPECIFICATION; PROGRAMMING ENVIRONMENT; SOFTWARE ARCHITECTURE; LOGIC PROGRAMMING;

D O I：

10.1002/spe.4380250204

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

There is an increasing interest in the study of software architectures; however, it still unclear which kind of formalisms and techniques should be used in their design. We study the suitability of a rule-based, parallel logic language in the specification of the architecture of a complex software system, i.e. a software development environment. We have used as a case study SMILE, an environment for programming-in-the-large. Because of the declarative, concurrent and object-oriented features of parallel logic programming, we have been able to design a software architecture that emphasizes the dynamic of co-ordination inside the software development environment. The result of this experience shows the usefulness and some weaknesses of logic languages for specifying and prototyping the software architecture of a distributed interactive system.

引用

页码：143 / 174

页数：32

共 50 条

[21] Towards Specification of a Software Architecture for Cross-Sectoral Big Data Applications
Arapakis, I
Becerra, Y.
Boehm, O.
Bravos, G.
Chatzigiannakis, V
Cugnasco, C.
Demetriou, G.
Eleftheriou, I
Mascolo, J. E.
Fodor, L.
Ioannidis, S.
Jakovetic, D.
Kallipolitis, L.
Kavakli, E.
Kopanaki, D.
Kourtellis, N.
Marcos, M. M.
de Pozuelo, R. M.
Milosevic, N.
Morandi, G.
Montanera, E. P.
Ristow, G. H.
Sakellariou, R.
Sirvent, R.
Skrbic, S.
Spais, I
Vasiliadis, G.
Vinov, M.
2019 IEEE WORLD CONGRESS ON SERVICES (IEEE SERVICES 2019), 2019, : 394 - 395
[22] A study on software architecture of testability experiment verification environment
Xu Yingshi
Liu Bin
Ruan Lian
Xu Ping
PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON MAINTENANCE ENGINEERING, 2006, : 957 - 963
[23] Integration of Software Architecture in Requirements Elicitation for Rapid Software Development
Gillani, Maryam
Niaz, Hafiz Adnan
Ullah, Ata
IEEE ACCESS, 2022, 10 : 56158 - 56178
[24] Software architecture design in global software development: An empirical study
Sievi-Korte, Outi
Richardson, Ita
Beecham, Sarah
JOURNAL OF SYSTEMS AND SOFTWARE, 2019, 158
[25] Development and Specification of a Reference Architecture for Agent-Based Systems
Regli, William C.
Mayk, Israel
Cannon, Christopher T.
Kopena, Joseph B.
Lass, Robert N.
Mongan, William M.
Nguyen, Duc N.
Salvage, Jeff K.
Sultanik, Evan A.
Usbeck, Kyle
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2014, 44 (02): : 146 - 161
[26] Towards an improvement of software development process based on Software Architecture, Model Driven Architecture and Ontologies
Bartolo Espiritu, Fernando
Sanchez Lopez, Abraham
Calva Rosales, Luis Josue
2014 INTERNATIONAL CONFERENCE ON ELECTRONICS, COMMUNICATIONS AND COMPUTERS (CONIELECOMP), 2014, : 118 - 126
[27] The development of a software architecture for an environmental education platform
Iniguez-Lopez, Freddy
Cortes-Verdin, Karen
Perez Arriaga, Juan Carlos
Contreras Vega, Gerardo
Maldonado Gonzalez, Ana Lucia
2015 INTERNATIONAL CONFERENCE ON COMPUTING SYSTEMS AND TELEMATICS (ICCSAT), 2015,
[28] Relating architecture and specification
Turner, KJ
COMPUTER NETWORKS AND ISDN SYSTEMS, 1997, 29 (04): : 437 - 456
[29] An Effective Learning Environment for Teaching Problem Solving in Software Architecture
Garg, Kirti
Varma, Vasudeva
ISEC 2009 - PROCEEDINGS OF THE 2ND INDIA SOFTWARE ENGINEERING CONFERENCE, 2009, : 139 - 140
[30] Software architecture for a Virtual Environment for nano scale assembly (VENSA)
Lee, YG
Lyons, KW
Feng, SC
JOURNAL OF RESEARCH OF THE NATIONAL INSTITUTE OF STANDARDS AND TECHNOLOGY, 2004, 109 (02): : 279 - 290

← 1 2 3 4 5 →