Requirements engineering for reactive systems: Coloured petri nets for an elevator controller

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn , Issue , 2007, Pages 294-301

  Fernandes, João M ^a,b   Jørgensen, Jens Bæk ^a   Tjell, Simon ^a  

^a AARHUS UNIVERSITY   (Denmark)

^b UNIVERSITY OF MINHO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ELEVATORS; ENGINEERING; FORMAL LOGIC; GRAPH THEORY; MARINE BIOLOGY; MICROFLUIDICS; PETRI NETS; REQUIREMENTS ENGINEERING; SOFTWARE ENGINEERING; TECHNOLOGY;

(PL) PROPERTIES; ASIA PACIFIC; CASE STUDIES; COLOURED PETRI NETS (CPN); CONCURRENT EXECUTION; DEVELOPMENT PROCESSES; EXECUTABLE MODELS; MODEL BASED APPROACHES; REACTIVE SYSTEMS; TWO DOMAINS; USE CASE DIAGRAM (UCD); USE CASES;

PROCESS ENGINEERING;

EID: 44949161940     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2007.81     Document Type: Conference Paper

References (14)

1. C. Choppy and G. Reggio. A UML-Based Method for the Commanded Behaviour Frame. In 1st Int. Workshop on Advances and Applications of Problem Frames (IWAAPF '04), at ICSE 2004, pages 27-34. IEE, 2004.
2. B. Dano, H. Briand, and F. Barbier. An Approach Based on the Concept of Use Case to Produce Dynamic Object-Oriented Specifications. In 3rd IEEE Int. Symp. on Requirements Engineering (RE '97), pages 54-64. IEEE CS Press, 1997.
3. G. Denaro and M. Pezzè. Petri Nets and Software Engineering. In Lectures on Concurrency and Petri Nets, volume 3098 of LNCS, pages 439-66. Springer, 2004.
4. M. Elkoutbi and R. Keller. Modeling Interactive Systems with Hierarchical Colored Petri Nets. In Advanced Simulation Technologies Conference 1998, pages 432-37, 1998.
5. J. Fernandes, S. Tjell, J. Jørgensen, and O. Ribeiro. Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net. In 6th Int. Workshop on Scenarios and State Machines (SCESM 2007), at ICSE 2007. IEEE CS Press, 2007.
6. H. Gomaa. A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines. In 9th Int. Conf. on Model Driven Engineering Languages and Systems (MODELS 2006), volume 4199 of LNCS, pages 1-15. Springer, 2006.
7. D. Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8:231-74, 1987.
8. M. Jackson. Problem Frames - Analyzing and Structuring Software Development Problems. Addison-Wesley, 2001.
9. K. Jensen. Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Basic Concepts. Monographs in Theoretical Computer Science. Springer, 1992.
10. K. Jensen, L. Kristensen, and L. Wells. Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. Software Tools for Technology Transfer, 2007. In Press. DOI: 10.1007/s10009-007-0038-x.
11. J. Jørgensen. Addressing Problem Frame Concerns via Coloured Petri Nets and Graphical Animation. In 2nd Int. Workshop on Advances and Applications of Problem Frames (IWAAPF '06), at ICSE 2006, pages 49-57. ACM Press, 2006.
12. P. Kruchten. The Rational Unified Process - An Introduction, Second Edition. Addison-Wesley, 2000.
13. B. Selic. The Pragmatics of Model-Driven Development. IEEE Software, 20(5):19-25, 2003.
14. R. Wieringa. Design Methods for Reactive Systems: Yourdon, Statemate, and the UML. Morgan Kaufmann, 2003.