A Java']Java-based formal development environment for factory communication systems

被引：0
|
作者：
Demartini, C [1 ]
Sisto, R [1 ]
机构：
[1] Politecn Torino, Dipartimento Automat & Informat, I-10129 Turin, Italy
来源：
1998 INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS | 1998年
关键词：
D O I：
10.1109/CSD.1998.657558
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper reports on an ongoing project aimed at defining a development environment for factory communication systems, which combines the OOA&D and OMT reference methodologies with the use of formal methods for concurrent and distributed systems, and uses the Java language an various development phases, from specification to implementation. The proposed approach is exemplified by showing the modeling of a typical manufacturing control system: a quality control cell composed of a measurement unit and three handling robots.
引用
收藏
页码：273 / 281
页数：9
相关论文
共 50 条
  • [1] JAVA']JAVA-BASED COMMUNICATION IN A HIGH PERFORMANCE COMPUTING ENVIRONMENT
    Fries, A.
    de Mora, J. Portell i
    Sirvent, R.
    [J]. GAIA: AT THE FRONTIERS OF ASTROMETRY, 2011, 45 : 103 - +
  • [2] JTMN:: A Java']Java-based TMN development and experimentation environment
    Andrey, L
    Festor, O
    Nataf, E
    State, R
    [J]. IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, 2000, 18 (05) : 664 - 675
  • [3] Java']Java-based network management environment
    Park, JK
    Ban, NJ
    Kim, TG
    [J]. ICC 98 - 1998 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS VOLS 1-3, 1998, : 1124 - 1128
  • [4] Evaluation of partial file modification for Java']Java-based realtime communication systems
    Yamada, T
    Sunaga, H
    Tanaka, S
    Shiraishi, S
    Koyanagi, K
    [J]. IEICE TRANSACTIONS ON COMMUNICATIONS, 2005, E88B (10) : 3982 - 3991
  • [5] A new Java']Java-based software environment for distributed measuring systems design
    Winiecki, W
    Karkowski, M
    [J]. IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, 2002, 51 (06) : 1340 - 1346
  • [6] Java']Java-based distributed measurement systems
    Grimaldi, D
    Nigro, L
    Pupo, F
    [J]. IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, 1998, 47 (01) : 100 - 103
  • [7] Ibis: A Java']Java-based grid programming environment
    Bal, HE
    [J]. EURO-PAR 2003 PARALLEL PROCESSING, PROCEEDINGS, 2003, 2790 : 4 - 4
  • [8] ILE: A Java']Java-based environment for CS courses
    Hosny, H
    Khaled, O
    Fathalla, ME
    [J]. ITICSE 2000: PROCEEDINGS OF THE 5TH ANNUAL SIGCSE/SIGCUE CONFERENCE ON INNOVATION AND TECHNOLOGY IN COMPUTER SCIENCE EDUCATION, 2000, 32 (03): : 152 - 155
  • [9] A Java']Java-based parallel programming support environment
    Hawick, KA
    James, HA
    [J]. HIGH PERFORMANCE COMPUTING AND NETWORKING, PROCEEDINGS, 2000, 1823 : 363 - 372
  • [10] Java']Java-based query driven simulation environment
    Nair, RS
    Miller, JA
    Zhang, ZW
    [J]. 1996 WINTER SIMULATION CONFERENCE PROCEEDINGS, 1996, : 786 - 793
12345