Domain-Specific Automatic Programming
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Statecharts: A visual formalism for complex systems
Science of Computer Programming
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
ACM Computing Surveys (CSUR)
Journal of Systems and Software
The Unified Modeling Language user guide
The Unified Modeling Language user guide
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
Transfer of software engineering tools from information systems to production systems
Computers and Industrial Engineering
Technologies and Techniques for Rapid CASE Tool Development
IDEAS '98 Proceedings of the 1998 International Symposium on Database Engineering & Applications
When and how to develop domain-specific languages
ACM Computing Surveys (CSUR)
Management of the Object-Oriented Development Process
Management of the Object-Oriented Development Process
Modeling Software with Finite State Machines
Modeling Software with Finite State Machines
Programming Industrial Control Systems Using Iec 1131-3 (I E E Control Engineering Series)
Programming Industrial Control Systems Using Iec 1131-3 (I E E Control Engineering Series)
Composing domain-specific languages for wide-scope software engineering applications
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Pricing American bond options using a penalty method
Automatica (Journal of IFAC)
| Hi-index | 0.00 |
Procedural process control is responsible for coordination of control units that perform basic control in a typical industrial control system. Basic control, in turn, performs actions necessary for maintaining a desired state of process variables and equipment. Software in the domain of procedural process control consists of modules responsible for management of startup and shutdown sequences, exception handling and module communication. In this work we present the domain specific modeling language (DSL) ProcGraph together with its corresponding code generation tool that was designed for the development of software in the domain of procedural process control systems. The advantage of using a domain specific language is that not only the programmers, but also domain experts are able to understand and modify the code. The DSL code is self-documenting, as it is expressed in the idiom of the problem domain. In the article we present a formal description of the ProcGraph language. Furthermore, we describe how the formal model is used in the implementation of the automatic IEC 1131-3 code generator.