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 条
  • [31] A DECLARATIVE ENVIRONMENT FOR DISTRIBUTED-PROGRAMMING
    DIAZ, M
    PIMENTEL, E
    TROYA, JM
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 12 : 163 - 169
  • [32] AN INTEGRATED SOFTWARE ENVIRONMENT FOR THE DEVELOPMENT OF DISTRIBUTED SYSTEMS
    CHEUNG, TY
    SOFTWARE ENGINEERING EDUCATION, 1993, 40 : 221 - 232
  • [33] Joint Effect of Team Structure and Software Architecture in Open Source Software Development
    Nan, Ning
    Kumar, Sanjeev
    IEEE TRANSACTIONS ON ENGINEERING MANAGEMENT, 2013, 60 (03) : 592 - 603
  • [34] Softarch: Tool support for integrated software architecture development
    Grundy, J
    Hosking, J
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2003, 13 (02) : 125 - 151
  • [35] The role of middleware in architecture-based software development
    Medvidovic, N
    Dashofy, EM
    Taylor, RN
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2003, 13 (04) : 367 - 393
  • [36] Metrics for Verification and Validation of Architecture in Powertrain Software Development
    Venkitachalam, Hariharan
    Richenhagen, Johannes
    Schlosser, Axel
    Tasky, Thomas
    2015 FIRST INTERNATIONAL WORKSHOP ON AUTOMOTIVE SOFTWARE ARCHITECTURE (WASA), 2015, : 27 - 33
  • [37] Software Defined Open Architecture Modem Development at CMRE
    Potter, John
    Alves, Joao
    Furfaro, Thomas
    Vermeij, Arjan
    Jourden, Nicolas
    Zappa, Giovanni
    Berni, Alessandro
    Merani, Diego
    2014 UNDERWATER COMMUNICATIONS AND NETWORKING (UCOMMS), 2014,
  • [38] The software architecture of a real-time Battlefield Visualization virtual environment
    Julier, S
    King, R
    Colbert, B
    Durbin, J
    Rosenblum, L
    IEEE VIRTUAL REALITY - PROCEEDINGS, 1999, : 29 - 36
  • [39] Middleware-based Software Architecture For Interactions in the Smart Learning Environment
    Chaczko, Zenon
    Alenazy, Wael
    Chan, Cheuk Yan
    INNOVATION MANAGEMENT AND SUSTAINABLE ECONOMIC COMPETITIVE ADVANTAGE: FROM REGIONAL DEVELOPMENT TO GLOBAL GROWTH, VOLS I - VI, 2015, 2015, : 699 - 714
  • [40] On the specification of complex software systems
    Moxley, FI
    SECOND IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS: HELD JOINTLY WITH 6TH CSESAW, 4TH IEEE RTAW, AND SES'96, 1996, : 134 - 138
12345