Article

Addressing problem frame concerns via coloured petri nets and graphical animation

Author:

Jens Bæk JørgensenAuthors Info & Claims

IWAAPF '06: Proceedings of the 2006 international workshop on Advances and applications of problem frames

Pages 49 - 58

https://doi.org/10.1145/1138670.1138679

Published: 23 May 2006 Publication History

Abstract

To address a frame concern in Jackson's Problem Frames, we must make appropriate descriptions of: (1) the problem domain; (2) the requirements; (3) the specification of the machine. Based on these descriptions, we must give a convincing argument that the given domain properties and the machine specification together entail that the requirements are fulfilled. In this paper, we demonstrate how to address certain frame concerns with the use of the formal modelling language Coloured Petri Nets (CPN). Problem domain description and machine specification are brought together in a CPN model, which is augmented with a graphical animation. The CPN model is executable and we simulate it to address frame concerns. We illustrate the approach on the elevator controller example.

References

[1]

J.Barros and J. Jørgensen. A Case Study on Coloured Petri Nets in Object-oriented Analysis and Design. Nordic Journal of Computing, 12(3):229--250, 2005.

Digital Library

[2]

E. Börger, E. Riccobene, and J. Schmid. Capturing Requirements by Abstract State Machines: The Light Control Case Study. Journal of Universal Computer Science, Springer Pub. Co, 6(7):597--620, 2000.

[3]

C. Choppy and G. Reggio. A UML-Based Method for the Commanded Behaviour Frame. In Cox et al. {5}, pages 27--34.

[4]

E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.

Digital Library

[5]

K. Cox, J. Hall, and L. Rapanotti, editors. Proc. of 1st International Workshop on Advances and Applications of Problem Frames (at ICSE 2004), Edinburgh, Scotland, 2004. IEE.

Digital Library

[6]

J. Desel, W. Reisig, and G. Rozenberg, editors. Lectures on Concurrency and Petri Nets, Advances in Petri Nets, volume 3098 of LNCS, Eichstatt, Germany, 2004. Springer.

[7]

C. Gunter, E. Gunter, M. Jackson, and P. Zave. A Reference Model for Requirements and Specifications. IEEE Software, 17(3):37--43, 2000.

Digital Library

[8]

J. Hall, M. Jackson, R. Laney, B. Nuseibeh, and L. Rapanotti. Relating Software Requirements and Architectures using Problem Frames. In Proc. of 10th International Requirements Engineering Conf., pages 137--144, Essen, Germany, 2002. IEEE.

Digital Library

[9]

D. Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8:231--274, 1987.

Digital Library

[10]

M. Jackson. Software Requirements & Specifications: A Lexicon of Practice, Principles and Prejudices. Addison-Wesley, 1995.

Digital Library

[11]

M. Jackson. Problem Frames - Analyzing and Structuring Software Development Problems. Addison-Wesley, 2001.

Digital Library

[12]

M. Jackson. Some Basic Tenets of Description. Software and Systems Modeling, 1(1):5--9, 2002. Springer.

[13]

K. Jensen. Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use. Volume 1-3. Monographs in Theoretical Computer Science. An EATCS Series. Springer-Verlag, 1992--97.

Digital Library

[14]

J. Jørgensen and C. Bossen. Requirements Engineering for a Pervasive Health Care System. In Proc. of 11th International Requirements Engineering Conf., pages 55--64, Monterey Bay, California, 2003. IEEE.

Digital Library

[15]

J. Jørgensen and K. Lassen. Aligning Work Processes and the Adviser Portal Bank System. Technical report, University of Aarhus, 2005. In Proc. of Workshop on Requirements Engineering for Business Needs and IT Alignment (at RE 05, Paris, 2005), University of New South Wales Press.

[16]

L. Kristensen, S. Christensen, and K. Jensen. The Practitioner's Guide to Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 2(2):98--132, 1998.

[17]

L. Lavazza and V. D. Bianco. A UML-based Approach for Representing Problem Frames. In Cox et al. {5}, pages 39--48.

[18]

J. Magee, N. Pryce, D. Giannakopoulou, and J. Kramer. Graphical Animation of Behaviour Models. In Proc. of 22nd International Conf. on Software Engineering (ICSE), pages 499--508, Limerick, Ireland, 2000. ACM Press.

Digital Library

[19]

R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML. MIT Press, 1997.

Digital Library

[20]

C. Neill and P. Laplante. Requirements Engineering: The State of the Practice. IEEE Software, 20(6):40--45, 2003.

Digital Library

[21]

M. Nelson, T. Nelson, P. Alencar, and D. Cowan. Exploring Problem-frame Concerns Using Formal Analysis. In Cox et al. {5}, pages 61--68.

[22]

B. Nuseibeh. Weaving Together Requirements and Architectures. IEEE Computer, 34(3):115--117, 2001.

Digital Library

[23]

B. Selic. The Pragmatics of Model-Driven Development. IEEE Software, 20(5):19--15, 2003.

Digital Library

[24]

R. Wieringa. Design Methods for Reactive Systems: Yourdon, Statemate, and the UML. Morgan Kaufmann, 2003.

Digital Library

[25]

P. Zave and M. Jackson. Four Dark Corners of Requirements Engineering. ACM Transactions on Software Engineering and Methodology, 6(1):1--30, 1997.

Digital Library

[26]

Alloy. http://alloy.mit.edu.

[27]

CPN Tools. www.daimi.au.dk/CPNtools.

[28]

MDA. www.omg.org/mda.

Cited By

Brito IBarros JGomes L(2016)From requirements to code (Re2Code) — A model-based approach for controller implementation2016 IEEE 14th International Conference on Industrial Informatics (INDIN)10.1109/INDIN.2016.7819354(1224-1230)Online publication date: Jul-2016
https://doi.org/10.1109/INDIN.2016.7819354
Brito IBarros JGomes L(2015)Controller design and implementation: An approach based on problem frames and Petri Net models2015 IEEE 13th International Conference on Industrial Informatics (INDIN)10.1109/INDIN.2015.7281849(860-867)Online publication date: Jul-2015
https://doi.org/10.1109/INDIN.2015.7281849
Moutinho FPereira FGomes L(2011)Automatic generation of graphical user interfaces for VHDL based controllers2011 IEEE International Symposium on Industrial Electronics10.1109/ISIE.2011.5984381(1491-1496)Online publication date: Jun-2011
https://doi.org/10.1109/ISIE.2011.5984381
Show More Cited By

Index Terms

Addressing problem frame concerns via coloured petri nets and graphical animation
1. Software and its engineering
  1. Software organization and properties
    1. Software system structures
      1. Software system models
        Petri nets

Recommendations

From Petri Nets to colored Petri Nets: a tutorial introduction to nets based formalism for modeling and simulation
WSC '19: Proceedings of the Winter Simulation Conference

Petri Net, a widely studied mathematical formalism, is a graphical notation for modeling systems. Petri Nets provide the foundation for modeling concurrency, communication, synchronization, and resource sharing constraints that are inherent to many ...
Implementing Coloured Petri Nets Using a Functional Programming Language

Coloured Petri Nets (CPNs) are a graphically oriented modelling language for concurrent systems based on Petri Nets and the functional programming language Standard ML. Petri Nets provide the primitives for modelling concurrency and synchronisation. ...
A Straightforward Introduction to Formal Methods Using Coloured Petri Nets
ICEIS 2014: Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 2

Coloured Petri Nets (CPN) arose from the need to model very large and complex systems, which are found in real industrial applications. The idea behind CPN is to unite the ability to represent synchronization and competition for resources of Petri nets ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

IWAAPF '06: Proceedings of the 2006 international workshop on Advances and applications of problem frames

May 2006

93 pages

ISBN:1595934065

DOI:10.1145/1138670

Conference Chairs:
Jon G. Hall
CRC, Open University, UK
,
Lucia Rapanotti
CRC, Open University, UK
,
Karl Cox
NICTA, Australia
,
Zhi Jin
Academy of Sciences, China

Copyright © 2006 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 May 2006

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ICSE06

Sponsor:

ICSE06: International Conference on Software Engineering

May 23, 2006

Shanghai, China

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
228
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Brito IBarros JGomes L(2016)From requirements to code (Re2Code) — A model-based approach for controller implementation2016 IEEE 14th International Conference on Industrial Informatics (INDIN)10.1109/INDIN.2016.7819354(1224-1230)Online publication date: Jul-2016
https://doi.org/10.1109/INDIN.2016.7819354
Brito IBarros JGomes L(2015)Controller design and implementation: An approach based on problem frames and Petri Net models2015 IEEE 13th International Conference on Industrial Informatics (INDIN)10.1109/INDIN.2015.7281849(860-867)Online publication date: Jul-2015
https://doi.org/10.1109/INDIN.2015.7281849
Moutinho FPereira FGomes L(2011)Automatic generation of graphical user interfaces for VHDL based controllers2011 IEEE International Symposium on Industrial Electronics10.1109/ISIE.2011.5984381(1491-1496)Online publication date: Jun-2011
https://doi.org/10.1109/ISIE.2011.5984381
Pereira FGomes LMoutinho F(2011)Automatic Generation of Run-Time Monitoring Capabilities to Petri Nets Based Controllers with Graphical User InterfacesTechnological Innovation for Sustainability10.1007/978-3-642-19170-1_27(246-255)Online publication date: 2011
https://doi.org/10.1007/978-3-642-19170-1_27
Jørgensen JTjell SFernandes J(2009)Formal requirements modelling with executable use cases and coloured Petri netsInnovations in Systems and Software Engineering10.1007/s11334-009-0075-65:1(13-25)Online publication date: 7-Feb-2009
https://doi.org/10.1007/s11334-009-0075-6
Jorgensen J(2007)Executable Use CasesProceedings of the Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software10.1109/MOMPES.2007.6(8-15)Online publication date: 31-Mar-2007
https://dl.acm.org/doi/10.1109/MOMPES.2007.6

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents