微信服务号

微信订阅号

2025-5-16- 17
Home > Archive>Volume 13, Issue 8, 2002 >1374-1381
PDF HTML XML Export Cite reminder
A Flexible and Formalized Process Modeling Language
Author:
Affiliation:

  • Article
    • | |
  • Metrics
    • |
  • Reference [16]
    • |
  • Related [20]
    • |
  • Cited by [1]
    • | |
  • Comments
    Abstract:

    For reaching the requirement of process domain, a flexible and formalized process modeling language FLEX is proposed to support semantics richness, easy of use, flexibility, scalability, reuse, and distribution, while it is analyzable, executable, and evolutive. Especially, the language not only can provide nonexperts high level representation for easy of use, but also can allow users to define and reuse process notations at various granularities to extend the representation. So FLEX can support various levels and requirements of process modeling.

    Reference
    [1] Derniame, J.C., Kaba, B.A., Wastell, D. Software Process: Principles, Methodology and Technology. Springer Verlag, 1999.
    [2] Sutton, Jr., S.M., Osterweil, L.J. The design of a next-generation process language. In: Proceedings of the 6th European Conference Held Jointly with the 5th ACM SIGSOFT Symposium on Software Engineering. Springer-Verlag, 1997. 142～158.
    [3] Bandinelli, S., et al. SPADE: an environment for software process analysis, design, and enactment. In: Software Process Modeling and Technology. Research Studies Press Ltd., 1994. 223～247.
    [4] Kaiser, G.E. MARVEL 3.1: a multi-user software development environment. In: Proceedings of the International Symposium on Logic Programming. Vancouver, Canada, 1993.
    [5] Rombach, H.D. MVP-L: a language for process modeling in-the-large. Technical Report UMIACS-TR-91-96, University of Maryland, 1991.
    [6] Canals, G., et al. ALF: a framework for building process-centred software engineering environments. In: Software Process Modeling and Technology. Research Studies Press Ltd., 1994. 153～185.
    [7] Baldim, M., et al. Object oriented software process model design in E3. In: Software Process Modeling and Technology. Research Studies Press Ltd., 1994. 279～290.
    [8] Rumbaugh, J., Jacobson, I., Booch, G. The UML Reference Manual. Addison Wesley, 1999.
    [9] Dami, S., et al. APEL: a graphical yet executable formalism for process modeling. In: Automated Software Engineering (ASE). 1997.
    [10] Joeris, G., et al. Towards object-oriented modeling and enacting of processes. TZI-Report 07/98, Center for Computing Technologies, University of Bremen, 1998.
    [11] Joeris, G. et al. Towards flexible and high-level modeling and enacting of processes. In: Proceedings of the 11th International Conference on Advanced Information Systems Engineering (CaiSE'99). 1999.
    [12] Holzmann, G.J. The model checker SPIN. IEEE Transactions on Software Engineering, 1997,23(5):279～295.
    [13] Cobleighm, J.M., et al. FLAVERS: a finite state verification technique for software systems. Technical Report, UM-CS-2001-017, Department of Computer Science, University of Massachusetts, Amherst, MA 01003. 2001.
    [14] Sa, J., et al. OBM: a specification method for modeling organizational process. In: Proceedings of the Workshop on Constraint Processing at CSAM'93. 1993.
    [15] Multiversion Concurrency Control. 2002. http://www.postgresql.org/idocs/index.php?mvcc.html.
    [16] Chen, Cheng, Shen, Bei-jun. Towards flexible and high-level process modeling language. In: Proceedings of the International Symposium on Future Software Technology (ISFST). 2001. 136～141.
    Comments
    Comments
    分享到微博
    Submit
Get Citation

陈诚,沈备军,顾毓清.一个柔性的形式化过程建模语言.软件学报,2002,13(8):1374-1381

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:July 18,2001
  • Revised:January 14,2002
Links:Institute of Software, CASChina Computer FederationCASNSFC
You are the first2044982Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063